To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Schematy wnioskowania W języku potocznym przesłanki wnioskowania oddzielamy od wniosków wyrażeniami: a więc, sta, zatem, dlatego, ponieważ itd. Na przykład: Żaden ssak nie jest rybą, każdy wieloryb jest ssakiem, a więc żaden wieloryb nie jest rybą.
W logice i metodologii zwykło się wypisywać przesłanki jedna pod drugą, a pod nimi wniosek oddzielony poziomą linią:
Żaden ssak nie jest rybą
Każdy wieloryb jest ssakiem przesłanki konkretne wnioskowanie
Żaden wieloryb nie jest rybą wniosek
Zastępując w tym wnioskowaniu pozalogiczne stałe nazwowe przez zmienne otrzymujemy następujący schemat wnioskowania :
Żadne M nie jest P
Każde S jest M Żaden S nie jest P
MeP
SaM
SeP
Formalnym schematem wnioskowania nazywamy schemat, który zawiera wyrażenia zbudowane wyłącznie ze stałych i zmiennych logicznych. Podstawiając w tym schemacie za zmienne nazwowe S, M, P określone nazwy otrzymujemy z przesłanek i wniosku tego schematu zdanie prawdziwe bądź zdanie fałszywe. Ilekroć jednak z przesłanek schematu przez takie podstawienie otrzymamy zdania prawdziwe tylekroć z wniosku otrzymamy również zdanie prawdziwe. Schemat, który od prawdziwych przesłanek prowadzi zawsze do prawdziwych wniosków nazywamy niezawodnym schematem wnioskowania. Logiczny schemat wnioskowania to taki schemat, który jest równocześnie formalny i niezawodny.
Nieformalny schemat - posiada zmienne i stałe logiczne oraz stałe pozalogiczne (np. pełne zdanie)
Formlany i zawodny - gdy podstawimy za zmienne stałe pozalogiczne wniosek będzie błedny np. SaP
PaS
Źródło pewności schematu logicznego to wynikanie logiczne. Schematowi logicznemu o postaci A: W 1 W 2 …
W n W
Odpowiada prawo o postaci :
B : Jeżeli W 1 i W 2 i ... i W n to W.
Schemat formalny o postaci A jest schematem logicznym wtedy i tylko wtedy, gdy wyrażenie B zapisane wyłącznie przy pomocy stałych i zmiennych logicznych jest tautologią (prawem logicznym). Mówimy inaczej, że wnioskowanie podpada pod schemat formalny gdy można je otrzymać z tego schematu przez podstawienie za zmienne
A : MeP
SaM
SeP
A to schemat logiczny, bo B to tautologia
B : ├ MeP ∧SaM → Sep
Dane wnioskowanie może podpadać pod kilka różnych schematów formalnych.
Przykład:
Jeżeli ten oto płyn jest benzyną lub ten oto płyn jest naftą to ten oto płyn jest łatwopalny.
... zobacz całą notatkę
Komentarze użytkowników (0)