Következtetési sémák a formális logikában forrásának megtekintése

{{forma}}
A formális logikában az érvelések elemzésénél kizárólag a forma számít, a tartalmat nem vizsgáljuk, ezért a premisszák és a konklúzió formáján, logikai szerkezetén múlik a érvelés érvényessége. Érvényesnek akkor tekintünk egy következtetést, ha a premisszák igazsága a konklúzió igazságát vonja maga után. Az ilyen következtetéseket (deduktíve vagy logikailag) '''érvényes''' vagy '''helyes''' következtetésnek nevezzük.
Megállapíthatunk különböző következtetési sémákat, melyek alapján könnyen elő tudunk állítani érvényes következtetéseket, és könnyebben észrevehetjük a formailag hibásakat. Ezek a következtetési sémák hasznosak lehetnek a mindennapi vitahelyzetekben is, érveléseink során sikeresen alkalmazhatjuk őket.
== [[Nulladrendű logika]]i következtetések ==
=== Kontrapozíció ===
Két állítás kondicionális összekapcsolásából következtetünk arra, hogy a két állítás fordított sorrendű negáltja is igaz.
: P: Ha esik a hó, hideg van.
: K: Ha nincs hideg, nem esik a hó.
A séma formális jelölése:
: (A ⊃ B) ⇒ (~B ⊃ ~A)
Mivel a két mondat logikailag ekvivalens, ezért ha az egyik igaz, a másik is szükségszerűen igaz, és fordítva. A kontrapozíciós következtetés oda-vissza működik.
<br />
A kontrapozícióval az alábbi hibát véthetjük:
• ''Konverziós hiba''
: P: Ha esik a hó, hideg van.
: K: Ha hideg van, esik a hó.
Formális jelöléssel:
: (A ⊃ B) ⇏ (B ⊃ A)
Ez azért hibás, mert hidegben nem feltétlenül esik a hó. Az alacsony hőmérséklet mellett más tényezők is közrejátszanak a hóesés kialakulásában, például a magas páratartalom.
=== Modus ponens ===
A modus ponens egy latin kifejezés, mely szó szerinti fordításban annyit jelent, hogy tételező mód. Ez a legalapvetőbb következtetési séma. A modus ponens esetében az állításból és annak előtagjából arra következtetünk, hogy az utótag is helyes.
P1: Ha dolgozom, stresszes vagyok.<br />
P2: Dolgozom.<br />
K: Stresszes vagyok.
A séma formális jelölése
A ⊃ B, A ⇒ B<br />
''Modus ponens hibának'' számít, hogyha az utótagot állítjuk, vagyis:
P1: Ha dolgozom, stresszes vagyok.<br />
P2: Stresszes vagyok.<br />
K: Dolgozom.
a hibás következtetés: A ⊃ B, B ⇒ A<br />
<br />
=== Modus tollens ===
A modus tollens szintén egy latin kifejezés, mely azt jelenti, hogy elvevő mód. A modus tollens érvelési séma esetében egy feltételes állításból, és az állítás utótagjának érvénytelenségéből indulunk ki, és ezekből arra következtetünk, hogy az előtag sem állhat fent, és nem lehet igaz.
P1: Ha unalmas előadáson vagyok, mindig keresztrejtvényt fejtek.<br />
P2: Nem fejtek keresztrejtvényt.<br />
K: Nem unalmas előadáson vagyok.
A séma formális jelölése:
A ⊃ B, ~B ⇒ ~A<br />
''Modus tollens hibának'' nevezzük azt, ha az előtagot tagadjuk. Egy példával szemléltetve:
P1: Ha unalmas előadáson vagyok, mindig keresztrejtvényt fejtek.<br />
P2: Nem vagyok unalmas előadáson.<br />
K: Nem fejtek keresztrejtvényt.
a hibás következtetés: A ⊃ B, ~A ⇒ ~B
=== Diszjunktív szillogizmus ===
A szillogizmusok mindig kétpremisszás következtetések. A diszjunktív szillogizmusnál (latin kifejezés, jelentése: szétválasztó következtetés) az első premissza két alternatív lehetőséget tartalmaz, a második premissza pedig tagadja az egyik lehetőséget, ezért a konklúzióban a másik lehetőség szerepel.
P1: Ma dolgozni megyek, vagy halálra eszem magam édességgel.<br />
P2: Nem megyek dolgozni.<br />
K: Halálra eszem magam édességgel
A séma formális jelölése:
A v B, ~A ⇒ B <br />
<br />
''Hibás diszjunktív szillogizmus:''
P1: Ma dolgozni megyek, vagy halálra eszem magam édességgel.<br />
P2: Dolgozni megyek.<br />
K: Nem eszem halálra magam édességgel
a hibás következtetés: A v B, A ⇒ ~B<br />
<br />
=== Hipotetikus szillogizmus ===
A hipotetikus szillogizmus jelentése feltételes következtetés, ez az érvelési forma feltételes állításokból áll, melyek láncszerűen kapcsolódnak össze, egyikből következik a másik.
P1: Ha vizsgázom, mindig izgulok.<br />
P2: Ha izgulok, csuklom.<br />
K: Ha vizsgázom, csuklom.
A séma formális jelölése:
A ⊃ B, B ⊃ C ⇒ A ⊃ C<br />
=== Konstruktív dilemma ===
A konstruktív dilemma a modus ponens és a diszjunktív szillogizmus ötvözete, szerkezeti felépítése szerint az első premissza két alternatív lehetőséget tartalmaz, a második és harmadik premisszák kondicionális állítások az első premisszára nézve, a konklúzió így a második és harmadik premissza alternációja lesz.
P1: Ma csirkét vagy halat eszünk.<br />
P2: Ha csirkét eszünk, rizs lesz a köret.<br />
P3: Ha halat eszünk, krumpli lesz a köret.<br />
K: Rizs vagy krumpli lesz a köret.
A séma formális jelölése:
A v B, A ⊃ C, B ⊃ D ⇒ C v D
== Hivatkozások ==
=== Források ===
* Margitay Tihamér: Az érvelés mestersége. Typotex Kiadó, Budapest, 2004. Online változat: [https://www.tankonyvtar.hu/hu/tartalom/tamop425/2011-0001-526_margitay_az_erveles/ch07s05.html Tankönyvtár.hu] https://dtk.tankonyvtar.hu/xmlui/handle/123456789/12973 {{Wayback|url=https://dtk.tankonyvtar.hu/xmlui/handle/123456789/12973 |date=20210505210211 }}
* Zemplén Gábor, Érvelés és elemzés – A deduktív logika elemei. Órai PowerPoint prezentáció, BME-GTK, 2011. [http://filozofia.bme.hu/sites/default/files/anyagok/1295/11_%C3%89rvel%C3%A9s%20%C3%A9s%20elemz%C3%A9s%203%20form%C3%A1lis%20logika.pdf.]{{Halott link|url=http://filozofia.bme.hu/sites/default/files/anyagok/1295/11_%C3%89rvel%C3%A9s%20%C3%A9s%20elemz%C3%A9s%203%20form%C3%A1lis%20logika.pdf. |date=2019-02 }}
{{DEFAULTSORT:Következtetésisémakaformálislogikában}}
[[Kategória:Logika]]
[[Kategória:Matematikai logika]]