A logika a érvelés tanulmányozása. A logika szabályai lehetővé teszik a filozófusok és más gondolkodók számára, hogy ésszerű, koherens és következetes következtetéseket vonjanak le a világról. Segít megkülönböztetni azokat az állításokat, amelyekről meg tudjuk állapítani, hogy igazok, vagy amelyekről kiderül, hogy hamisak, és általánosságban jobb, megalapozottabb döntéseket hozni.
Mi a logika célja?
A logika célja nem csak az igazság kimondása, hanem annak megmutatása is, hogyan következik egy állítás egy vagy több másikból. Két alapvető érveléstípusot szoktunk megkülönböztetni:
- Deduktív érvelés: a következtetés logikailag szükségszerű, azaz ha a premisszák igazak, a konklúzió is feltétlenül igaz kell, hogy legyen.
- Induktív érvelés: a premisszák valószínűsítik a konklúziót, de nem garantálják azt; gyakori a tudományos megfigyelések és általánosítások esetén.
A szillogizmus — klasszikus példa és szerkezet
A logikát gyakran szillogizmusokban írják le, amelyek a logikai bizonyítás egyik típusa. A szillogizmus olyan deduktív érvelés, amely általában két premisszából és egy konklúzióból áll. A klasszikus példát Arisztotelész adta meg, amely így hangzik:
- Minden ember halandó.
- Szókratész egy férfi.
- Ezért Szókratész halandó.
Ebben a példában a konklúzió a végső megállapítás, amely a két premissza alapján következik. A szillogizmus lényege, hogy a premisszákban szereplő kapcsolatokat logikai szabályok szerint összekapcsolva ésszerű következtetést kapunk.
A szillogizmus részei és terminológiája
A tipikus szillogizmus három logikai állításbólvagytételből áll: két premissza (a major és a minor) és egy konklúzió. A szillogizmus elemeit gyakran így nevezik:
- Major premissza: általánosabb állítás (például "Minden ember halandó").
- Minor premissza: specifikusabb állítás az egyénről vagy esetről (például "Szókratész egy férfi").
- Konklúzió: a premisszák alapján levont következtetés ("Szókratész halandó").
A szillogizmusoknál fontos megérteni a szereplő fogalmakat: a major, minor és a középső (middle) fogalom. Egy szabályos kategórikus szillogizmusban pontosan három fogalom szerepel, és ezek eloszlását, illetve kapcsolódásának módját (a premisszák minőségét és mennyiségét) figyelembe véve határozzuk meg az érvelés érvényességét.
Érvényesség vs. igazság
Fontos különbséget tenni az érvényesség és az igazság között. Egy érvelés érvényes (valid), ha a premisszák igazságából logikailag következik a konklúzió, függetlenül attól, hogy a premisszák ténylegesen igazak-e. Egy érvelés akkor szilárd (sound), ha egyszerre érvényes és a premisszák valóságban is igazak. Más szóval:
- Érvényesség = formai tulajdonság: a szerkezet helyes-e.
- Igazság = tartalmi tulajdonság: a premisszák megfelelnek-e a valóságnak.
Gyakori logikai hibák (tévedések)
Az állítások igazságértékkel rendelkeznek, ami azt jelenti, hogy igaznak vagy hamisnak bizonyíthatóak, de nem mindkettő. A logikátlan állításokat vagy a logikai hibákat logikai tévedéseknek nevezzük. Néhány gyakori példa:
- Helytelen következtetés (non sequitur): a konklúzió nem következik a premisszákból.
- Affirming the consequent (a következmény igazolása): "Ha A, akkor B. B igaz. Tehát A igaz." — ez nem biztos érvényes.
- Denying the antecedent (az előfeltétel tagadása): "Ha A, akkor B. A nem igaz. Tehát B nem igaz." — szintén nem érvényes általánosan.
- Ambiguitás vagy szóhasználat-váltás: ugyanaz a szó különböző értelemben szerepel a premisszákban és a konklúzióban (ekvivalencia hibája).
- Ad hominem, körkörös érvelés, hamis dilemmák és más retorikai fogások, amelyek formailag nem teszik érvényessé az érvelést.
Formális szabályok a kategórikus szillogizmushoz
A klasszikus, kategórikus szillogizmusokra vonatkozó néhány szabály, amelyek érvényességet biztosítanak:
- A szillogizmusnak pontosan három fogalmat kell tartalmaznia (háromszavas szabály).
- A középső fogalomnak a premisszákban meg kell kapcsolnia a másik két fogalmat; ha a középső fogalom nincs elosztva legalább az egyik premisszában, az érvényesség sérülhet.
- Ha egy fogalom a konklúzióban el van osztva, akkor legalább az egyik premisszában is el kell legyen osztva.
- Nem lehet mindkét premissza tagadó; ha mindkettő negatív, a konklúzió sem lesz informatív.
Speciális kérdések: létezési import
Néhány régebbi értelmezés szerint egyes univerzális állítások (pl. "Minden X Y") implicit módon azt is állítják, hogy létezik legalább egy X. Ez az ún. létbeli (existential) import kérdése, és különösen fontos lehet a szillogisztikus érvelések helyes kezelésénél. A modern logikában ezt a problémát egyértelműbben kezelik a predikátumlogika eszközeivel.
Modern logika és kiterjesztések
A XIX–XX. századi logika fejlődésével kialakult a formális, szimbólikus logika, amely a következő fő ágakra bontható:
- Propozícionális (állítási) logika: az állítások összekapcsolásának szabályait vizsgálja (és, vagy, nem, ha...akkor stb.).
- Predikátumlogika (elsőrendű logika): lehetővé teszi a tárgyakról és tulajdonságaikról való beszéd finomabb leírását, kvantorokkal (minden, létezik) és predikátumokkal.
A modern logika eszközei nélkülözhetetlenek a matematika alapozásában, a számítógéptudományban (formális nyelvek, automaták, bizonyítógépek), a mesterséges intelligenciában (tudásreprezentáció, szabályalapú rendszerek) és a jogi, filozófiai érvelések formalizálásában is.
Összefoglalás
A logika az érvelés rendszerezett vizsgálata: segít eldönteni, hogy egy állítás hogyan következik más állításokból, és mikor tekinthető egy érv érvényesnek vagy megalapozottnak. A klasszikus szillogizmusok — mint Arisztotelész példája — jó kiindulópontot adnak a deduktív gondolkodás megértéséhez, de a modern logika sokkal tágabb eszköztárat biztosít az érvek pontos leírásához és elemzéséhez.
