ELTE, FIL-302, 2008.02.20., jegyzet
Mekis Péter szemináriuma
Készítette: Hajba László Logika:
kijelentések és következtetések szabályszerűségeivel, helyességével foglalkozik.
Kitérő - Arisztotelész: "Minden ember halandó." Arisztotelész szerint mindne ilyen mondtanka exisztenciális súlya van, tehát az iménti mondtaból következik, hogy vannak emberek.
--- Kitérő vége ---
1. Minden
filozófus halandó.
2. Egyetlen isten sem halandó.
---
3. Tehát egyetlen filozófus sem isten.
Ez egy
következtetés. Az (1) és a (2) jelzésű mondtaok a
premisszák, EZEKBŐL következtetünk. A (3) jelű mondat a
konklúzió, ERRE következtetünk. A fenti következtetés IGAZ.
1. Minden filozófus halandó.
2. Egyetlen filozófus sem isten.
----
3. Egyetlen isten sem halandó.
A fenti következtetést hamisnak gondoljuk, de ezt be is kell bizonyítanunk egy
ellenpélda megkeresésével. Egy ellenpéldában a
premisszák igazak, a konklúzió viszont hamis. Ez esetben nem az a lényeg, hogy ez igaz-e a valódi világban, hanem az, hogy a premisszák által megszabott rendszerben teljesül/teljesülhet-e a konklúzió. Könnyű ellenpéldát találnunk, "Egyetlen isten sme halandó", a germán mitológia istenei bizony halandók. tehát a fenti következtetés HAMIS.
Helyes egy következtetés akkor és csak akkor, ha lehetetlen, hogy a premisszái igazak, a konklúziója viszont hamis legyen.