Általános logika

 Logika

A fogalom

I. A fogalom mibenléte

„A fogalom mindig valamiféle tőle különböző valóságra vonatkozik. Jelzi azt, amire gondolunk, de nem azonosítható minden további nélkül az általa jelzett valósággal. Azt is mondhatjuk, hogy a fogalom a benne megragadott valóság gondolatbeli képviselője.”

1. A fogalomalkotás mint idegi és kognitív konstrukció

A fogalomalkotás nem passzív befogadás, hanem a központi idegrendszer aktív, konstruktív folyamata. Biológiai értelemben a fogalom nem egy statikus „kép”, hanem egy dinamikus neurális tüzelési mintázattal rendelkező hálózati aktivitás, amely az érzékszervi adatok szintézisével jön létre. Az értelem nem „leképezi” a valóságot, hanem szelektív absztrakció révén mentális modelleket épít, amelyeknek egyik alapvető formája a fogalom. Ez a folyamat a tapasztalatok rendszerezésével csökkenti a környezet komplexitását, lehetővé téve a hatékony kognitív válaszokat.

2. A kategóriák természete: az absztrakció és a prototípusok

Bár a klasszikus logika a fogalmat a lényegi jegyek alapján definiálja (ez normatív meghatározás, nem pszichológiai leírás), a kognitív pszichológia rámutat, hogy az emberi elme leginkább prototípusok alapján kategorizál. A fogalom nem egy merev definíció, hanem egy rugalmas mentális egység, amely a kategória legjellemzőbb példái (pl. a „madár” fogalmánál a rigó, nem a pingvin) köré szerveződik. Míg az érzéki kép (reprezentáció) egy konkrét egyedre vonatkozik, a fogalom egy absztrakt kategóriát jelöl, amely képes magába foglalni a variációkat is, így hidalva át az egyedi tapasztalat és az általános tudás közötti szakadékot.

3. Nyelvi keretezés és társadalmi meghatározottság

A fogalomalkotás nem választható el a nyelvi rendszertől és a szociokulturális kontextustól. A fogalmaink jelentős részét nem elszigetelten hozzuk létre, hanem a nyelv adta keretek között „készen” kapjuk és formáljuk tovább (szocializáció). A nyelv nem csupán felcímkézi a már meglévő fogalmakat, hanem aktívan strukturálja is azokat: meghatározza, milyen különbségtételeket tartunk fontosnak (pl. színfogalmak vagy társadalmi kategóriák). Így a fogalom egyszerre egyéni mentális reprezentáció és közösségi, interszubjektív eszköz.

4. A fogalom funkcionális szerepe a gondolkodásban

A fogalom a magasabb szintű kogníció (ítéletalkotás, következtetés) alapeleme, de nem „nyersanyagként”, hanem értelmezési keretként működik. Az észlelés jelentős mértékben fogalmilag strukturált: a valósággal való találkozásainkat nagyrészt előzetes kategóriáink alakítják, bár ennek mértéke filozófiai viták tárgya. Bár egy fogalom önmagában (pl. „igazság”) nem hordoz igazságértéket, a megalkotása feltételezi, hogy a valóság bizonyos módon strukturált és tagolható. A fogalmak tehát a gondolkodás dinamikus eszközei, amelyek lehetővé teszik a jelenségek közötti összefüggések (törvényszerűségek) felismerését és a jövőbeli események bejóslását.

5. Tehát: a fogalomalkotás a gondolkodás azon aktív folyamata, amely során az értelem a tapasztalati adatokból mentális kategóriákat és modelleket épít. A fogalom nem egy statikus „belső kép”, hanem egy olyan absztrakt egység, amely a valóság tárgyainak közös jegyeit és összefüggéseit sűríti magába. A logika és a kognitív tudomány ma már nem „leképezésként”, hanem értelmi függvényként kezeli: a fogalom olyan strukturált mentális reprezentáció, amely lehetővé teszi az egyedi ingerek csoportosítását és értelmezését. Ezzel kapcsolatban két alapvető megállapítást tehetünk:

a) A fogalom mint mediátor: a fogalmak közvetítésével nem magukat a tárgyakat „birtokoljuk” az elménkben, hanem azok funkcionális modelljeit. A fogalom tehát nem önkényes szülemény, hanem a valósággal való interakció során kialakult idegi és logikai reprezentáció, vagyis nem önkényes, mert a valósággal való interakció, a biológiai adottságok és a nyelvi-közösségi keretek együttesen alakítják ki. Értéke abban rejlik, hogy mennyire pontosan teszi lehetővé a világban való tájékozódást és az előrejelzést (predikciót). Régente a fogalom „tartalmáról”, ma inkább annak szemantikai értékéről és információs sűrűségéről beszélünk.

b) A kategorizáció dinamikája: bár a klasszikus logika szerint a fogalom önmagában nem állít vagy tagad, a valóságban a fogalomalkotás egy aktív osztályozási folyamat. Még ha egy fogalom (pl. „atom”) hosszú kutatás eredménye is, önmagában maradva nem alkot igaz vagy hamis állítást, de kijelöli azt a keretet, amelyben az ítéletalkotás egyáltalán lehetségessé válik. A fogalom tehát a gondolkodás azon infrastrukturális eleme, amely nélkülözhetetlen a valóság strukturált és koherens megismeréséhez.

6.  Fogalmi jegyek (Intenzió)

A fogalomalkotás során az értelem nem passzívan tükrözi a világot, hanem kiválasztja a tárgyak azon lényegi vonásait, amelyeket fogalmi jegyeknek nevezünk. Ezek a jegyek alkotják a fogalom belső szerkezetét. A fogalmi jegyek az elme által azonosított olyan meghatározottságok, amelyek lehetővé teszik az adott fogalom elkülönítését minden más kategóriától, hasonlóan ahhoz, ahogyan a valóságban a tárgyak tulajdonságai megkülönböztetik az egyedeket egymástól.

A fogalom tartalma: a fogalmi jegyek összességét a logikában a fogalom tartalmának (intenziójának) nevezzük. Ez a logikai tartalom határozza meg a fogalom jelentését. Míg a tisztán logikai szemlélet a jegyek belső összefüggéseire koncentrál, a szemantikai megközelítés a fogalom referenciális értékét hangsúlyozza, vagyis azt, hogy a fogalom milyen típusú létezőkre vonatkozik a valóságban.

7. A fogalom terjedelme (Extensio)

Azon tárgyak vagy egyedek összességét, amelyekre a fogalom tartalmi jegyei érvényesek, a fogalom terjedelmének (extenziójának) nevezzük. Ez jelöli ki a fogalom alkalmazhatósági körét. Fontos a precizitás, mivel a fogalomnak nem „igazságértéke”, hanem kiterjedési köre van; az igazságérték csak az ítéletalkotás szintjén jelenik meg, amikor a fogalmat egy konkrét létezőről állítjuk.

8. A tartalom és a terjedelem viszonya

A fogalom tartalma és terjedelme között általános esetben fordított összefüggés áll fenn: minél specifikusabb, jegyekben gazdagabb a tartalom annál szűkebb a terjedelem. Fordítva: minél kevesebb jegyet tartalmaz a tartalom, annál tágabb a fogalom köre. Ebben a viszonyban a tartalom meghatározó szerepet játszik, ugyanakkor a modern szemlélet szerint a tartalom és a terjedelem kölcsönösen feltételezik egymást. A modern megfogalmazás szerint a fogalom intenziója (jelentése) határozza meg annak extenzióját (alkalmazási körét).

II. A fogalom elemzése és osztályozása

A fogalom nem csupán egy statikus „értelmi kép”, hanem az emberi megismerés alapegysége: egy olyan mentális reprezentáció, amely kategóriákba rendezi a valóságot, lehetővé téve az információsűrítést és a következtetést. A fogalmak rendszerezése többszempontú, ahol a klasszikus logika találkozik a modern kognitív tudománnyal.

1. Ismeretelméleti minőség: világosság és határozottság

A descartes-i és leibnizi alapokon nyugvó felosztás ma is érvényes, de kiegészítendő a kognitív pszichológia prototípus-elméletével.

• Homályos és világos fogalom (idea obscura et clara): egy fogalom akkor világos, ha a szubjektum képes az adott tárgyat másoktól elkülöníteni (felismerési szint). A modern tudomány szerint ez a „mintázatfelismerés”.
• Elmosódott és éles/határozott fogalom (idea indistincta et distincta): a fogalom akkor határozott (distincta), ha nemcsak felismerem a tárgyat, hanem a jegyeit (alkotóelemeit) is fel tudom sorolni. Sokan felismerik a körtefát (világos fogalom), de csak a botanikus rendelkezik határozott fogalommal, aki ismeri a specifikus morfológiai jegyeket.
• Tudományos és adekvát fogalom: a modern tudományfilozófia szerint az „adekvát” fogalom (amely kimeríti a lényeget) ideáltípus. A tudományos fogalom kritériuma ma már nem a „teljesség”, hanem az operacionalizálhatóság és a falszifikálhatóság.
• Komprehenzió: A totális információelmélet határaként foghatjuk fel, ez az a pont, ahol a reprezentáció és a valóság entrópiája kiegyenlítődik.

2. Ontológiai státusz: absztrakt és konkrét

• Absztrakt fogalom: egy tulajdonságot vagy viszonyt önmagában, hordozó alany nélkül ragad meg (pl. entrópia, szabadság, jóság). Ezek a fogalmak magasabb kognitív processzálást igényelnek, mivel nincs közvetlen szenzoros megfelelőjük.
• Konkrét fogalom: a tulajdonságot az alannyal együtt jelöli (pl. fekete lyuk, tanár).

3. Logikai minőség: pozitív és negatív

A modern halmazelmélet (Boole-algebra) szempontjából ez a komplementer halmazok kérdése.

• Pozitív: egy tulajdonság meglétét állítja (pl. élő).
• Negatív: egy tulajdonság hiányát vagy a kizárást jelöli.

4. Szerkezeti felépítés: egyszerű és összetett

• Egyszerű fogalom (notio simplex): amely tovább már nem bontható jegyekre (logikai atomok). Ilyenek a legfelsőbb nemfogalmak, mint a „Lény” vagy a „Valami”.
• Összetett fogalom (notio composita): amely több jegyből áll össze.

5. Megismerési mód: sajátos és analóg

A kognitív nyelvészet (Lakoff és Johnson) rávilágított, hogy az analóg gondolkodás nem „másodlagos”, hanem az emberi értelem alapvető működése.

• Sajátos (idea ropria): a dolgot önazonos módon fejezi ki.
• Analóg: amikor egy távoli terület (forrástartomány) fogalmaival írunk le egy másikat (pl. az időt térbeli fogalmakkal: „hosszú idő”).
• Helyesbítés: nem igaz, hogy csak a testi dolgokról van sajátos fogalmunk. A matematikai és logikai objektumokról (pl. háromszög, ellentmondásmentesség) abszolút sajátos és precíz fogalmaink vannak, jóllehet ezek nem testi kiterjedésűek.

6. Terjedelem: egyedi, egyetemes és részleges

• Egyedi (singularis): egyetlen entitásra utal (pl. Arisztotelész, a Szaturnusz). Az egyedi fogalmaknak nincs logikai kapcsolatuk egymással és nincs közöttük semmiféle azonossági viszony (nem állnak genus–species típusú logikai viszonyban) de lehet numerikus és referenciális azonosság.
• Egyetemes (universalis): egy osztály minden tagjára érvényes. Ennyiben elmondhatjuk hogy ezek a fogalmak kapcsolatban állnak egymással, viszont ez a kapcsolat különféle lehet, de mindig az azonossági és a nem-azonossági viszony figyelembevételével. Az egyetemes fogalom egyrészt az egyedekkel, másrészt más egyetemes fogalmakkal kerül azonossági vagy nem-azonossági viszonyba.
• Részleges (particularis): az osztály egy meg nem határozott részére vonatkozik (pl. néhány fém).
• Az absztrakció folyamata: individuáló jegyek: forma, figura, locus, tempus, stirps, patria, nomen. A modern adat tudományban ezeket metaadatoknak vagy paramétereknek nevezzük. Az univerzáliák (általános fogalmak) létrehozása során az agy „zajtalanítást” végez: elhagyja az egyedi varianciát, hogy megtartsa az invariáns struktúrát.

7. Kollektív és disztributív fogalmak

Fontos különbségtétel, amely a rendszerszemlélet alapja:

• Kollektív (Gyűjtőfogalom): olyan egészet jelöl, amelynek állításai nem feltétlenül igazak a tagjaira külön-külön (pl. a hadsereg győzhet, de egy katona nem „győz” a csatában ugyanabban az értelemben).
• Disztributív: ami az osztályra igaz, az minden tagra is (pl. minden ember halandó).

8. Transzcendentális fogalmak

A klasszikus metafizika legfőbb kategóriái (a létező legáltalánosabb móduszai). Modern megközelítésben ezek a kategorális keretrendszerek, amelyek nélkül a tapasztalat nem értelmezhető:

1. Ens (Létező): az ontológiai alap.
2. Res (Dolog): a tartalommal bíró létező.
3. Unum (Egy): a belső egység és oszthatatlanság (identitás).
4. Aliquid (Valami más): a mástól való különbözőség (szeparabilitás).
5. Verum (Igaz): a létező és az értelem megfelelősége (megismerhetőség).
6. Bonum (Jó): a létező törekvése a saját teljességére (értékdimenzió).

III. Az állíthatóságok (Praedicabilia)

Az állíthatóságok nem csupán nyelvi kategóriák, hanem a valóság strukturálásának alapvető módjai. A modern kognitív tudomány ezeket kategória-relációknak, az informatika pedig osztály-öröklődési hierarchiának tekinti. Segítségükkel határozzuk meg, hogy egy fogalom (állítmány) milyen mélységben és milyen szükségszerűséggel tartozik hozzá egy alanyhoz.

Az arisztotelészi-porphürioszi hagyomány öt alapvető módot különböztet meg:

1. Nem (Genus)

A nem a fogalom tartalmának azon része, amelyet több, fajilag különböző dologról állíthatunk közösen (pl. „az ember állat”). A biológiában ez a rendszertani család vagy osztály, az informatikában a szuperosztály (superclass).

• Logikai funkció: Meghatározható rész (pars determinabilis), mivel önmagában még tág, további pontosításra szorul.

2. Megkülönböztető jegy (Differentia specifica)

Ez az a tulajdonság, amely a nemfogalmat részekre osztja, és a fajt létrehozza (pl. az embernél az „értelmesség”).

• Logikai funkció: Meghatározó rész (pars determinans). Ez teszi a nemet fajtává.
• Fontos pontosítás: megkülönböztetjük egymástól a faji (specifikus) és nembeli (generikus) különbséget. Az ember esetében az „élő” jegy generikus (mert elválasztja a követ a fától), de az „értelmes” specifikus (mert elválasztja az embert a többi állattól).

3. Faj (Species)

A faj a teljes lényeg kifejezője (Genus + Differentia).

• Pl. Cicero est animal rationale”. Itt az animal rationale a faj (ember) definíciója, amely Cicero teljes lényegét (quidditas) adja meg. Az animal rationale a faj meghatározása, a homo viszont a faj fogalma.
• Rendszertani státusz: A faj alatt már nincsenek további lényegi alosztályok, csak számszerűleg különböző egyedek (individuumok).

4. Sajátos jegy (Proprietas)

A sajátosság nem alkotja közvetlenül a lényeget (nem része a definíciónak), de a lényegből (fajiságból) szükségszerűen és elválaszthatatlanul következik.

• Példa: Az ember „nevetni tudó” vagy „beszédre képes” lény (capax loquendi). Bár a definíciónk az „értelmes állat”, az értelemből szükségszerűen következik a nyelvi képesség. A tudományos világbanban ezeket a származtatott tulajdonságoknak nevezzük. Ha ismerjük a dolog atomi szerkezetét (lényeg), abból levezethető a vezetőképessége (sajátosság).

5. Járulékos jegy (Accidens)

Olyan tulajdonság, amely jelen lehet vagy hiányozhat anélkül, hogy a dolog lényege megváltozna vagy a dolog megszűnne.

• Típusai: az elválaszthatatlan járulék: Pl. az etióp ember fekete bőrszíne (egyedre jellemző, de nem faji lényeg) és az elválasztható járulék: Pl. Cicero éppen ül (sedens) vagy olvas.
• Az objektum példányának aktuális állapota (state/value), szemben az osztály definíciójával.

Porphürioszi fa (Arbor Porphyriana)

A Porphürioszi Fa a fogalmak hierarchikus alárendeltségét ábrázolja a legáltalánosabb kategóriától (szubsztancia) az egyedi létezőig. Ez a modell a modern ontológiai gráfok és a taksonómiai osztályozások őse.

Szint	Logikai kategória	Fogalom (Példa)	Megkülönböztető jegy (differentia)
I.	Legfőbb nem (genus supremum)	SZUBSZTANCIA (Létező)
		↓	anyagi / anyagtalan
II.	Közbülső nem (genus subalterum/remotum)	TEST (Corpus)
		↓	élő / élettelen
III.	Közbülső nem (genus subalterum/proximum)	ÉLŐLÉNY (Vivens)
		↓	érzékelő / nem érzékelő
IV.	Legalsó nem (genus proximum)	ÁLLAT (Animal)
		↓	értelmes / értelmetlen
V.	Legalsó faj (infima species)	EMBER (Homo)
		↓	egyedítő jegyek (notae individuantes)
VI.	Egyed (individuum)	CICERO / SZOKRATÉSZ

Az Arbor porphyriana működési szabályai:

1. Felfelé haladva (absztrakció): csökken a tartalom (kevesebb jegy), de nő a terjedelem (több dologra igaz). A szubsztancia a legszegényebb tartalmú, de legtágabb fogalom. A létező (substantia) nem egyértelmű fogalom, és szigorúan véve nem is mondható fogalomnak, mivel teljes mértékben kizárja a nem-azonosságot az azonosság és nem-azonosság viszonyában, tehát nem alárendelhető.
2. Lefelé haladva (determináció): nő a tartalom (újabb megkülönböztető jegyek adódnak hozzá), de csökken a terjedelem. Az ember fogalma sokkal gazdagabb, mint a test fogalma, de kevesebb létezőre vonatkozik.
3. Kizárólagosság: a fán az ellentétes megkülönböztető jegyek (pl. értelmes - értelmetlen) kizárják egymást, így biztosítva a logikai osztályozás pontosságát.

Példa: Caesar – ő egy individuum (egyed), aki egyben császár is (egyedi határozmányok), elmondható róla, hogy ember (fajfogalom), azért ember, mivel értelmes (faji jegy), milyen faj része? – állat és mint ilyen élőlény (közelebbi nem fogalom), tehát élő, rendelkezik testtel (távolabbi nemfogalom), ezek szerint van kiterjedése (faji jegy), végül elmondható, hogy létező (legfelsőbb nemfogalom).

IV. A kategóriák (praedicamenta) rendszere: a valóság legfőbb osztályai

Arisztotelész kategóriái a legfőbb nemek (summa genera), tehát nem valami alatt állnak, hanem minden más fogalom felett; ezek a legáltalánosabb osztályok, amelyekbe a létezők besorolhatók.

A kategóriák (görögül: katégoriai, jelentése: állítás, vád, kijelentés) nem „alkategóriák”, hanem a legfőbb nemfogalmak. Olyan alapvető fogalmi keretek, amelyekben minden létező elhelyezhető. A nyelvészet szempontjából ezek a legfőbb állítmányok, amelyeket egy alanyról mondhatunk, míg ontológiai szempontból a létezés különböző módjait tükrözik.

• οὐσία (ouszia) – Substantia / Lényeg (Ami van)
• ποσόν (poszon) – Quantitas / Mennyiség (Hányas? Mennyi?)
• ποιόν (poion) – Qualitas / Minőség (Milyen?)
• πρός τι (prosz ti) – Relatio / Viszony (Valamihez képest)
• ποῦ (pou) – Ubi / Hely (Hol?)
• ποτέ (pote) – Quando / Idő (Mikor?)
• κεῖσθαι (keiszthai) – Situs / Helyzet (Feküdni, elhelyezkedni)
• ἔχειν (echein) – Habitus / Birtoklás (Bírni valamivel, „viselni”)
• ποιεῖν (poiein) – Actio / Cselekvés (Tenni, alkotni)
• πάσχειν (paszchein) – Passio / Elszenvedés (Elszenvedni, érintve lenni)

Ouszia a lényeg, mi önmagán áll,

Poszon a mérték, mi számot kínál.

Poion a jellem, Prosz ti a viszony,

Pou és Pote: tér s idő, ez bizony.

Keiszthai a tartás, Echein a „bírás”,

Poiein a tett, s Paszchein a meghatódás.

Arbor sex servos ardore refrigerat ustos

Ruri cras stabo, sed tunicatus ero. 

A fa hat szolga hőségét hűsíti

holnap a mezőn állok majd, de tunikába öltözve.

1. Szubsztancia (Mibenlét/Lényeg) – Arbor

Ami önmagában áll, nem másban (pl. a fa, az ember). A modern fizika és a kvantumelmélet szerint a „szilárd” szubsztancia inkább energia- és információsűrűsödés. Az E=mc2 összefüggés rávilágít, hogy az anyag és az energia egymásba alakítható, így a szubsztancia fogalma ma már magában foglalja az energiamezőket és a részecske-hullám dualitást is.

2. Kvantitás (Mennyiség) – Sex

Mennyi? (Hány darab, mekkora kiterjedés).

A modern matematika (halmazelmélet) és az informatika (digitális adatok) számára ez az alap. A kvantumfizikában a mennyiség nem mindig folytonos, hanem kvantált (csomagokban létező), ami az arisztotelészi „diszkrét mennyiség” fogalmának egy mélyebb, fizikai igazolása.

3. Reláció (Viszony) – Servos

Hogyan aránylik máshoz? (Kisebb, nagyobb, apja, fia).

A hálózattudomány és a rendszerszemlélet szerint a reláció fontosabb, mint az egyedi dolog. Egy elem tulajdonságait gyakran a rendszerben betöltött helye határozza meg (pl. ökológiai fülke, közösségi hálózatok). A kvantum-összefonódás pedig azt mutatja, hogy léteznek nem-lokális relációk is, amelyek függetlenek a térbeli távolságtól.

4. Kvalitás (Minőség) – Ardore

Milyen? (Piros, okos, meleg).

A kémiában és biológiában a minőség gyakran emergens tulajdonság: a víz nedvessége nem található meg a hidrogénben vagy az oxigénben külön-külön, csak az összekapcsolódásuk minőségi többleteként jelenik meg.

5. Actio (Cselekvés) – Refrigerat

Mit tesz? (Hűt, vág, épít).

A dinamikus rendszerek elméletében a cselekvés az energiaátadás folyamata. Az informatika nyelvén ez a „függvény” vagy az „algoritmus”, amely megváltoztatja egy rendszer állapotát.

6. Passio (Elszenvedés) – Ustos

Mit szenved el? (Hűtik, vágják, hevítik).

A fizikai hatás-ellenhatás (Newton III. törvénye) és a termodinamika nyelve ez. Minden hatás (actio) változást (passio) okoz az objektumban, növelve annak entrópiáját vagy megváltoztatva belső energiáját.

7. Ubi (Hely) – Ruri

Hol? (Itt, ott, a mezőn).

Einstein relativitáselmélete óta tudjuk, hogy a hely nem abszolút koordináta, hanem a téridő-kontinuum része, és csak egy vonatkoztatási rendszerhez képest értelmezhető.

8. Quando (Idő) – Cras

Mikor? (Ma, tegnap, holnap).

Az idő ma már nem egy külső, egyenletesen folyó óra, hanem a térrel összefonódott dimenzió. Az idődilatáció révén a „mikor” függ a megfigyelő sebességétől is.

9. Situs (Helyzet/Testtartás) – Stabo

Hogyan helyezkedik el? (Áll, fekszik, ül).

A robotikában és a biomérnöki tudományokban ezt orientációnak vagy konfigurációnak hívjuk. Fontos szerepe van a molekuláris biológiában is: a fehérjék „tartása” (folding) határozza meg azok biológiai funkcióját.

10. Habitus (Birtoklás/Állapot) – Tunicatus ero

Mivel van felszerelve? (Fel van öltözve, fegyvere van).

Ez a kategória a környezeti adaptációt és az extenzív kiegészítőket jelenti. Az evolúciós pszichológiában a ruházat vagy a technológia a „kiterjesztett fenotípus” része (mint a hód vára vagy a mi okostelefonunk).

Bár Arisztotelész tíz kategóriája zseniális rendszerezés, a modern tudomány és logika tett néhány fontos észrevételt:

1. Redukció: Kant szerint a tíz kategória nem következetes levezetés eredménye, hanem „rapszodikus” gyűjtés. Ő négy fő csoportra (Mennyiség, Minőség, Viszony, Módozat) szűkítette őket.
2. Információ, mint új kategória? A XXI. században sokan javasolják az Információ bevezetését mint 11. alapvető kategóriát, mivel az nem redukálható tisztán anyagra (szubsztancia) vagy energiára (actio).
3. Kontextuális rugalmasság: Arisztotelész kategóriái a görög nyelv nyelvtanára épültek. A modern nyelvészet (Chomsky) rámutat, hogy a kategóriák az emberi agy veleszületett kognitív sémái, amelyek a világ észlelését strukturálják, de más kultúrákban vagy mesterséges nyelvekben a hangsúlyok eltolódhatnak.

V. A fogalmak logikai és kognitív relációi: logikai statika

A fogalmak nem elszigetelt egységek, hanem egy szemantikai háló elemei. Amikor két fogalmat összehasonlítunk, valójában azok terjedelmét (milyen dolgokra vonatkoznak) és tartalmát (milyen jegyeket hordoznak) vetjük össze. A modern tudomány ezt a kapcsolati rendszert a halmazelmélet és a kognitív taxonómia segítségével írja le. Az első négy tartalmazza a logikai alapelveket is, így azokat már ebben a szintézisben vizsgáljuk.

1. Azonosság és ekvivalencia (principium identitatis)

A=A. Ez az elv annak a kifejezője hogy minden A létező azonos önmagával vagyis az elv a dolgok önmagukkal való azonosságát állapítja meg. Mindarról, ami nem azonos önmagával, fogalmat sem alkothatunk. Az azonosság elve a fogalomalkotás alapja.

A klasszikus logika szerint két fogalom lehet azonos értelemben (ratione) és valóságosan (realiter). A modern nyelvészet ezt a szinonímia és a referenciális azonosság fogalmaival írja le.

• Értelmbeli azonosság (intentionalis): két fogalom tartalmi jegyei teljesen megegyeznek. (Pl. „eb” és „kutya” – bár stilisztikailag eltérnek, logikai tartalmuk azonos).
• Valóságos/Tárgyi azonosság (extensionalis): Frege híres példájával élve: az „esthajnalcsillag” és a „hajnalcsillag” fogalma értelemben különböző (más-más napszakra utalnak), de a valóságban ugyanarra az objektumra (Vénusz) vonatkoznak.
• Kritikai javítás: a szöveg állításával ellentétben az értelemtől független valóságos azonosságot ma koextenzivitásnak nevezzük.

Ez alapján tehát megkülönböztetjük a:

logikai azonosságot (principium identitatis)

intenzionális azonosságot (jelentés)

és a extenzionális azonosságot / koextenzivitás (referencia)

2. Ellentmondás (pricipium contradictionis)

A≠nem-A. Ez az elv azt fejezi ki, hogy egy és ugyanazon dolog egy és ugyanazon szempontból nem lehet egyszerre azonos és nem azonos önmagával. Ezen elv alapján alkotjuk meg az ítéleteinket.

3. A harmadik kizárása (principium exclusi tertii)

Ez az elv azt mondja ki, hogy mindaz ami van, az vagy A, vagy pedig nem-A, harmadik lehetőség nincs.

4. Az elégséges alap elve (principium rationis sufficientis).

Ez az elv – a magyarázat és igazolás elve, és nem szűk értelemben vett logikai törvény –, azt fejezi ki, hogy mindennek elégséges alapja veled, illetve magyarázata kell, hogy legyen. Ennek alapján építjük fel a logikus következtetéseket és ez a rendszer alkotás alapja is.

5. Különbözőség és diszparitás (Distinctio)

A fogalmak különbözősége a megismerés alapja (az információ nem más, mint észlelt különbség).

• Reális különbség: két dolog a valóságban is külön létezik (pl. egy asztal és egy szék).
• Fogalmi különbség: ugyanazon dolog két különböző aspektusát ragadjuk meg (pl. az ember mint „értelmes lény”és az ember mint „politikai lény”).
• Diszparát (széteső) fogalmak: olyan fogalmak, amelyeknek sem tartalmukban, sem terjedelmükben nincs közös metszetük, és nem is ugyanazon „nem” alá tartoznak (pl. „kék” és „logaritmus”).

6. Az ellentétesség formái (Oppositio)

Az ellentét – a különbözőség speciális, strukturált eseteként – nem egységes; a kognitív tudomány és a logika négy élesen elkülönülő módot ismer:

Típus	Latin név	Leírás	Példa
Ellentmondó	Contradictoria	A fogalom és annak teljes negációja. Nincs köztes állapot (Harmadik kizárva).	Ember – Nem-ember
Ellentétes	Contraria	Egy skála két végpontja. Van köztes állapot (medium).	Fekete – Fehér (közte: szürke)
Fosztó	Privativa	Egy olyan tulajdonság hiánya, amelynek természet szerint meg kellene lennie.	Látás – Vakság
Viszonylagos	Relativa	A két fogalom feltételezi egymást, egyik a másik nélkül nem értelmezhető.	Szülő – Gyerek

7. Hierarchikus viszonyok (alá- és fölérendeltség)

Ez a szakasz a modern ontológiák és a biológiai rendszertan alapja. Itt a halmazelméleti inklúzió (tartalmazás) elve érvényesül.

• Fölérendelt (Hypernym / Genus): a tágabb fogalom, amely több egyedet foglal magában, de kevesebb meghatározó jegye van (pl. emlős).
• Alárendelt (Hyponym / Species): a szűkebb fogalom, amely a fölérendelt minden jegyét birtokolja, plusz saját specifikus jegyeit (pl. delfin).
• Mellérendelt (Co-hyponym): azonos nem alá tartozó, egymást kizáró fajfogalmak (pl. kutya és macska emlős).

8. Metsző és egybevágó viszonyok (Intersectio)

A modern logika itt a Venn-diagramok logikáját használja:

• Intersectio (kereszteződés): Két fogalom terjedelme részben átfedi egymást. Vannak elemek, amelyek mindkettőbe beletartoznak, és vannak, amelyek csak az egyikbe. Példa: „Magyar” és „Orvos”. Van magyar orvos, de van magyar, aki nem orvos, és orvos, aki nem magyar.
• Egybevágó (kongruens): a két fogalom terjedelme teljesen lefedi egymást, bár a nevük más (pl. „szabályos háromszög” és „egyenlő oldalú háromszög”).

A fogalmak logikai és kognitív relációi: logikai dinamika

9. A „fordított arányosság” dinamikája

A fogalmak viszonyát nemcsak a nevük, hanem a bennük rejlő feszültség határozza meg. Ezt hívjuk a logika alaptörvényének. Ez azt jelenti, hogy ha két fogalmat összehasonlítunk, látnunk kell, hogy a fölérendelt fogalom (pl. épület) azért „nagyobb” terjedelmű, mert kevesebb jegyet tartalmaz, mint az alárendelt (pl. kórház). A fogalmak viszonya nem statikus, hanem egy absztrakciós létra, amin fel-le mozoghatunk.

10. A hiányzó láncszem: mereológia (rész–egész viszony)

A klasszikus logika gyakran összekeveri a nem–faj (Genus–Species) viszonyt a rész–egész viszonnyal. Pedig óriási a különbség:

• Logikai felosztás (divisio): az autó egy fajtája a járműnek (ami igaz a járműre, igaz az autóra is).
• Mereológiai felosztás (partitio): a motor része az autónak (De a motor nem „egyfajta autó”).

A modern rendszerszemléletben (és az informatikai adatmodellezésben) ez a különbségtétel kritikus. Ha egy fogalmat elemzünk, meg kell néznünk, hogy a másik fogalom alkotóeleme-e (szerves rész), vagy példánya-e (faj).

11. Horizontális viszonyok: mellérendeltség és koordináció

A modern kognitív tudomány szerint a mellérendelt fogalmak (pl. kutya és macska emlősök) között szemantikai konkurencia van.

• Diszjunktív mellérendeltség: Egymást kizáró kategóriák (vagy ez, vagy az).
• Komplementer mellérendeltség: Egymást kiegészítő kategóriák (pl. kínálat és kereslet).
• Szemantikai közelség: Bár a kórház és az orvos logikailag különböző kategóriák (hely vs. személy), a szemantikai hálóban mégis szorosan összetapadnak. Ezt hívjuk asszociatív viszonynak.

12. A határok elmosódása: Fuzzy Logic (életlen halmazok)

A klasszikus logika szerint két fogalom vagy egybevág, vagy nem. A modern fuzzy logic (életlen logika) és a prototípus-elmélet (Eleanor Rosch) szerint azonban a fogalmak szélei „rojtosak”.

Példa: A „játék” és a „munka” fogalma sokszor nem széteső (diszparát), hanem van egy hatalmas szürke zóna köztük (pl. a profi sport vagy a gamifikáció). Itt a viszony nem egy egyszerű metszet, hanem egy fokozatos átmenet.

13. Szintaktikai és paradigmatikus viszonyok

A nyelvészet (Saussure óta) hozzátesz még egy dimenziót:

• Paradigmatikus viszony: A fogalmak „helyettesíthetik” egymást egy bizonyos ponton (pl. „A [kutya/eb/farkas] ugat”). Itt a viszony az azonosság vagy a hasonlóság.
• Szintagmatikus viszony: A fogalmak „összekapcsolódnak” a valóságban (pl. „kutya” + „ugat” + „veszély”). Ez a viszony a kontextuális függőség.

14. Dinamikus viszony: evolúciós fogalomfejlődés

Végezetül a tudománytörténet tanulsága: a fogalmak viszonya az időben változik.

• Fogalmi fúzió: két korábban különböző fogalom eggyé válik (pl. a tér és az idő a relativitáselméletben: Téridő).
• Fogalmi fisszió (Hasadás): Egy fogalom kettéválik (pl. a „levegő” fogalmából vált ki az oxigén, nitrogén stb. felismerése).

Összegzés: A teljes kép

Ha a fogalmak viszonyát nézzük, egy többdimenziós koordináta-rendszert kapunk:

1. Függőleges tengely: hierarchia (alá-fölérendeltség).
2. Vízszintes tengely: mellérendeltség és ellentét.
3. Mélységi tengely: rész-egész viszony (mereológia).
4. Időtengely: fogalmi változás és finomodás.

VI. A vocabulum és a terminus: a gondolat architektúrája

Az emberi megismerés nem csupán a külvilág passzív tükrözése, hanem aktív konstrukció. Amikor a valóságot észleljük, az elme elvonatkoztat (absztrakció), létrehozva a belső fogalmat (conceptus), amelyet azután jelekbe kódolva tesz hozzáférhetővé mások számára. Ez az interszubjektivitás alapja. Ebben a folyamatban a szó nem csupán hangalak (vocabulum), hanem logikai határpont (terminus), amely kijelöli a gondolat terjedelmét.

Fogalmainkat is szavakkal fejezzük ki. A szó és a fogalom kapcsolata több féle lehet. Egy adott szó lehet több értelmű, vagyis ugyanaz a szó különböző fogalmakat fejezhet ki: ez a homonímia (lat. aequivocitas). „Amennyiben viszont a fogalmat jelölő szó mindig ugyanazt a gondolati tartalmat, ugyanazt a lényeget vagy fogalmat fejezi ki, akkor egyértelműségről beszélünk”: szinonímia (lat. univocitas). Ezen utóbbi sajátos esete a rokonértelműség. 

Szemiotikai alapvetés: A jel (signum) többdimenziós természete

A jel nem csupán „valami”, ami „valami másra” utal, hanem egy dinamikus folyamat. Míg Szent Ágoston definíciója az érzékelés felől közelít, a modern tudomány (Peirce és Frege nyomán) háromoldalú viszonyként (szemiotikai háromszög) kezeli a jelet.

A jelek interdiszciplináris osztályozása:

• Signum naturale (természetes jel): nincs szándékos közlés közbeiktatva. A kapcsolat kauzális (ok-okozati). A modern etológia ide sorolja az állati jelzéseket is (pl. feromonok).
• Signum conventionale (megegyezésen alapuló jel): a társadalmi szerződés eredménye. Itt a jelölő és a jelölt kapcsolata önkényes (Saussure elve). Ide tartozik a nyelv, a morze, de a programozási nyelvek is.
• Signum manifestativum (kinyilvánító jel): az affektív állapotok tünete. Pszichológiai szempontból ezek a non-verbális szivárgások (mikro-arcmozdulatok).
• Signum suppositivum (helyettesítő jel): a logikai helyettesítés eszköze. A matematikában az x változó tipikus példája ennek.
• Signum quod (tárgyi jel): azonnali észlelési tárgy. A szemiotikában ez a „jeltest”.
• Signum quo (eszköz jel): áttetsző jel. Az elme nem a jelnél áll meg, hanem rögtön a jelentéshez ugrik. Ilyen a belső mentális képünk egy tárgyról.

Az expresszió technológiái: az írás fejlődése

Az írás nem csupán a beszéd rögzítése, hanem az emberi gondolkodás külsővé tétele és stabilizálása: olyan kognitív „protézis”, amely lehetővé teszi, hogy a fogalom (conceptus) kilépjen a tudat időbeli korlátaiból, és tartós, manipulálható formát öltsön. Ebben az értelemben az írás az úgynevezett kiterjesztett elme (Extended Mind) egyik legkorábbi és legmeghatározóbb technológiája: nem pusztán közvetít, hanem átalakítja a gondolkodás szerkezetét is. Az írás fejlődése ezért nem egyszerűen technikatörténet, hanem a fogalmi gondolkodás differenciálódásának és formalizálódásának története.

A fejlődési szakaszok első nagy egysége a prefonetikus, képi alapú írásrendszerek világa. A barlangrajzok, piktogramok és korai jelölések még nem a beszéd hangalakját rögzítik, hanem közvetlenül a valóság tárgyaira és eseményeire utalnak. Itt a jel (signum) és a jelölt (significatum) közötti viszony ikonikus: hasonlóságon alapul. A fogalomalkotás ebben a szakaszban még szorosan kötődik az érzéki tapasztalathoz; a vocabulum szerepe minimális, a terminus pedig még nem különül el világosan, mert a jel nem absztrakt határpontként, hanem konkrét képként működik.

A következő lépcső a logografikus írás kialakulása, ahol a jelek már nem pusztán képek, hanem stabil jelentésegységek hordozói. A sumer ékírás vagy az egyiptomi hieroglifák esetében a jel már egy szóhoz vagy fogalomhoz kapcsolódik, bár gyakran megőrzi képi eredetét. Itt jelenik meg először határozottabban a vocabulum és a terminus közötti feszültség: a jel egyszerre utal egy hangalakra és egy jelentésre. A gondolkodás ebben a fázisban kezd el elszakadni a közvetlen érzékeléstől, és a fogalmak stabilizálása révén lehetővé válik a komplexebb adminisztratív, vallási és jogi struktúrák kialakulása.

A szótagírások megjelenésével az írás közelebb kerül a beszéd struktúrájához. A jelek már nem teljes szavakat, hanem szótagokat reprezentálnak, ami jelentősen növeli a kifejezés rugalmasságát. Ez a rendszer lehetővé teszi az új szavak és nevek pontosabb lejegyzését, és ezzel párhuzamosan a gondolkodás analitikusabbá válik: a nyelvi egységek felbonthatók, kombinálhatók, újraszervezhetők. A terminus itt már nemcsak jelentésbeli, hanem részben strukturális egységgé is válik.

Az alfabetikus írás forradalmi lépést jelent, mivel a beszéd legkisebb hangzó egységeit, a fonémákat rögzíti. Ez radikálisan leegyszerűsíti az írás tanulását és használatát, ugyanakkor mélyen átalakítja a gondolkodást is. Az absztrakció új szintje jelenik meg: a jel és a jelentés kapcsolata teljesen konvencionálissá válik. A vocabulum itt már tisztán jelölőként működik, míg a terminus logikai szerepe megerősödik, hiszen a fogalmak pontos definiálása és kombinálása lehetővé válik. Az alfabetikus írás hozzájárul a filozófia, a tudomány és a logika kialakulásához, mivel stabil alapot biztosít az érvelés és a reflexió számára.

A klasszikus és középkori kéziratkultúra szakaszában az írás nemcsak rögzít, hanem rendszerez is. A glosszák, kommentárok és skolasztikus struktúrák megjelenése azt mutatja, hogy az írás már nem lineáris közlés, hanem hálózatos gondolkodási tér. A terminusok definiálása, megkülönböztetése és kombinálása válik a tudományos diskurzus középpontjává. Itt az írás már egyértelműen a gondolkodás architektúrájának eszköze: a lap szélén megjelenő jegyzetek, a szövegek közötti utalások és a rendszerezett felosztások mind a konceptuális struktúrák externalizációját szolgálják.

A könyvnyomtatás feltalálása új korszakot nyit, amelyben az írás tömegesen reprodukálhatóvá válik. Ez nem csupán az információ terjedését gyorsítja fel, hanem standardizálja is a nyelvet és a terminológiát. A fogalmak jelentése stabilabbá válik, a tudományos diskurzus egységesül, és kialakulnak azok a terminológiai rendszerek, amelyek lehetővé teszik a modern tudomány fejlődését. A vocabulum és a terminus közötti kapcsolat itt intézményesül: szótárak, enciklopédiák és tankönyvek rögzítik és szabályozzák a jelentéseket.

A digitális írás korszakában az expresszió új dimenzióba lép. A szöveg már nem statikus, hanem dinamikus és interaktív: hiperhivatkozások, multimodális elemek és algoritmikus feldolgozás révén az írás hálózattá alakul. A gondolkodás nem lineáris láncként, hanem összekapcsolt csomópontok rendszerében jelenik meg. A terminusok jelentése folyamatosan újrakontextualizálódik, a suppositio dinamikája felgyorsul, és a hermeneutikai folyamat egyre inkább kollektívvá válik. Az írás itt már nemcsak a gondolat rögzítése, hanem annak folyamatos újraszervezése.

Összefoglalva, az írás fejlődése az emberi gondolkodás fokozatos externalizációjának és formalizációjának története. A képi jelektől az alfabetikus rendszereken át a digitális hálózatokig az írás egyre inkább elválasztja egymástól a vocabulum fizikai hordozóját és a terminus logikai funkcióját, miközben egyre komplexebb struktúrák létrehozását teszi lehetővé. Az írás tehát nem pusztán eszköz, hanem a gondolkodás egyik konstitutív dimenziója: olyan architektúra, amelyben a fogalmak nemcsak megszületnek, hanem tartós formát nyernek, rendszerré szerveződnek, és közösségileg hozzáférhetővé válnak.

A terminus logikai és kognitív analízise

A logikai propozícióban a szó már nem csak vocabulum (szóalak), hanem terminus (határpont), amely kijelöli a gondolat terjedelmét. A terminus a gondolkodásban funkcionáló, logikai szerepet betöltő jelentésegység.

Az analógia mélyfúrása

Az analógia nem csupán „hasonlóság”, hanem a kognitív nyelvészet szerint a gondolkodás motorja (metafora-elmélet).

• Analogia attributionis: amikor egy tulajdonságot egy központi fogalomról (analogon princeps) ruházunk át másokra. Példa: Az „egészséges” jelző elsődlegesen az élőlényre, másodlagosan az életmódra vonatkozik. Causa és effectus: Az ok és okozat kapcsolata (pl. „egészséges” az étel, mert egészséget okoz az emberben). Continens et contentum: A tartalmazó és a tartalmazott kapcsolata (pl. „iszom egy pohárral”).
• Analogia proportionalitatis: szerkezeti izomorfizmus. A:B=C:D. (A kormányzó úgy irányítja az államot, mint a kapitány a hajót).
• Signum et significatum: a jel és a jelölt közötti belső megfelelés (szemiotikai reláció).
• Speciale et generale: az egyedi és az általános közötti jelentésátvitel.
• Pars et totum (Szinekdoché): „Nincs egy fedél a feje felett” – a rész (fedél) képviseli az egészet (ház).

Suppositio: A kontextuális szemantika

A szavak jelentése relatíve stabil, de a használatuk (referenciájuk) dinamikus. Ez a suppositio tana, ami a modern nyelvfilozófiában a pragmatika előfutára. Ez a suppositio (helyettesítés). Típusai a következők:

Lényeg szerinti felosztás:

a) Suppositio essentialis: a fogalom lényegére utal (pl. „Az ember egy faj”).

b) Suppositio personalis: konkrét egyedekre utal (pl. „Az ember éppen ebédel”).

Terjedelem szerinti felosztás:

a) Suppositio universalis: a teljes osztályra vonatkozik („Minden ember”).

b) Suppositio particularis: az osztály egy részére vonatkozik („Némely ember”).

c) Suppositio singularis: egyetlen konkrét egyedre vonatkozik („Ez az ember”).

Logikai alkalmazás szerinti felosztás:

a) Suppositio distributiva: az állítás minden egyedre külön-külön igaz.

b) Suppositio collectiva: az állítás csak a csoportra mint egészre igaz (pl. „Az apostolok tizenketten voltak” – de egyenként nem voltak tizenketten).

c) Suppositio simplex et restricta: Egyszerű utalás vagy egy meghatározott kontextusra való korlátozás.

d) Suppositio specificativa: amikor egy jelzővel pontosítjuk a terminust (pl. „A bölcs ember”).

e) Suppositio reduplicativa: amikor a terminust egy meghatározott minőségében emeljük ki (pl. „A király mint király hozza a törvényt” – azaz nem mint magánember).

A suppositio típusainak bővítése:

Materialis vs. Formalis:

Materialis: „Az 'ember' öt betű.” (Itt a szó testére utalunk).

Formalis: „Az ember halandó.” (Itt a jelentésre).

Essentialis (absztrakt) vs. Personalis (konkrét): az „arany” jelentheti az elemet a periódusos rendszerben, vagy a konkrét gyűrűt az ujjamon.

Distributiva vs. Collectiva: kritikus különbség! „A diákok felemelték a zongorát.” Ha collectiva, akkor együtt. Ha distributiva, akkor mindenki külön-külön (ami fizikai képtelenség).

Suppositio Reduplicativa: a formális aspektus kiemelése. „Mint orvos, azt javaslom...” – itt nem magánemberként, hanem a hivatás minőségében beszélek.

Hermeneutika és kommunikációetika

A sikeres kommunikáció nem csupán információátvitel (Shannon-Weaver modell), hanem a jelentés közös felépítése.

1. A beszélő (Loquens) kötelezettségei (Grice-i maximák):

A beszélőnek kerülnie kell a kétértelműséget. A dolgokat pontosan és világosan kell felfognia, és általánosan elfogadott jelentésű szavakat kell használnia. A „virágos nyelv” a költők területe; a logikai diskurzusban a hallgató megértése az elsődleges szempont. A skolasztikus „világosság” (claritas) modern megfelelője a Grice-i együttműködési alapelv:

• Mennyiség: Ne mondj se többet, se kevesebbet a szükségesnél.
• Minőség: Ne mondj olyat, amiről tudod, hogy hamis.
• Relevancia: A tárgynál maradj.
• Mód: Kerüld a homályosságot és a terjengősséget.

2. Az értelmező (Legens) feladata a kontextuális exegézis

A befogadónak a beszélő szándéka (intentio) szerint kell értelmeznie a szöveget. Figyelembe kell venni:

• Locus (Hely) és Tempus (Idő): Hol és mikor született a közlés? A szavak jelentése korok szerint változik.
• Dispositio (Alkat/Állapot): Milyen lelkiállapotban (pl. bánatban, örömben) született az írás?
• Sensus proprius: A szavakat alapvetően eredeti, tulajdonképpeni értelmükben kell venni, nem pedig átvitt értelemben, hacsak nincs kényszerítő ok a metaforikus értelmezésre.
• Contextus (Összefüggés): Homályos fogalmak esetén a szövegkörnyezetet kell vizsgálni, vagy kérdezés és kutatás útján feltárni a valódi jelentést.

A szöveg értelmezésekor nemcsak a szerző szándékát (intentio auctoris), hanem a szöveg belső logikáját (intentio operis) és a befogadó előfeltevéseit is vizsgálni kell.

• Történetiség (Tempus): A szavak jelentésmezője az időben eltolódik (diakrónia). Egy XVII. századi szöveg „szabadság” fogalma nem azonos a maival.
• Pszichológiai állapot (Dispositio): Az irónia vagy a metafora felismerése kulcsfontosságú. Ha valaki „bánatában” ír, a szavak affektív töltete felülírja a denotatív jelentést.
• A szigorú és tágabb értelem: Alapszabály, hogy a szavakat eredeti értelmükben vesszük (sensus proprius), kivéve, ha az képtelenségre vezet. Például: „Isten keze” – mivel Istennek nincs fizikai teste, itt kötelező az átvitt (analogikus) értelmezés.

A vocabulum a nyelv fizikai teste, a terminus pedig annak logikai lelke. Az emberi gondolkodás architektúrája e kettő feszültségében épül fel. A pontos fogalomalkotás nem csupán akadémiai gyakorlat, hanem az igazság megismerésének és a társadalmi együttélésnek az alapfeltétele. Aki uralja a terminológiát, az uralja a gondolkodás kereteit is.

Az ítélet

I. Az ítéletalkotás ontológiája és logikai architektúrája

1. A genezis: Az értelem második művelete.

Az ítélet nem elszigetelt jelenség, hanem genetikusan nézve egy fejlődési folyamat eredménye. A megismerés az egyszerű fogalomalkotással kezdődik, ahol az elme izolált egységeket hoz létre. Az ítéletalkotás azonban már egy magasabb szintű értelmi művelet, amely ezen fogalmak szintézisére épül. Az ítéletalkotás több, mint puszta összehasonlítás. Míg az összehasonlítás passzív észlelés, az ítéletalkotás célja a kapcsolat megállapítása és kimondása. Ez a „kimondás” a tényállás rögzítése, amely az értelem aktív döntését igényli.

2. A dinamika: vonzás és taszítás

A pszichológiai és logikai dinamika határozza meg az ítélet két alapvető irányát:

• Állítás: ha a fogalmak között egység vagy vonzás áll fenn.
• Tagadás: ha a fogalmak kizárják vagy taszítják egymást.

Ez az elem rávilágít arra, hogy az ítélet nem semleges: minden esetben állást foglal a fogalmak közötti viszonyról.

3. Az ítélet belső anatómiája: S, P és a copula

Az ítélet meghatározása szerint: két vagy több fogalom kapcsolatának megállapítása és kimondása állítás vagy tagadás formájában. Ennek technikai feltétele legalább két elem jelenléte:

1. Alany (S - subiectum): az a fogalom, amelyről a kijelentés szól.
2. Állítmány (P - praedicatum): az a minőség vagy tartalom, amelyet az alanyra vonatkoztatunk.
3. A kettő közötti „értelem általi kötés” (C – copula): nyelvi jele a latin "est" (van) kötőszó. Ez a kopula nem csupán egy nyelvi elem, hanem az az intellektuális aktus, amely az alanyt és az állítmányt egyetlen logikai egységbe forrasztja vagy választja szét.

4. Hülemorfizmus: anyag és forma

• Az ítélet anyaga: az alany és az állítmány mint különálló fogalmak állnak előttünk. Emiatt az ítélet anyaga szerint mindig összetett.
• Az ítélet formája: a köztük kimondott kapcsolat (az állítás vagy tagadás ténye). Emiatt az ítélet formája szerint egyszerű logikai alakzat, hiszen egyetlen egységes állítást fejez ki.

5. Az ítélet alapjai: terjedelem és tartalom

Mi alapján kapcsolunk össze két fogalmat?

• Terjedelmi (Extenzionális) alap: az alanyról akkor állíthatjuk az állítmányt, ha az alany a saját fogalmi körével (terjedelmével) benne van az állítmány fogalmi körében. (Pl. a „kutya” köre benne van az „emlős” körében).
• Tartalmi (Intenzionális) alap: az állítás akkor jogos, ha az alany tartalma magában foglalja az állítmány jegyeit. (Pl. a „háromszög” fogalmi tartalma tartalmazza a „három oldal” jegyet).

Ha e feltételek nem teljesülnek, a logika törvényei szerint a tagadás lép életbe, mivel az állítás nem igazolható. NB! Felléphet ismerethiány, valószínűségi ítélet, illetve nyitott predikáció.

6. A tétel: az ítélet külső ruhája

Mivel az ítélet belső, mentális valóság, a társadalmi kommunikációhoz külső jelbe kell öltöztetni. Ez a tétel (propozíció).

• A tétel nem más, mint egy állító vagy tagadó mondat, amely igazat vagy hamisat jelent.
• Fontos distinkció: az ítélet a gondolat, a tétel a nyelvi forma.

7. Az igazságérték: az ontológiai megfelelőség

Az ítéletnek nem csupán logikai, hanem egzisztenciális értéke is van. Ez azt jelenti, hogy nem „merő eszmei játék”, hanem a valóság leképezésére törekszik.

• Igazság: ha az értelemben összekapcsolt fogalmak megfelelnek a tárgyak ontológiai kapcsolatának (valóságos egyezés vagy különbözőség).
• Tévedés/Hamis: ha a mentális konstrukció nem tükrözi a valóságot.

A szöveg kiemeli: az igazság nem az ítélet lényege (az a predikáció), hanem annak tulajdonsága, amely minden esetben kíséri azt.

8. Az ítéletek osztályozása (A I E O)

Végezetül a szöveg bevezeti a kategorikus ítéletek rendszerezését két szempont alapján:

A. Minőség (Qualitas)

1. Lényegi minőség: Maga az állítás vagy tagadás ténye.
2. Járulékos minőség: A logikai kapcsolat viszonya a valósággal (igaz vagy téves).
3. Módosítások (Modalitás): Szükségszerű, lehetetlen, lehetséges stb.

B. Mennyiség (Quantitas)

Az alany körének kiterjedése (egyetemes vagy részleges).

E két szempont (minőség és mennyiség) kombinációjából adódik a klasszikus logikai négyszög jelölésrendszere:

• A: Egyetemes állító (Affirmo)
• I: Részleges állító (Affirmo)
• E: Egyetemes tagadó (Nego)
• O: Részleges tagadó (Nego)

Reflexió:

• Kognitív tudomány: Amit a logikában „vonzásnak és taszításnak” nevezünk, az a neurális hálózatok szintjén a szinaptikus megerősítés és gátlás. Az agy mintázatfelismerő képessége pontosan ezt a „tényállás-rögzítést” végzi el.
• Nyelvfilozófia: A „tétel” és az „ítélet” megkülönböztetése megelőlegezi Gottlob Frege és Bertrand Russell munkásságát, akik különválasztották a mondat nyelvi formáját a mögötte álló logikai propozíciótól.
• Modális logika: a „szükségszerű” és „lehetetlen” kategóriák ma a modális logika alapkövei, amelyek a lehetséges világok elméletével (Kripke) nyertek modern értelmezést.

Összegzés: Az ítéletet nem statikus eredményként, hanem dinamikus folyamatként mutatjuk be, amely az emberi értelem legfontosabb eszköze a valóság birtokbavételére. Minden eleme – a kopulától az igazságértékig – egy koherens rendszert alkot, amely a mai napig a racionális gondolkodás alapját képezi.

II. Az ítéletek és kijelentések rendszertana

Az ítélet (propositio = πρότασις; iudicium = ἀπόφανσις) a gondolkodás azon alapvető egysége, amelyben két vagy több fogalmat úgy kapcsolunk össze, hogy az eredmény igazságtartalommal bírjon, pontosabban igazságértékkel rendelkező kijelentés legyen. Míg a fogalom önmagában sem nem igaz, sem nem hamis, az ítélet már a valóság egy szeletére vonatkozó állítás vagy tagadás. A modern logika ezt a kijelentéslogika szemszögéből, a nyelvészet a mondattan felől, a számítástechnika pedig a logikai kapuk (Boole-algebra) felől közelíti meg.

Az ítéleteket hat fő szempont alapján osztályozzuk:

1. Minőség (qualitas), vagyis az állítás és tagadás dinamikája

Az ítélet minősége határozza meg a S (alany) és a P (állítmány) viszonyának irányát.

• Az állító ítélet (Propositio affirmativa) azt fejezi ki, hogy az állítmány tulajdonsága hozzátartozik az alanyhoz. Klasszikus kopulája az „est” (van). Példa: „Az ember (van) értelmes.” Modern megközelítésben ez egy igenlő bit vagy egy pozitív igazságérték.
• A tagadó ítélet (Propositio negativa) azt fejezi ki, hogy az állítmány tulajdonsága nem tartozik az alanyhoz, vagy az alany nem része az állítmány terjedelmének. Klasszikus kopulája a „non est” (nem van). Példa: „A kő nem élőlény.”
• A modern szemantika megkülönbözteti a belső tagadást („S nem P”) a külső tagadástól („Nem igaz, hogy S az P”). Ez utóbbi a logikai operátor (¬P), amely az egész kijelentés igazságértékét megfordítja.

2. Mennyiség (Quantitas), vagyis a terjedelem kiterjedése

Ez a szempont azt határozza meg, hogy az alany fogalmának mekkora részére vonatkozik az állítás.

• Egyetemes ítélet (Universalis): az állítás az alany fogalmának teljes terjedelmére vonatkozik. Jelölése a kvantorokkal: ∀x. Példa: „Minden ember halandó.”
• Részleges ítélet (Particularis): az állítás az alany fogalmának egy meg nem határozott részére vonatkozik. Jelölése: ∃x. Példa: „Némely ember művész.” Fontos kiegészítés: logikai értelemben a „némely” azt jelenti: „legalább egy”.
• Egyedi ítélet (Singularis): az alany egy konkrét, megismételhetetlen egyed (individuális létező). Példa: „Cicero a szónok.”
• Logikai szintézis: A klasszikus logikában a mennyiséget és a minőséget ötvözve kapjuk az A (egyetemes állító), E (egyetemes tagadó), I (részleges állító) és O (részleges tagadó) ítéletformákat, amelyek a logikai négyszöget alkotják.

3. Modalitás vagyis a létmód és szükségszerűség

A modális ítéletek nemcsak azt mondják ki, hogy valami van-e, hanem azt is, hogyan/miként van. Az eredeti szöveg által említett négy mód a modern „lehetséges világok” elméletének (Kripke-szemantika) alapja.

• Abszolút ítélet (Assertoricus): Egyszerű tényállítás mód nélkül (pl. „A fű zöld”).
• Modális ítélet típusai:

1. Szükségszerű (Necessarium): Quod non potest non esse. Ami nem tud nem lenni. (Pl. a matematikai igazságok: 2+2=4).

2. Esetleges (Contingens): Quod potest non esse. Ami van, de lehetne másképp is. (Pl. „Most esik az eső” – ez igaz, de nem szükségszerű).

3. Lehetetlen (Impossibile): Quod non potest esse. Ami nem lehet (pl. „négyszögletű kör”).

4. Lehetséges (Possibile): Ami nem tartalmaz ellentmondást, így létezhet (pl. „Élet a Marson”).

4. Reláció, vagyis a feltétlen és feltételes összefüggések

• Kategorikus ítélet (Propositio cathegorica) a feltétel nélküli, közvetlen állítás. Példa: „A nap világít.”
• Hipotetikus (feltételes) ítélet (Propositio hypothetica): két ítélet kapcsolata, ahol az egyik az előtag (antecedens), a másik a következmény (consequens). Szabályai:

1. Modus Ponens: Ha a feltétel (A) igaz, akkor a következmény (B) is igaz (A→B).
2. Modus Tollens: Ha a következmény (B) hiányzik, akkor a feltétel (A) sem teljesült (¬B→¬A).

• Fontos megjegyezni, hogy a következmény meglétéből nem következtethetünk a feltételre (ez a „feltétel állításának hibája”), és a feltétel hiányából sem a következmény hiányára.

5. Egység és összetettség (Simplex et Composita)

• Egyszerű ítélet (Simplex), amely egy alanyból, egy állítmányból és egy kopulából álló atomi kijelentés.
• Összetett ítélet (Composita), amely több egyszerű ítéletet tartalmaz, amelyeket logikai kötőszavak (konjunkció, diszjunkció stb.) kapcsolnak össze. Ezt a modern informatika molekuláris kijelentéseknek nevezi.

6. Szétválasztó ítélet (Propositio disiunctiva)

Ez az ítéletfajta több lehetőséget sorol fel, amelyek közül választani kell.

• A helyes felosztás (divisio) feltételei:

1. Kizáró ellentét: A tagok ne lehessenek egyszerre igazak (Exkluzivitás). A modern logikában ez az XOR művelet.
2. Teljesség (Exhausztivitás): A felsorolásnak minden lehetőséget tartalmaznia kell, tehát a tagok ne lehessenek egyszerre hamisak (nincs harmadik lehetőség).

• Interdiszciplináris kiegészítés: A modern nyelvészet megkülönbözteti a „megengedő vagy”-ot (vel), ahol mindkét tag lehet igaz, és a „kizáró vagy”-ot (aut), ahol csak pontosan az egyik. A klasszikus disiunctiva szigorú értelemben a kizáró típust követeli meg a logikai pontosság érdekében.

Összegzés: Az ítéletek fenti rendszere biztosítja a gondolkodás és az érvelés koherenciáját. Míg a minőség és mennyiség a kijelentés szerkezetét, a modalitás annak ontológiai súlyát, a reláció pedig a logikai következtetés (szillogizmus) alapjait adja meg. Ez a keretrendszer ma is érvényes a mesterséges intelligencia következtetési motorjaiban és a jogi érveléstechnikában egyaránt.

III. A kijelentések ellentétessége és a logikai négyzet

A logikai analízis legfontosabb célkitűzése a kijelentések közötti rendszerszintű összefüggések feltárása. Amikor két ítélet (propositio) azonos alanyra (S) és állítmányra (P) vonatkozik, de azok minőségi vagy mennyiségi mutatói eltérnek, a gondolkodás egy olyan feszültségi mezőbe kerül, amelyet a klasszikus logika a logikai négyzet (quadratum logicum) segítségével modellez. Ez a modell nem csupán absztrakt képletgyűjtemény, hanem az emberi következtetés és érveléstechnika alapvető térképe.

A formális keretrendszer: A–E–I–O formák

A középkori skolasztika a latin AffIrmo (állítok) és nEgO (tagadok) szavak magánhangzóit hívta segítségül a négy alapvető kijelentésforma azonosításához.

1. A (Egyetemes állító): „Minden S az P.”
• Logikai struktúra: ∀x(S(x)→P(x))
• Kognitív aspektus: ez a forma a szabályszerűségek, természeti törvények és axiómák nyelve.

2. E (Egyetemes tagadó): „Egyetlen S sem P.”

• Logikai struktúra: ∀x(S(x)→¬P(x))
• Kognitív aspektus: A kizáró feltételek és a határozott elhatárolás eszköze.

3. I (Részleges állító): „Némely S az P.”

• Logikai struktúra: ∃x(S(x)∧P(x))
• Kognitív aspektus: az egzisztenciális tapasztalat, a kivételek és a létezés igazolása.

4. O (Részleges tagadó): „Némely S nem P.”

• Logikai struktúra: ∃x(S(x)∧¬P(x))
• Kognitív aspektus: a kritikai észrevétel, a homogenitás megtörése.

1. Ellentmondó ellentét (kontradiktórius viszony)

Ez a legszigorúbb ellentét, amely az A és O, valamint az E és I kijelentések között áll fenn.

• Definíció: az egyik mondat pontosan annyit tagad vagy állít, amennyi feltétlenül szükséges a másik igazságának megdöntéséhez.
• Szabály (Regula): két kontradiktórius kijelentés nem lehet egyszerre sem igaz, sem hamis.
• Miért nem igazak egyszerre? Mert sértik az ellentmondásmentesség elvét (¬(p∧¬p)).
• Miért nem hamisak egyszerre? Mert nincs közöttük „harmadik lehetőség” (Harmadik kizárása elve – Tertium non datur).
• Következtetés: ha az egyik igaz, a másik szükségképpen hamis. Ha az egyik hamis, a másik szükségképpen igaz.
• Érveléstechnikai szerep: ha be akarjuk bizonyítani, hogy egy A („Minden politikus korrupt”) hamis, logikailag nem kell az ellenkezőjét bizonyítanunk („Egyetlen politikus sem korrupt”), elegendő egyetlen ellenpéldát találnunk (egy nem korrupt politikust – O).

2. Ellentétes ellentét (Kontrér viszony)

Ez a viszony a két egyetemes kijelentés, az A és E között áll fenn.

• Definíció: mindkét mondat a maximumot állítja vagy tagadja az S teljes terjedelmére nézve. Többet állítanak, mint ami a másik megdöntéséhez kell.
• Szabály (Regula): két kontrér kijelentés nem lehet egyszerre igaz, de lehetnek egyszerre hamisak.
• Miért nem igazak egyszerre? Mert ha minden S az P, akkor nem lehet igaz, hogy egyetlen S nem P.
• Miért lehetnek hamisak egyszerre? Mert létezhet egy középső állapot (medium). Ha például némely S az P, némely pedig nem, akkor mind az „összes”, mind az „egyetlen sem” állítás hamis lesz.
• Következtetés: Az egyik igazságából következik a másik hamissága. Azonban az egyik hamisságából nem következik a másik igazsága (lehet, hogy mindkettő hamis). Ha hamis, hogy „minden autó piros”, és az is hamis, hogy „egyetlen autó sem piros”, az azért lehetséges, mert a valóság a kettő között (némely piros, némely nem) helyezkedik el.

3. Alá-ellentétes ellentét (Szubkontrér viszony)

Ez a viszony a két részleges kijelentés, az I és O között áll fenn.

• Definíció: két olyan mondat, amely részlegesen állítja, illetve tagadja ugyanazt.
• Szabály (Regula): két szubkontrér kijelentés lehet egyszerre igaz, de nem lehetnek egyszerre hamisak.
• Miért lehetnek igazak egyszerre? Mert a valóságban előfordulhat, hogy az alanycsoport egyik fele rendelkezik a tulajdonsággal, a másik pedig nem.
• Miért nem lehetnek hamisak egyszerre? Mert ha az „I” hamis, akkor a kontradiktórius párja, az „E” igaz. Ha viszont az „E” igaz (egyetemes tagadás), akkor az „O” (részleges tagadás) is szükségképpen igaz. (Megjegyzés: ez csak akkor áll, ha létezik az alany fogalma alá tartozó egyed).
• Következtetés: az egyik hamisságából következtethetünk a másik igazságára, de az egyik igazságából nem következtethetünk a másik hamisságára. Th. Ha mindkettő hamis lenne, az ellentmondana az egyetemes szinteknek, hiszen ha nincs olyan S, ami P, és nincs olyan S, ami nem P, akkor maga az S fogalma üres.

4. Alárendeltség (Szubaltern viszony)

Ez a viszony az A és I, valamint az E és O között áll fenn (az egyetemes és a neki megfelelő részleges között).

• Definíció: az egyetemes kijelentés a fölérendelt (subalternans), a részleges az alárendelt (subalternata).
• Szabályok (Regulae):
• Igazság áramlása (fentről lefelé): ha az egyetemes (A, E) igaz, akkor a részleges (I, O) is szükségképpen igaz. Ha minden ember halandó, akkor némely ember is az.
• Hamisság áramlása (lentről felfelé): ha a részleges (I, O) hamis, akkor az egyetemes (A, E) is szükségképpen hamis. Ha még némely ember sem repül szárnyakkal, akkor az sem igaz, hogy minden ember repül.
• Fontos korlátozás: Fordítva nem érvényes! A részleges igazságából nem következik az egyetemes igazsága, és az egyetemes hamisságából nem következik a részleges hamissága.

A modern halmazelmélet és a kognitív tudomány rávilágított egy kritikus pontra, amit a középkori logika gyakran figyelmen kívül hagyott: mi történik, ha az alany halmaza üres? (Pl. „Minden unikornis lila.”)

1. A hagyományos nézet: feltételezi, hogy az alany létezik. Ebben a rendszerben a logikai négyzet minden szabálya tökéletesen működik. Ha azt mondjuk: „Minden sárkány tüzet okád”, Arisztotelész szerint ebből az következik, hogy vannak sárkányok.
2. Modern nézet (Boole-interpretáció): Az egyetemes állításokat (A,E) feltételesnek tekinti: „Ha valami unikornis, akkor az lila.” Ha nincs unikornis, ez az állítás üresen igaz (vacuously true). Ekkor viszont a szubaltern viszony és a szubkontrér viszony megbicsaklik, mert az A lehet igaz, miközben az I hamis.

Konklúzió: A logikai négyzet a következetes érvelés és a cáfolat-technika (debating) alapvető eszköze. Segítségével elkerülhető a „szalmabáb” érvelési hiba, és pontosan meghatározható, hogy egy adott állítás megdöntéséhez egyetemes tagadásra (kontrér) vagy csupán egy ellenpéldára (kontradiktórius) van-e szükségünk. Másképp fogalmazva: A logikai négyzet ismerete a kritikai gondolkodás immunrendszere. Segít felismerni a következő hibákat:

1. Hamis dilemma – amikor valaki úgy állítja be a kontrér ellentétet (A vagy E), mintha kontradiktórius lenne. (Pl. „Vagy mindenben egyetértesz velem, vagy ellenség vagy!” – holott létezik a részleges egyetértés szubkontrér zónája).

2. Túláltalánosítás – amikor egy I típusú igazságból (némely S az P) jogtalanul következtetnek egy A típusú állításra.

IV. Az ítéletek megfordítása (Conversio propositionum)

Az ítéletek megfordítása (conversio) a deduktív érvelés egyik legelemibb művelete. Lényege az alany (Subjectum - S) és az állítmány (Praedicatum - P) felcserélése úgy, hogy az eredeti ítélet igazsága maga után vonja az új ítélet igazságát is. A conversio olyan közvetlen következtetés (inferencia immediata), amelyben egy kategorikus ítéletből egy másikat képezünk az alany és állítmány felcserélésével úgy, hogy az igazság fennmarad.

A megfordíthatóság alaptörvénye a terjedelem megőrzése!

Az új mondat nem lehet „nagyobb”, mint az eredeti. Vagyis: egy kifejezés (terminus) terjedelme nem lehet nagyobb a megfordított ítéletben, mint az eredeti ítéletben volt. A modern logika ezt a disztribúció (osztottság) fogalmával magyarázza:

• Egy terminus akkor osztott, ha a teljes terjedelmében szerepel (pl. „minden ember”).
• Egy terminus osztatlan, ha csak a terjedelme egy részében szerepel (pl. „némely ember”).

Ez a szabály szigorú: ami az eredeti ítéletben nem volt osztott (nem az egész körre vonatkozott), az a megfordítás után sem válhat osztottá:

• A: minden S P – S disztribúció igen, P disztribúció nem
• E: egyetlen S sem P – S disztribúció igen, P disztribúció igen
• I: némely S P – S disztribúció nem, P disztribúció nem
• O: némely S nem P – S disztribúció nem, P disztribúció igen.

1. Conversio simplex (Tiszta vagy egyszerű megfordítás)

Ebben az esetben az alany és az állítmány helyet cserél, de az ítélet minősége (állító/tagadó) és mennyisége(egyetemes/részleges) változatlan marad. Ez csak akkor lehetséges, ha az S és P terjedelmi viszonya szimmetrikus, vagyis akkor lehetséges, ha a disztribúció viszony nem sérül: E ⇄ E és I ⇄ I.

Az E-típusú ítélet (Egyetemes tagadó):

Képlet: „Egyetlen S sem P.” → „Egyetlen P sem S.”

Példa: „Egyetlen kő sem élőlény.” → „Egyetlen élőlény sem kő.”

Halmazelmélet: Ha S∩P=∅, akkor ebből logikailag következik, hogy P∩S=∅. A két halmaz diszjunkt (elkülönülő), a viszony teljes mértékben szimmetrikus.

Az I-típusú ítélet (Részleges állító):

Képlet: „Némely S az P.” → „Némely P az S.”

Példa: „Némely diák sportoló.” → „Némely sportoló diák.”

Halmazelmélet: Ha két halmaznak van közös metszete (S∩P=∅), az a metszet mindkét halmaz felől nézve létezik.

2. Conversio per accidens (Járulékos vagy korlátozott megfordítás)

Itt az alany és az állítmány felcserélése mellett az ítélet mennyiségét is meg kell változtatni (egyetemesről részlegesre), különben logikai hiba (túláltalánosítás) történne. Erre azért van szükség, mert az állító ítéletekben az állítmány terjedelme általában nagyobb, mint az alanyé, tehát: az A-ítéletben az állítmány nem disztribuált, ezért nem lehet teljes egészében visszafordítani: A ⇒ I ✔ az I ⇒ A X

Az A-típusú ítélet (Egyetemes állító):

Hiba: „Minden ember emlős” nem fordítható meg úgy, hogy „Minden emlős ember”.

Helyes megfordítás: „Minden S az P.” → „Némely P az S.”

Példa: „Minden ember emlős.” → „Némely emlős ember.”

Halmazelmélet: Az alany halmaza részhalmaza az állítmánynak (S⊂P). Ha a „P” halmaz felől nézzük a viszonyt, csak a „P” egy részéről állíthatjuk, hogy az „S”.

Az E-típusú ítélet (mint lehetőség):

Az E ítélet is megfordítható így („Egyetlen ember sem kő” → „Némely kő nem ember”), de mivel a Simplex megfordítás többet mond (az összesre vonatkozik), a logikában az E-nél az egyszerű megfordítást preferáljuk. Vagyis az E ítélet megfordítható per accidens módon is, de ez információvesztéssel jár, ezért a logikában nem használjuk, mert a simplex conversio erősebb (ekvivalens).

3. Conversio per contrapositionem (Kontrapozíció útján történő megfordítás)

Ez „nem tulajdonképpeni” megfordítás, mert a terminusok negációját (tagadását) is bevezeti. A modern logika szerint azonban ez az egyik leghatékonyabb eszköz az A és az O ítéletek kezelésére.

Az A-típusú ítélet (Asto):

Folyamat: Tagadjuk mindkét terminust, és felcseréljük őket.

Képlet: „Minden S az P.” → „Minden nem-P az nem-S.”

Példa: „Minden ember halandó.” → „Minden nem-halandó (halhatatlan) lény nem-ember.”

Az ön példája: „Aki utánam jön (S), nem jár sötétségben (P).” → „Aki sötétségben jár (nem-P), nem követ engem (nem-S).” Ez egy tökéletes kontrapozíció!

Az O-típusú ítélet (AstO):

Képlet: „Némely S nem P.” → „Némely nem-P nem nem-S.”

Példa: „Némely állat nem kutya.” → „Némely nem-kutya nem nem-állat.” (Tehát némely nem-kutya állat).

Simplex fEcI convertitur,

EvA per accidens,

AstO per contrapositionem.

Sic fit conversio tota. 

A középkori logikában használt versike a magánhangzók (A, E, I, O) segítségével kódolja, melyik típusú ítélet hogyan fordítható:

• fEcI (E, I): simplex (Egyszerű)
• EvA (E, A): per Accidens (Járulékos)
• AstO (A, O): Per contrapositionem (Kontrapozíció)

A latin szöveg magyar fordítása:

"Egyszerűen az E és I fordul meg, járulékosan az E és A, kontrapozícióval pedig az A és O. Így válik teljessé a megfordítás."

Egyszerűen fEcI vált, s az érték megmarad,

EvA-nál a „Minden” csak „Némelyre” apad.

AstO a nem-ekkel fordít nagyot a renden,

Így válik az ítélet visszájára rendben.

Ez a rendszerezett megközelítés segít elkerülni az olyan hétköznapi érvelési hibákat, amikor valaki egy egyetemes állítást egyszerűen megfordítva próbál igaznak beállítani (pl. „Minden bűnöző iszik alkoholt” → „Aki alkoholt iszik, az bűnöző”).

V. Az ítéletek ekvipollenciája: a logikai egyenértékűség transzformációi

A logikai ekvipollencia (equipollentia) olyan művelet, amelynek során egy kijelentés formáját (szintaxisát) megváltoztatjuk – jellemzően tagadószók beiktatásával –, miközben annak igazságtartalma és jelentése (szemantikája) változatlan marad. Míg a korábban tárgyalt conversio (megfordítás) az alany és az állítmány felcserélésére épült, az ekvipollencia a minőség (állítás/tagadás) és a mennyiség (egyetemesség/részlegesség) közötti belső egyensúlyt használja ki.

1. Alapvetés: a negáció hatóköre

A modern kognitív nyelvészet és a matematikai logika szerint a tagadószó (non) jelentése attól függ, hogy mire vonatkozik (mi felett van „hatóköre”). Az ekvipollencia három szabálya azt mutatja meg, hogyan transzformálható a logikai négyzet egyik sarka a másikba pusztán a negáció pozícionálásával.

2. A három alapvető szabály és interdiszciplináris elemzésük

A. Prae contradic: a kontradiktórius ekvipollencia

Szabály: ha a tagadószót az alany (és így a kvantor) elé helyezzük, az új kijelentés egyenértékű lesz az eredeti kijelentés logikai ellentmondásával (contradictoria).

• Logikai levezetés: ¬A≡O és ¬E≡I.
• Példa (A → O):
• Eredeti (A): „Minden ember bölcs.”
• Ekvipollens forma: „Nem minden ember bölcs.”
• Jelentése: „Némely ember nem bölcs” (O).
• Matematikai háttér: ez felel meg a ¬∀xP(x)⟺∃x¬P(x) azonosságnak.
• Fontos látni, hogy a „Nem minden...” kifejezés a természetes nyelvben gyakran bizonytalanságot sugall, de a logikában precízen kijelöli az egzisztenciális tagadást: elegendő egyetlen ellenpélda a rendszer összeomlásához.

B. Post contra: A kontrér ekvipollencia

Szabály: ha a tagadószót az alany (a kvantor) után, de a kopula elé helyezzük, az új ítélet egyenértékű lesz az eredeti kijelentés ellentétes (contraria) párjával.

• Logikai levezetés: A(post non)≡E és E(post non)≡A.
• Példa (A → E):
• Eredeti (A): „Minden ember igazságos.”
• Ekvipollens forma: „Minden ember nem igazságos.” (A skolasztikus latinban: Omnis homo non est iustus).
• Jelentése: „Egyetlen ember sem igazságos” (E).
• Ezen a ponton a modern nyelvészet óvatosságra int. A mai magyar vagy angol nyelvben a „Mindenki nem jött el” mondat kétértelmű (jelentheti azt is, hogy senki nem jött el, és azt is, hogy nem mindenki). A formális logikában azonban a Post contra szabálya szigorú: az állítmányt fosztja meg az alanytól a teljes terjedelemben.

C. Prae postque subalter: A szubaltern ekvipollencia

Szabály: ha a tagadószót az alany elé is és után is behelyezzük, az új mondat egyenértékű lesz az eredeti kijelentés alárendeltjével (subalterna).

• Logikai levezetés: ¬A(post non)≡I és ¬E(post non)≡O.
• Példa (A → I):
• Eredeti (A): „Minden ember halandó.”
• Ekvipollens forma: „Nem minden ember nem halandó.”
• Jelentése: „Némely ember halandó” (I).
• A matematika és az informatika „kettős tagadás törvényére” (¬¬P≡P) épít. Itt a két tagadás nem oltja ki egymást egyszerűen, hanem „felpuhítja” az egyetemest részlegessé. Ha nem igaz, hogy mindenki nem-halandó, akkor szükségképpen van legalább egyvalaki, aki halandó.

A középkori egyetemeken az alábbi latin versikével rögzítették a szabályokat:

Prae contradic, post contra, prae postque subalter.”

Magyar fordítás és értelmezés:

Prae contradic: (A negáció) előtte (az alany előtt) ellentmondóvá tesz.

Post contra: (A negáció) utána (az alany után) ellentétessé tesz.

Prae postque subalter: (A negáció) előtte is, utána is alárendeltté tesz.

Az ekvipollencia nem nyelvi játék, hanem a szemantikai ekvivalencia bizonyítása. Az informatikában (például SQL lekérdezések optimalizálásakor) kritikus, hogy a gép felismerje: a NOT EXISTS (SELECT ... WHERE NOT P) logikailag ugyanaz, mint az ALL P.

A kognitív tudomány szempontjából az ekvipollencia rávilágít arra, hogyan keretezzük az információt. Bár a „Nem mindenki hazudik” és a „Némelyek igazat mondanak” logikailag ekvipollensek, pszichológiai hatásuk eltérő (keretezési effektus). A logikai tisztánlátáshoz azonban elengedhetetlen a felismerés, hogy e mondatok igazságfeltételei azonosak.

A logikai négyzet, a megfordítás (conversio) és az ekvipollencia együtt alkotják a klasszikus logika „transzformációs nyelvtanát”. Ezzel bármilyen kijelentést átalakíthatunk úgy, hogy megőrizzük annak igazságát, de megváltoztassuk annak fókuszát.

VI. Illatio immediata: a közvetlen következtetések rendszertana

A közvetlen következtetés (Illatio immediata) a logikai műveletek azon formája, amelyben egy adott ítélet igazságértékéből egy másik ítélet igazságértékére következtetünk anélkül, hogy harmadik ítéletet (szillogizmust) iktatnánk közbe. Ez a folyamat a formális logika, a szemantika és a matematikai bizonyításelmélet metszéspontján helyezkedik el.

1. Következtetések a logikai négyzet alapján

A leggyakoribb közvetlen következtetések az azonos S és P, de minőségben vagy mennyiségben eltérő mondatok viszonyrendszerén alapulnak.

• Kontradiktórius (Ellentmondó) ítéletek: az A−O és E−I párok között a legszigorúbb a viszony. Mivel egymás teljes negációi, az egyik igazságából szükségszerűen következik a másik hamissága, és fordítva. Itt a következtetés kétirányú és abszolút: ¬P↔Q.
• Kontrér (Ellentétes) ítéletek (A−E): itt az egyik igazságából következtethetünk a másik hamisságára (ha mindenember bölcs, akkor egyetlen sem nem-bölcs). Fordítva azonban nem: ha hamis, hogy „minden ember bölcs”, abból még nem következik, hogy „egyetlen ember sem bölcs”, hiszen létezhet egy köztes állapot (némelyik az, némelyik nem).
• Szubkontrér ítéletek (I−O): e kijelentések nem lehetnek egyszerre hamisak. Ezért az egyik hamisságából közvetlenül következtetünk a másik igazságára. Ha hamis, hogy „némely ember halhatatlan”, akkor igaznak kell lennie, hogy „némely ember nem halhatatlan”. Az igazságból azonban nem következik a másik hamissága.
• Szubaltern (Alárendelt) viszony: * Igazság lefelé: az egyetemes igazságából (A,E) következik a részleges (I,O) igazsága.

Hamisság felfelé: ha a részleges ítélet téves, akkor az egyetemes is szükségképpen téves. Ha „némely ember nem halandó” hamis, akkor „minden ember halandó” is hamis.

2. Következtetés transzformáció útján

A következtetés nemcsak az igazságértékek elosztásán, hanem a mondatok szerkezeti átalakításán is alapulhat.

• Conversio (mondatfordítás): az alany és az állítmány felcserélése. Ahogy korábban részleteztük, ez történhet egyszerűen (simplex), járulékosan (per accidens) vagy kontrapozícióval.
• Ekvipollencia (ekvivalencia): ezek olyan transzformációk, ahol tagadószók beiktatásával kapunk az eredetivel azonos igazságértékű mondatot.
  Szabály: Ha az eredeti mondat igaz, az ekvipollens is az; ha az eredeti téves, az ekvipollens is téves. Ez a logikai azonosság törvénye a nyelvi variációkban.

3. Modális következtetések (Axiomata modalia)

A modális logika az állítások módját (szükségszerűség, lehetőség) vizsgálja.

1. Ab esse ad posse valet illatio: a létezésből (ténylegességből) következik a lehetőség. Ha valami van (A), akkor az lehetséges (⋄A).

• Sed non viceversa: a lehetőségből nem következik a létezés (csak mert valami lehetséges, még nem biztos, hogy van).

2. A non posse ad non esse valet illatio: a lehetetlenségből következik a nem-létezés. Ha valami nem lehetséges (¬⋄A), akkor az nincs is (¬A).

• Sed non viceversa: ha valami nincs, abból nem következik, hogy nem is lehetséges (lehetne, csak épp nem jött létre).

3. A possibilitate simultanea non valet illatio ad possibilitatem simultaneitatis: ez a modern logika egyik legfinomabb megkülönböztetése.

• Magyarázat: abból, hogy két dolog külön-külön lehetséges ugyanabban az időben, nem következik, hogy a kettő együtt is lehetséges.
• Példa: lehetséges, hogy egy ember áll, és lehetséges, hogy ugyanaz az ember ül. De nem lehetséges az, hogy az ember egyszerre üljön és álljon (⋄A∧⋄B⟹⋄(A∧B)).

4. Kollektív és disztributív predikáció

A modern nyelvészet (szemantika) és a halmazelmélet pontosítja az állítmány és az alany viszonyát:

1. Állító mondatok: az állítmány az alanyra nézve általában disztributív (osztó) módon érvényes (ha „Minden ember halandó”, akkor minden egyes emberre külön-külön igaz a halandóság). Vannak azonban kollektív állítások is (pl. „A parlament törvényt hozott” – itt nem minden egyes képviselő külön-külön hozott egy-egy törvényt, hanem a testület együtt).
2. Tagadó mondatok: itt az eredeti szöveg állításával ellentétben az állítmány disztributívan is tagadható. Ha azt mondom: „Senki sem gép”, akkor ez minden egyes egyénre külön-külön is vonatkozik.

5. Összetett állítmányok felbontása (kompozícionalitás)

• Konjunktív állítmány (S az P és Q): ha „Péter orvos és festő”, akkor ebből következik, hogy „Péter orvos” és következik, hogy „Péter festő”. A részek külön is érvényesek.
• Diszjunktív állítmány (S az P vagy Q): ha „Péter orvos vagy festő”, abból nem következik külön-külön egyik sem. Nem állíthatom biztosan, hogy festő, csak azt, hogy a kettő közül legalább az egyik.
• Relációs/Szerves egység: ha az állítmány részei csak együtt értelmesek (pl. „Ez a ház világosszürke”), akkor nem választhatjuk szét őket („Ez a ház világos” – hamis lehet).

Összegzés: Az Illatio immediata rendszere megmutatja, hogy a logika nem csupán merev szabályok halmaza, hanem a jelentés kibontásának művészete. A modális elvek és a predikációs szabályok segítenek abban, hogy ne vonjunk le téves következtetéseket a lehetőségekből vagy az összetett fogalmakból.

A következtetés (ratiocinium)

Az emberi szellem nem statikus állapotok gyűjteménye; a gondolkodás lényegi sajátossága a folyamatosság. Ahogy a fizikai világban a mozgás, úgy az intellektuális szférában a következtetés az az alapvető energia, amely a már ismert igazságoktól az ismeretlenek felé hajtja az elmét. A következőkben a klasszikus szillogisztikus logika fogalomkészletét használjuk elsődleges keretként, amelyet analóg módon vetünk össze a modern predikátumlogika és kognitív tudomány modelljeivel. A két megközelítés nem teljesen azonos, hanem különböző absztrakciós szinteken írja le ugyanazt a megismerési folyamatot.

1. A következtetés fenomenológiája és kognitív alapjai

Gondolkodásunk soha nem áll meg egyetlen elszigetelt ítéletnél. A tudatfolyamat olykor asszociatív és csapongó, ahol az ítéletek látszólagos összefüggés nélkül követik egymást (szabad asszociáció), máskor viszont szigorúan strukturált és diszkurzív. Ez utóbbi esetben az egyik ítélet szinte „megszüli” a következőt.

A következtetés (ratiocinium, inferencia vagy illatio) az a kognitív operáció, amelyben ítéleteket kapcsolunk össze abból a célból, hogy egy új igazságra jussunk.

• Közvetlen építőkövei: Az ítéletek (propozíciók).
• Távolabbi építőkövei: A fogalmak (terminuszok).

Modern idegtudományi szempontból ez megfelel a neurális hálózatok azon képességének, ahol a meglévő információ-mintázatokból (premisszák) a rendszer egy új, koherens kimenetet (konklúziót) generál, amely csökkenti a bizonytalanságot és növeli a reprezentáció belső konzisztenciáját.

2. A következetesség és a „Következés” (Consequentia)

A következtetés nem csupán egymásutániság, hanem szükségszerű levezetés. Két aspektusát különböztetjük meg:

• Aktív értelemben (Actus eliciendus) maga a mentális folyamat, a kutató és összehasonlító tevékenység.
• Passzív értelemben (Productum) az eredmény, vagyis a kész logikai struktúra.

A következtetés lelke a következés (consequentia). Ez a belső, objektív összefüggés az ítéletek között, amely normatív értelemben kötelezi az értelmet az elfogadásra. A deduktív következés lényege, hogy a kiinduló ítéletek (premisszák) virtuálisan már magukban rejtik a végeredményt. A következtetés tehát nem más, mint a premisszákban rejlő látens igazság explicitté tétele.

3. A szillogizmus, vagyis az „együtt-gondolkodás” architektúrája

A szillogizmus (görög: syllogismos – syn „együtt”, logizomai „számol/következtet”) a következtetés klasszikus formája. Etimológiailag az adatok „összegyűjtését” és „csoportosítását” jelenti a végső ítélet meghozatala érdekében.

A szillogizmus struktúrája:

• Anyaga (Materia) az ítéletek (premisszák és konklúzió).
• Formája (forma): az ítéletek szerkezeti elrendezése, amely biztosítja a következés érvényességét.

A szillogizmus lényege az összehasonlító munka. Az emberi értelem korlátai miatt nem mindig látja át közvetlenül két fogalom (S és P) viszonyát. Ezért egy harmadik, közvetítő fogalmat (Terminus Medius) hív segítségül. Ha minden A B, és minden B C, akkor minden A C..

4. A következtetés ontológiai és logikai alapelvei

Az értelem a következtetést nem önkényesen, hanem két fundamentális ontológiai alapelv mentén végzi, amelyek a klasszikus realizmus szerint a valóság szerkezetét tükrözik, míg formális logikai megközelítésben az érvényes következtetés szabályaiként értelmezhetők:

1. Az azonosság elve (Principium identitatis) „Quae sunt eadem uni tertio, sunt eadem inter se.” (Amelyek azonosak egy harmadikkal, azok egymással is azonosak.) Ez az állító következtetések alapja. Ha az alany és az állítmány is azonos egy középső fogalommal, akkor egymással is egyeznek.
2. A különbözőség/ellentmondás elve (Principium diversitatis / non-contradictionis): „Quorum unum convenit cum aliquo tertio, alterum vero non convenit, ea non conveniunt inter se.” (Ha az egyik dolog egyezik a harmadikkal, a másik viszont nem, akkor ők ketten nem egyeznek egymással.) Ez a tagadó következtetések alapja.

5. Az igazság és érvényesség

A modern logika egyik legfontosabb felismerése a tartalmi igazság és a formai helyesség (validitás) szétválasztása:

• Egy következtetés lehet logikailag szükségszerű (valid) akkor is, ha a premisszái hamisak. (Pl.: Minden macska tud repülni; Szókratész macska; tehát Szókratész tud repülni.) – A következés itt fennáll, a hiba az „anyagban” (premisszákban) van.
• A klasszikus értelemben vett tudományos megismerés célja a demonstráció, ahol a forma is helyes (valid) és a premisszák is igazak. Ezt nevezzük szigorú értelemben vett bizonyításnak. A modern tudományban ehhez társul a hipotetikus és valószínűségi következtetés szerepe is.

A következtetés tehát nem csupán logikai játék, hanem az emberi szellem legmagasabb rendű tevékenysége, amely lehetővé teszi, hogy a már megszerzett ismeretekből kiindulva – a következés objektív kényszere alatt – új szellemi területeket hódítsunk meg. Ez a folyamat hidat ver a fogalmak absztrakt világa és a valóság tényei között, az azonosság és a különbözőség elvei által vezérelve.

6. Materia remota: A következtetés fogalmi anyaga

A következtetés távolabbi anyaga (távolabbi, mert az ítéletek építőkövei) pontosan három fogalomból áll (a kategorikus szillogizmus esetében).  A logikai precizitás érdekében ezeket fix jelölésekkel látjuk el:

1. Terminus medius (Középfogalom – M). Ez a legfontosabb láncszem. A középfogalom az a közvetítő elem, amely mindkét premisszában szerepel, de a konklúzióban már nem bukkan fel. Feladata, hogy megteremtse az összefüggést a másik két fogalom között.
2. Termini extremi (Külfogalmak). Azok a fogalmak, amelyeket a középfogalom segítségével hasonlítunk össze.
• Terminus Maior (Nagyfogalom – P): ez lesz a konklúzió állítmánya (praedicatum). Terjedelme rendszerint a legnagyobb.
• Terminus Minor (Kisfogalom – S): ez lesz a konklúzió alanya (subjectum). Terjedelme rendszerint a legkisebb.

A modern predikátumlogikában ezeket a fogalmakat halmazokként vagy tulajdonságokként (predikátumokként) kezeljük. A következtetés érvényessége azon múlik, hogy a középfogalom (M) képes-e biztosítani a logikai kapcsolatot a kisfogalom (S) és a nagyfogalom (P) között.

7. Materia proxima: A következtetés ítéleti anyaga

A következtetés közelebbi anyaga az a három ítélet (mondat), amely a logikai folyamatot alkotja. Itt két részre osztjuk a szerkezetet: az előzményre (antecedens) és a következményre (consequens).

1. Az antecedens (az előzmény ítéletei) két premisszából áll, amelyek megalapozzák a következtetést:

• Praemissa Maior (felső tétel): Az az ítélet, amely tartalmazza a nagyfogalmat (P) és a középfogalmat (M). A tudományos hagyomány szerint ez áll az első helyen, mert ez mondja ki az általános szabályt.
• Praemissa minor (alsó tétel): Az az ítélet, amely tartalmazza a kisfogalmat (S) és a középfogalmat (M). Ez általában a konkrét tényállást rögzíti.

2. A Consequens (A következmény ítélete)

• Conclusio (Zárótétel / Konklúzió): Ez a szillogizmus végeredménye. Szerkezete kötött: mindig a kisfogalom (S) az alanya és a nagyfogalom (P) az állítmánya.

8. A logikai láncolat folyamatossága és szabályai

A szövegben említett elrendezés (Maior – minor – conclusio) nem csupán esztétikai kérdés, hanem a deduktív hierarchia leképezése. Az érvényes szillogizmus alapképlete a modern logikában így fest:

∀x(M(x)→P(x))

∀x(S(x)→M(x))

∴∀x(S(x)→P(x))

A következtetés akkor érvényes, ha a középfogalom legalább egyszer teljes terjedelmében szerepel (distributio). Ha M mindkét helyen csak részleges, a láncolat megszakad – ezt hívják a „középfogalom meg nem osztottságának” hibájának.

1. A kognitív pszichológiában az emberi agy nem formulákat, hanem „mentális modelleket” épít. Amikor a szillogizmust feldolgozzuk, képzeletben egymásba ágyazzuk a fogalmakat. A hibás következtetések gyakran abból adódnak, hogy a természetes nyelv kétértelműségei (pl. a „néhány” szó jelentése) megzavarják a fogalmi határokat.
2. AI: a tudásalapú rendszerek (szakértői rendszerek) pontosan ezt a materia proxima szerkezetet használják. A szillogisztika a „láncoló” következtetési motorok (forward and backward chaining) alapja.
3. A szillogizmus a szövegkoherencia mélystruktúrája. Minden meggyőző érvelés mögött – még ha hiányosan is (pl. entimémákban) – ott rejtőzik egy szabályosan felépített szillogizmus.

A szillogizmus tehát egy precíziós gépezet. A materia remota (S, P, M fogalmak) adja a gép alkatrészeit, a materia proxima (premisszák és konklúzió) pedig a gép működési ciklusát. A tudományban a tiszta dedukció követelménye, hogy a konklúzióban ne szerepeljen több, mint ami a premisszákban benne foglaltatott – a szillogizmus feladata csupán a látens igazság explicitté tétele legyen.

II. A szillogizmus episztemológiája: az igazság, az érvényesség és formális szabályrendszer

A következtetés elméletében alapvető fontosságú, hogy különbséget tegyünk a tartalom és a forma között. Egy szillogizmus (következtetés) nem egységes tömbként kezelendő és hatékonysága valamint megbízhatósága két különböző tengelyen mozog.

1. Az igazság (Veritas) és a helyesség (Validitas) distinkciója

A premisszák és a konklúzió igazsága materiális (anyagi) természetű. Egy ítélet akkor igaz, ha fennáll a adaequatio rei et intellectus, vagyis az elme ítélete megfelel a tárgyi valóságnak. Ez a korrespondencia-elmélet: ha azt állítom, hogy „minden ember halandó”, ez az ítélet akkor igaz, ha a biológiai valóságban a halandóság az emberi létezés empirikusan univerzálisnak tekintett attribútum.

Ezzel szemben a szillogizmus helyessége (vagy érvényessége) formális természetű. A helyesség nem a kijelentések tartalmára, hanem azok belső szerkezetére és kapcsolódására vonatkozik. Egy következtetés akkor helyes, ha a konklúzió kényszerítő erővel következik a premisszákból a logikai törvényszerűségek alapján, függetlenül attól, hogy a premisszák egyébként megfelelnek-e a valóságnak. A modern logikában külön fogalom a soundness (megbízhatóság): egy következtetés akkor sound, ha formailag érvényes és minden premisszája igaz.

	Igaz premisszák	Hamis premisszák
Helyes forma	Bizonyítás (Demonstratio): Tudományos igazság.	Logikai konzisztencia: A forma jó, de az alap hibás.
Helytelen forma	Paralogizmus/Szofizma: Igaz adatokból levont téves következtetés.	Abszurditás: Sem a tartalom, sem a forma nem áll meg.

2. A szillogizmus igazságának transzmissziós törvényei

A logikai következtetés során az igazságérték mintegy „átáramlik” a premisszákból a konklúzióba, vagyis az igazságmegőrzés elve érvényesül. Ennek szabályszerűségeit a következő axiómák írják le:

1. Ex vero non nisi verum (Igazból csak igaz): Ha a kiindulópontunk (premisszák) igaz és a következtetés formája helyes, a konklúzió szükségszerűen igaz lesz. Ez a deduktív tudományok alapköve.
2. Ex falso sequitur quodlibet (Hamisból bármi következhet). Ha az előzetes ítéletek (premisszák) hamisak, a következtetés eredménye lehet véletlenszerűen igaz, de lehet hamis is. A hamisság nem konzerválja magát; a logikai szerkezet képes „véletlenül” igaz eredményt adni hamis alapokból is:

Minden négyszög kör.

Minden kör négyszögletű.

tehát Minden négyszög négyszögletű – a premisszák abszurdak, a konklúzió mégis igaz).

A visszacsatolás törvényei:

1. A konklúzió hamisságából való következtetés: Ha a levezetett következtetés (konklúzió) hamis, és a levezetés formája helyes volt, akkor szükségszerűen legalább az egyik premissza téves. Szigorú értelemben az ex falso sequitur quodlibet elv azt mondja, hogy egy ellentmondásos premisszarendszerből bármely állítás levezethető (principium explosionis). Ez a Modus tollens alapja a tudományos cáfolatban.
2. Az igaz konklúzió aszimmetriája: Abból, hogy a következtetésünk igaz, önmagában még nem következik, hogy a kiinduló premisszáink is igazak voltak. Egy igaz állítást le lehet vezetni téves előfeltételekből is. Ezért a tudományban egy elmélet igazoltsága nem csupán a sikeres jóslatokon (igaz konklúziókon), hanem a premisszák önálló igazolásán is múlik.

3. A helyesség formális kánonja: a nyolc szabály

Ahhoz, hogy a szillogizmus formailag helyes (valid) legyen, meg kell felelnie a skolasztikus logika által kodifikált nyolc szabálynak. Ezek biztosítják, hogy a fogalmak terjedelme és a kijelentések minősége ne sérüljön a művelet során.

1. Tum re tum sensu triplex modo terminus esto.

„A szillogizmusban csak három fogalom szerepeljen, mind szóban, mind értelemben.” Nem lehet benne több vagy kevesebb, mint a Terminus Maior (P), Terminus Minor (S) és a Terminus Medius (M). Ha egy fogalmat kétféle értelemben használunk (ekvivokáció), az „negyedik fogalom” hibájához (quaternio terminorum) vezet.

2. Aut semel, aut iterum medius generaliter esto.

„A középfogalom legalább egyszer teljes terjedelmében (disztributívan vagy mindkétszer) egyetemes terjedelemben szerepeljen.” A középfogalom (M) feladata az összekötés. Ha mindkét premisszában csak részlegesen (partikulárisan) szerepel, nem tudjuk biztosan, hogy a két premissza ugyanarra a részhalmazra vonatkozik-e.

3. Aeque ac praemissae extendat conclusio voces.

„A konklúzió terminusainak terjedelme ne legyen nagyobb, mint a premisszákban volt.” Nem következtethetünk a „mindenre”, ha a kiindulópontunk csak „némelyre” vonatkozott. Ez az ún. illicit major / illicit minor „meg nem engedett kiterjesztés” hibája.

4. Nunquam contineat medium conclusio oportet.

„A középfogalom soha ne kerüljön bele a konklúzióba.” A középfogalom csak a közvetítő eszköz. Ha megjelenik a zárótételben, akkor nem következtetést végeztünk, hanem csak megismételtük az előzményeket.

5. Ambae affirmantes nequeunt generare negantem.

„Két állító premisszából nem születhet tagadó konklúzió.” Ha két dolog egyezik egy harmadikkal (identitás elve), akkor azok egymással nem állhatnak ellentétben.

6. Utraque si praemissa neget, nil inde sequetur.

„Ha mindkét premissza tagadó, abból semmi sem következik.” Ha S is és P is különbözik M-től, nem tudjuk megállapítani, hogy S és P egymással milyen viszonyban van (lehetnek azonosak vagy különbözőek is).

7. Peiorem sequitur semper conclusio partem.

„A konklúzió mindig a gyengébb részhez igazodik.” – vagyis a konklúzió minősége és mennyisége a ‘gyengébb’ premisszát követi. A „gyengébb rész” a tagadást az állítással szemben, és a részlegest (partikulárist) az egyetemessel szemben jelenti. Ha az egyik premissza tagadó, a konklúzió is tagadó lesz. Ha az egyik premissza részleges, a konklúzió is részleges lesz.

8. Nil sequitur geminis ex particularibus unquam.

„Két részleges (partikuláris) ítéletből soha semmi nem következik.” A részleges ítéletek nem adnak elegendő információt a fogalmak közötti szükségszerű kapcsolathoz.

A szillogizmus tehát a precíziós gondolkodás eszköze. A helyesség (a 8 szabály betartása) garantálja a gondolkodás belső konzisztenciáját, míg az igazság biztosítja a valósággal való kapcsolatot. Interdiszciplináris szempontból ez a kettősség jelenik meg a modern programozásban (szintaktikai helyesség vs. futásidejű logikai hiba) és a jogi érvelésben is (eljárásjogi szabályosság vs. anyagi igazság).

A szillogizmus törvényei nem csupán elvont formulák, hanem az emberi értelem azon törekvését tükrözik, hogy a káoszból és a véletlenszerű állításokból szükségszerű és ellenőrizhető tudást építsen.

A klasszikus arisztotelészi és skolasztikus logika olyan a tudomány számára, mint a newtoni fizika: a hétköznapi méretekben és körülmények között tökéletesen működik, kiszámítható és „helyes”. Azonban a modern kutatások (matematikai logika, halmazelmélet és kognitív pszichológia) rávilágítottak arra, hogy bizonyos pontokon ki kell egészíteni, vagy szűkíteni kell az érvényességi körét.

Íme a modern tudomány kiegészítései és „korrekciói” a klasszikus rendszerhez:

1. Az „egzisztenciális import” problémája (A legnagyobb változás)

A klasszikus logika alapfeltevése az volt, hogy ha beszélünk valamiről, az létezik.

• Arisztotelész szerint a „Minden S az P” (A) ítéletből következik, hogy „Némely S az P” (I).
• George Boole és a modern halmazelmélet rámutatott, hogy ha az S halmaz üres (pl. „Minden sárkány tüzet okád”), akkor az egyetemes állítás lehet igaz (mert nincs ellenpélda), de a részleges állítás („Némely sárkány tüzet okád”) hamis, mert nincs sárkány, aki tüzet okádhatna.

Következmény: A modern logikában a logikai négyzet oldalai (szubalternáció, kontrér, szubkontrér viszonyok) csak akkor érvényesek, ha garantáljuk, hogy az alany létezik. Ha üres halmazról beszélünk, csak az átlós (kontradiktórius) viszony marad érvényes. Az egyetemes állítások ilyen esetben ún. vacuous truth módon igazak.

2. A szillogizmusok korlátai és a predikátumlogika

A szillogizmusok (S,P,M) csak három fogalom viszonyát tudják kezelni. A modern tudomány (főként Frege és Russell munkássága nyomán) bevezette a predikátumlogikát, amely ennél sokkal komplexebb összefüggéseket is képes leírni.

• A modern logika nem veti el a szillogizmust, de a predikátumlogika egy apró, speciális esetének tekinti. A tudomány ma már nem „nyolc szabályt” magol, hanem matematikai formulákkal és igazságtáblázatokkal ellenőrzi a helyességet, ami kizárja az emberi nyelvi kétértelműségeket.

3. A kognitív pszichológia és a „mentális modellek”

A mai pszichológiai kutatások (pl. Daniel Kahneman és a „Gyors és lassú gondolkodás”) szerint az emberi agy nemszillogizmusokban gondolkodik.

• Az emberi gondolkodás elsődlegesen nem explicit szillogisztikus formában működik (System 2), hanem heurisztikákat és mentális modelleket használ (System 1).
• A klasszikus logika azt tanítja, hogyan kellene gondolkodnunk, a modern tudomány pedig feltárja, miért hibázunk mégis (pl. a megerősítési torzítás miatt). A kettő kiegészíti egymást: a logika a „szabály”, a pszichológia a „használati utasítás” az emberi elméhez.

4. Fuzzy logika (Életlen logika)

A klasszikus logika fekete-fehér: egy állítás vagy igaz, vagy hamis (1 vagy 0).

• A valóságban sokszor fokozatok vannak (pl. „Mikor számít valaki kopasznak?”). A modern kutatások létrehozták a fuzzy logikát, ahol az igazságérték egy 0 és 1 közötti szám (pl. 0,7 – „többnyire igaz”). Ez nélkülözhetetlen a mesterséges intelligencia és az önvezető autók irányításában, ahol a klasszikus szillogizmusok túl merevek lennének.

5. Valószínűségi következtetés (Bayesianizmus)

A szillogizmus azt mondja: „Minden ember halandó”. A modern tudomány gyakran inkább azt mondja: „99,9% a valószínűsége, hogy ez az összefüggés fennáll”.

• A Bayes-i megközelítés az induktív és abduktív következtetés formalizálása és ezzel kiegészíti a klasszikust azzal, hogy az új adatok fényében folyamatosan frissíti a következtetéseink igazságértékét. A tudomány ma már nem csak „levezet” (dedukció), hanem valószínűségeket súlyoz.

Tehát a klasszikus szabályok (a 8 szabály, a logikai négyzet, a conversio) formailag továbbra is helyesek, amennyiben:

1. Olyan dolgokról beszélünk, amik léteznek.
2. A fogalmaink egyértelműek.
3. Zárt, deduktív rendszert használunk.

A modern tudomány nem lecserélte ezeket, hanem beágyazta egy sokkal tágabb keretrendszerbe. A klasszikus logika a „váz”, a modern kutatások pedig az „izomzat és az idegrendszer”, amelyek lehetővé teszik a bonyolultabb mozgást a modern világ bizonytalanságaiban.

III. A szillogizmus ontológiai és logikai alapstruktúrája

A kategorikus szillogizmus olyan deduktív következtetés, amelyben két előzményből (praemissae) szükségszerűen következik egy zárótétel (conclusio). A rendszer három fogalomra (termini) épül, amelyek a következtetés „alkatrészei”:

1. Főfogalom (Terminus Maior - P) a konklúzió állítmánya.
2. Alfőfogalom (Terminus Minor - S) a konklúzió alanya.
3. Középfogalom (Terminus Medius - M) ez a „híd”, amely mindkét előzményben szerepel, de a konklúzióban már nem jelenik meg. Feladata az S és P közötti logikai kapcsolat megteremtése.

1. Az ítéletek minősége és mennyisége

A szillogizmusok négyféle ítélettípusból épülnek fel, amelyeket a latin Affirmo (állítok) és Nego (tagadok) magánhangzóival jelölünk:

• A (Egyetemes állító): Minden S az P (SaP).
• E (Egyetemes tagadó): Egyetlen S sem P (SeP).
• I (Részleges állító): Némely S az P (SiP).
• O (Részleges tagadó): Némely S nem P (SoP).

2. A szillogizmus alakzatai (Figurák)

A szillogizmus alakzatát a középfogalom (M) elhelyezkedése határozza meg az előzményekben. Négy figura létezik. 

I. Alakzat (Sub-Prae)

A középfogalom az első mondatban (Főpremissza) alany, a másodikban (Alpremissza) állítmány.

• Séma: M−P / S−M → S−P.
• Mnemonic: Sub-prae (Alany-Állítmány).
• Szabály: Az alpremissza legyen állító (Sit minor affirmans), a főpremissza pedig egyetemes (maior vero generalis).

II. Alakzat (Bis-Prae)

A középfogalom mindkét előzményben állítmány.

• Séma: P−M / S−M → S−P.
• Mnemonic: Bis-prae (Kétszer állítmány).
• Szabály: Az egyik előzmény tagadó legyen (Una negans esto), a főpremissza egyetemes (maior vero generalis).

III. Alakzat (Bis-Sub)

A középfogalom mindkét előzményben alany.

• Séma: M−P / M−S → S−P.
• Mnemonic: Bis-sub (Kétszer alany).
• Szabály: Az alpremissza legyen állító (Sit minor affirmans), a konklúzió pedig részleges (conclusio particularis).

IV. Alakzat (Prae-Sub) – A „Galenusi” figura

A középfogalom az első mondatban állítmány, a másodikban alany.

• Séma: P−M / M−S → S−P.
• Mnemonic: Prae-sub (Állítmány-Alany).
• Szabályok (korrekcióval):
1. Ha a főpremissza állító, az alpremissza legyen egyetemes.
2. Ha az alpremissza állító, a konklúzió legyen részleges.
3. Ha valamelyik előzmény tagadó, a főpremissza legyen egyetemes.

3. A módusok és a matematikai kombinatorika elemzése

A 256 módus levezetése:

Minden szillogizmus három ítéletből áll. Mivel 4 ítélettípus van (A,E,I,O), egy alakzaton belül 43=64 kombináció lehetséges. Mivel 4 alakzatunk van, összesen 4×64=256 logikai forma létezik.

Azonban a logika törvényei (pl. a kettős tagadás tilalma, a fogalmak elosztottságának szabálya) ezt drasztikusan leredukálják. A hagyományos skolasztikus logika szerint 19 érvényes módus létezik, de ha figyelembe vesszük a „gyengített” módusokat (ahol egyetemes premisszákból részleges konklúziót vonunk le, pl. Barbari), akkor összesen 24 érvényes formát kapunk.

4. Petrus Hispanus emlékeztető verse és annak kritikája

Petrus Hispanus (a később XXI. János pápa) a Summulae logicales című művében foglalta össze a valid móduszokat egy zseniális mnemonikus versben.

Barbara, Celarent, Darii, Ferio prioris;

Cesare, Camestres, Festino, Baroco secundae;

Tertia Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison habet;

Quarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison.

A vers nem csupán névsor, hanem egy kódolt algoritmus a szillogizmusok visszavezetésére az I. alakzatra (amelyet Arisztotelész „tökéletesnek” nevezett).

1. Magánhangzók (A,E,I,O): meghatározzák az ítéletek típusát (pl. Barbara = három egyetemes állító ítélet).
2. Kezdőbetűk (B,C,D,F): megmutatják, melyik I. alakzatbeli módusra kell visszavezetni (pl. a Cesare a Celarent-re vezethető vissza).
3. Belső mássalhangzók (Műveleti kódok):
• s (conversio simplex): az ítélet tiszta megfordítása (alany és állítmány cseréje a minőség megőrzésével).
• p (conversio per accidens): korlátozott megfordítás (egyetemesből részleges lesz).
• m (mutatio): a premisszák felcserélése.
• c (per contradictionem / conversio syllogismi): indirekt bizonyítás (reductio ad absurdum).

A modern logika (pl. George Boole vagy Gottlob Frege után) rámutatott arra, hogy a skolasztikus vers bizonyos módusai (pl. Darapti, Felapton) csak akkor érvényesek, ha feltételezzük az egzisztenciális importot (vagyis azt, hogy az alany fogalma mögött valódi létező egyedek vannak). Ha az alanyhalmaz üres, ezen módusok egy része érvénytelenné válik a modern halmazelmélet (S∩M=∅) szempontjából.

5. Bizonyított kibővítések és interdiszciplináris kitekintés

A szillogisztika ma már nem csupán a filozófia része, hanem a számítástechnika és a kognitív tudományok alapköve.

A „Szubaltern” módusok (5 rejtett módus)

A 19 alapmóduson felül az alábbi 5 gyengített formát bizonyították be, amelyekkel teljessé válik a 24-es rendszer:

• I. alakzat: Barbari, Celaront
• II. alakzat: Cesaro, Camestrop
• IV. alakzat: Camenop

Venn-diagramok és Boole-algebra

A szillogizmusok ma már halmazműveletekként írhatók le. Például egy Barbara szillogizmus (M⊆P és S⊆M, tehát S⊆P) a halmazelméleti tranzitivitás tökéletes példája.

Pszichológiai aspektus: a szillogisztikus hibaforrások

A kognitív pszichológia felismerte a „hangulati hatást” (atmosphere effect). Az emberek hajlamosak érvényesnek elfogadni egy szillogizmust, ha a konklúzió „hangulata” (pl. negatív vagy részleges) megegyezik a premisszákéval, még akkor is, ha a logikai szerkezet hibás.

6. A logikai mátrix

Minden módus neve tehát egy „recept”. A magánhangzók (A, E, I, O) az ítéletek minőségét és mennyiségét, a mássalhangzók a visszavezetési szabályokat jelölik.

Tehát:

• A: Minden S az P (univerzális állító)
• E: Egyetlen S sem P (univerzális tagadó)
• I: Némely S az P (partikuláris állító)
• O: Némely S nem P (partikuláris tagadó)

I. Alakzat (Directus): Az axiómák világa

Itt a középfogalom (M) az első premisszában alany, a másodikban állítmány.

Barbara (AAA)

• Szerkezet: Minden M az P. Minden S az M. ∴ Minden S az P.
• Példa: Minden emlős oxigént lélegez. Minden kutya emlős. ∴ Minden kutya oxigént lélegez.
• Elemzés: Ez a dedukció csúcsa, a matematikai tranzitivitás nyelvi formája.

Celarent (EAE)

• Szerkezet: Egyetlen M sem P. Minden S az M. ∴ Egyetlen S sem P.
• Példa: Egyetlen hüllő sem tollas. Minden kígyó hüllő. ∴ Egyetlen kígyó sem tollas.
• Elemzés: Teljes halmazkizárás; ha M és P diszjunkt halmazok, akkor az M bármely részhalmaza is diszjunkt P-től.

Darii (AII)

• Szerkezet: Minden M az P. Némely S az M. ∴ Némely S az P.
• Példa: Minden művész kreatív. Némely mérnök művész. ∴ Némely mérnök kreatív.
• Elemzés: Egy egyetemes törvény kiterjesztése egy egyedi csoportra.

Ferio (EIO)

• Szerkezet: Egyetlen M sem P. Némely S az M. ∴ Némely S nem P.
• Példa: Egyetlen csaló sem megbízható. Némely politikus csaló. ∴ Némely politikus nem megbízható.
• Elemzés: Kritikai módus; egy tulajdonság hiányának bizonyítására szolgál.

II. Alakzat: A megkülönböztetés logikája

A középfogalom (M) mindkét premisszában állítmány. Ez az alakzat mindig tagadó konklúziót ad.

Cesare (EAE)

• Szerkezet: Egyetlen P sem M. Minden S az M. ∴ Egyetlen S sem P.
• Példa: Egyetlen egészséges dolog sem mérgező. Minden arzén mérgező. ∴ Egyetlen arzén sem egészséges.
• Visszavezetés: Az első premissza megfordításával (s) Celarent-et kapunk.

Camestres (AEE)

• Szerkezet: Minden P az M. Egyetlen S sem M. ∴ Egyetlen S sem P.
• Példa: Minden csillag fénylik. Egyetlen bolygó sem fénylik (saját fénnyel). ∴ Egyetlen bolygó sem csillag.
• Visszavezetés: Premisszacsere (m) és megfordítás (s) után Celarent.

Festino (EIO)

• Szerkezet: Egyetlen P sem M. Némely S az M. ∴ Némely S nem P.
• Példa: Egyetlen madár sem elevenszülő. Némely állat elevenszülő. ∴ Némely állat nem madár.

Baroco (AOO)

• Szerkezet: Minden P az M. Némely S nem M. ∴ Némely S nem P.
• Példa: Minden igazmondó becsületes. Némely tanú nem becsületes. ∴ Némely tanú nem igazmondó.
• Kritika: Ez az egyik legnehezebb módus, mert csak indirekt úton (c - per contradictionem) vezethető vissza az I. alakzatra.

III. Alakzat: A példa ereje

A középfogalom (M) mindkét premisszában alany. Ez az alakzat mindig partikuláris konklúziót ad.

Darapti (AAI)

• Példa: Minden bálna emlős. Minden bálna vízi lény. ∴ Némely vízi lény emlős.
• Interdiszciplináris korrekció: Csak akkor érvényes, ha léteznek bálnák. Modern logikában ez az egzisztenciális import problémája.

Felapton (EAO)

• Példa: Egyetlen négyzet sem kör. Minden négyzet négyszög. ∴ Némely négyszög nem kör.

Disamis (IAI)

• Példa: Némely újságíró bátor. Minden újságíró író. ∴ Némely író bátor.

Datisi (AII)

• Példa: Minden gyémánt kemény. Némely gyémánt értéktelen (ipari). ∴ Némely értéktelen dolog kemény.

Bocardo (OAO)

• Példa: Némely macska nem vadász. Minden macska ragadozó. ∴ Némely ragadozó nem vadász.
• Elemzés: A legritkább természetes érvelési forma, szintén indirekt bizonyítást igényel.

Ferison (EIO)

• Példa: Egyetlen lusta ember sem sikeres. Némely lusta ember tehetséges. ∴ Némely tehetséges ember nem sikeres.

IV. Alakzat (Galenusi): A fordított következtetés

Középfogalom az elsőben állítmány, a másodikban alany.

Bramantip (AAI)

• Példa: Minden gyümölcs növény. Minden növény élőlény. ∴ Némely élőlény gyümölcs.
• Kód: A „p” betű a conversio per accidens-re utal (univerzálisból partikuláris).

Camenes (AEE)

• Példa: Minden ember halandó. Egyetlen halandó sem isten. ∴ Egyetlen isten sem ember.

Dimaris (IAI)

• Példa: Némely fém folyékony (higany). Minden folyékony dolog elpárologhat. ∴ Némely elpárologható dolog fém.

Fesapo (EAO)

• Példa: Egyetlen hős sem gyáva. Minden gyáva ember fél. ∴ Némely félős ember nem hős.

Fresison (EIO)

• Példa: Egyetlen bűnöző sem erényes. Némely erényes ember szegény. ∴ Némely szegény ember nem bűnöző.

Kibővítés: Az 5 gyengített (szubaltern) módus

A teljes szisztéma megköveteli azon módusok felsorolását is, amelyek bár érvényesek, a konklúziójuk "gyengébb", mint lehetne (pl. "minden" helyett csak "némelyt" állítanak).

• Barbari (AAI) - Az I. alakzatban a Barbara gyengítése.
• Celaront (EAO) - Az I. alakzatban a Celarent gyengítése.
• Cesaro (EAO) - A II. alakzatban a Cesare gyengítése.
• Camestrop (AEO) - A II. alakzatban a Camestres gyengítése.
• Camenop (AEO) - A IV. alakzatban a Camenes gyengítése.

Petrus Hispanus versének zsenialitása abban rejlik, hogy a szillogisztikát egy algoritmus-szintre emelte. Azonban az interdiszciplináris fejlődés (főként a 19. századi Boole-algebra) rávilágított egy kritikus pontra:

1. Az egzisztenciális hiány: A modern logika szerint az „univerzális” állítások (A,E) nem feltételezik az alany létezését (∀x(Sx→Px)). Emiatt a Darapti, Felapton, Fesapo és a Bramantip módusok modern halmazelméleti szempontból csak akkor érvényesek, ha az alanyhalmaz nem üres.
2. Kognitív hatékonyság: Pszichológiai tesztek igazolják, hogy az emberi agy természetesen az I. alakzatot érti meg leggyorsabban. A III. és IV. alakzatok használata során a hibaszázalék 60% fölé ugrik, ami alátámasztja Arisztotelész elméletét a „tökéletes” (I. alakzat) és „tökéletlen” (többi) módusokról.

Ezzel a kifejtéssel a szillogizmusok rendszere teljessé vált, lefedve mind a 24 lehetséges érvényes logikai utat a 256 kombinációból.

IV. A hipotetikus szillogizmus ontológiája és szerkezete

1. A hipotetikus szillogizmus olyan deduktív következtetési forma, amelyben az állítások közötti viszony nem közvetlen (mint a kategorikus szillogizmusnál), hanem kondicionális (feltételes).

Egy alapvető hipotetikus szillogizmus két premisszából és egy konklúzióból áll. A főtétel (Maior) egy feltételes ítélet, amelynek logikai szerkezete:

P→Q

Ahol:

• P (Antecedens / Előzmény) a feltétel, amelynek teljesülése elindítja a logikai folyamatot.
• Q (Konzekvens / Következmény) az az esemény vagy állapot, amely a feltétel fennállása esetén szükségképpen bekövetkezik.
• → (Kondicionális operátor) a "ha... akkor" logikai kapcsolat, amely a modern logikában az implikáció művelete.

A másodrendű premissza (minor) a főtétel egyik tagját (vagy annak tagadását) állítja tényként, és ebből vonható le a konklúzió.

2. A következtetés törvényei és a modusok rendszere

I. Modus Ponens (Állító mód)

Szabály: Ha az előzmény fennáll, a következmény is szükségképpen fennáll.

• Logikai képlet: [(P→Q)∧P]⟹Q
• Ha a vádlott elkövette a bűncselekményt (P), akkor büntetést kell kiszabni (Q). A vádlott elkövette a bűncselekményt (P). Tehát ki kell szabni a büntetést (Q).

II. Modus Tollens (Tagadó mód)

Szabály: Ha a következmény nem áll fenn, akkor az előzmény sem állhatott fenn.

• Logikai képlet: [(P→Q)∧¬Q]⟹¬P
• Ha fertőzés van a szervezetben (P), akkor láz jelentkezik (Q). Nincs láz (¬Q). Tehát nincs fertőzés (¬P).
• A kognitív pszichológia (pl. a Wason-féle választási feladat) kimutatta, hogy az emberi agy sokkal nehezebben ismeri fel a Modus Tollens érvényességét, mint a Modus Ponens-ét, pedig logikailag egyenértékűek.

3. Logikai csúsztatások és tévutak (Falláciák)

A. Az előzmény tagadásának hibája (Denying the Antecedent)

Hiba: Ha nincs meg az előzmény, abból nem következik, hogy a következmény sincs meg.

• Séma: [(P→Q)∧¬P]⇏¬Q
• A következménynek (Q) több oka is lehet. Ha a meghatározott ok (P) nem áll fenn, más ok még kiválthatja Q-t.
• Példa: "Ha esik az eső, vizes az aszfalt." Nem esik az eső. Ebből hiba lenne azt következtetni, hogy az aszfalt nem vizes (mert pl. locsolókocsi is fellocsolhatta).

B. A következmény állításának hibája (Affirming the Consequent)

Hiba: Ha fennáll a következmény, abból nem következik, hogy az adott előzmény okozta.

• Séma: [(P→Q)∧Q]⇏P
• Magyarázat: Ez a tudományos kutatásban a legveszélyesebb csúsztatás. Egy jelenség megléte nem igazolja egyértelműen a feltételezett hipotézist, ha létezhet alternatív magyarázat.

4. Speciális eset: Conditio sine qua non (Bikondicionális)

Létezik olyan eset, amelyben mind a négy következtetési irány helyessé válik. Ez a logikai ekvivalencia.

Amikor a feltétel nem csupán elégséges, hanem szükséges is (szükséges és elégséges feltétel), akkor a logikai jelölés:

P↔Q

Jelentése: "P akkor és csak akkor, ha Q."

Ebben az esetben a falláciák megszűnnek, és érvényes lesz:

1. Ha nincs P, nincs Q.
2. Ha van Q, van P.

A matematikában a definíciók mindig bikondicionálisak. A jogban a "conditio sine qua non" az okozati összefüggés alapköve: egy esemény akkor oka a kárnak, ha az esemény nélkül a kár sem következett volna be.

5. A tiszta (összetett) feltételes szillogizmus

Amikor nemcsak az egyik, hanem minden premissza feltételes, tiszta hipotetikus szillogizmusról beszélünk. Ez a tudományos elméletalkotás és a láncreakciók modellezésének alapja.

A tiszta feltételes szillogizmus a logikai tranzitivitáson alapul:

• Maior: P→Q (Ha tanulok, tudást szerzek.)
• Minor: Q→R (Ha tudást szerzek, sikeres leszek.)
• Conclusio: P→R (Ha tanulok, sikeres leszek.)

Formális jelölése: ((P→Q)∧(Q→R))⟹(P→R)

Bár a tiszta szillogizmus matematikailag tökéletes, a való életben és a komplex rendszerekben (pl. gazdaságtan, ökológia) felléphet a valószínűségi erózió. Ha a P→Q csak 90%-ban igaz, és a Q→R is csak 90%-ban, akkor a lánc végén a P→R már csak 81%-os bizonyossággal bír. Ezért az interdiszciplináris modellekben a hipotetikus szillogizmusokat ma már gyakran Bayes-i valószínűségi hálókkal kombinálják.

A hipotetikus szillogizmus nem csupán egy elvont logikai forma, hanem a kauzális (ok-okozati) gondolkodásunk váza.

V. A szétválasztó szillogizmus meghatározása és szerkezete

A szétválasztó szillogizmus olyan deduktív következtetés, amelynek főtétele (Maior) egy diszjunktív (szétválasztó) ítélet, alpremisszája (Minor) pedig a választási lehetőségek egyikének állítása vagy tagadása.

A modern kijelentéslogika szempontjából kétféle „vagy” kapcsolatot különböztetünk meg, ami alapvetően befolyásolja a szillogizmus érvényességét:

1. Inkluzív diszjunkció (megengedő vagy): Legalább az egyik igaz, de lehet mindkettő is. (Jele: ∨)
2. Exkluzív diszjunkció (kizáró vagy): Pontosan az egyik igaz, a kettő együtt nem lehetséges. (Jele: ∨  vagy ⊕)

A MECE (Mutually Exclusive, Collectively Exhaustive) elv

I. Kölcsönös kizárás (Mutually Exclusive)

A diszjunkció tagjai nem lehetnek egyszerre igazak. Ha a tagok között nincs valódi logikai ellentmondás, a választás nem kényszerítő erejű.

• Példa a hibára: „Péter vagy diák, vagy szemüveges.” (Mivel lehet mindkettő, ez nem alkalmas kizáró szillogizmusra).

II. Teljes felsorolás (Collectively Exhaustive)

Ha a lehetőségek listája hiányos, a következtetés hamis lehet, mert létezhet egy „harmadik út”.

• Logikai háttér: Ez a harmadik kizárásának elve (tertium non datur) kiterjesztése több tagra.

A következtetés módozatai (Modusok)

A szétválasztó szillogizmusnak két alapvető iránya van, attól függően, hogy az alpremissza állít vagy tagad.

A. Modus Ponendo Tollens (Állítva tagadó mód)

Szabály: Ha az egyik tagot állítjuk, a többit tagadnunk kell.

• Logikai képlet: [(P∨ Q)∧P]⟹¬Q
• Egy kapcsoló vagy „be” vagy „ki” állapotban van. A kapcsoló „be” van kapcsolva. Tehát nincs „ki” kapcsolva.
• Ez a mód csak kizáró vagy esetén érvényes. Ha a „vagy” megengedő, az egyik állításából nem következik a másik tagadása.

B. Modus Tollendo Ponens (Tagadva állító mód)

Szabály: Ha az egyik (vagy több) tagot kizárjuk, a maradéknak igaznak kell lennie.

• Logikai képlet: [(P∨Q)∧¬P]⟹Q
• A beteg tüneteit vagy fertőzés, vagy allergia okozza. A vizsgálatok kizárták a fertőzést. Tehát a betegnek allergiája van.
• Ez a mód akkor is érvényes, ha a „vagy” csak megengedő (inkluzív).

Egyszerű és összetett szétválasztó szillogizmusok

A tagok száma alapján a struktúra skálázható, amit a programozás és az algoritmuselmélet „esetvizsgálatként” (case study) használ.

Egyszerű szillogizmus (Dilemma)

Két tagból áll (P∨ Q). Ez a legegyértelműbb forma, gyakran bináris döntések alapja (igen/nem, 0/1).

Összetett szillogizmus (Polilemma)

Három vagy több tagból áll (P∨Q∨R∨S).

• Szabály: Az egyik tag állítása az összes többit tagadja (Ponendo Tollens).
• Szabály: Az összes tag tagadása, kivéve egyet, az utolsó fennmaradó tagot állítja (Tollendo Ponens).
• A matematikában ez a kizárásos alapon történő bizonyítás módszere. Ha n lehetőség közül n−1lehetőségről bebizonyítjuk, hogy hamis, akkor az utolsó szükségképpen igaz.

1. Kognitív csapda: A hamis dilemma

A pszichológia és a retorika felismerte, hogy a szétválasztó szillogizmus a manipuláció eszköze is lehet. Ha valaki mesterségesen leszűkíti a lehetőségeket két opcióra („Vagy velünk vagy, vagy ellenünk”), miközben léteznek köztes megoldások, akkor hamis dilemma érvelési hibáról beszélünk. Itt sérül a „teljes felsorolás” szabálya.

2. Halmazelméleti modell

A szétválasztó szillogizmus felfogható egy alaphalmaz (U) partíciójaként. A kizáró szétválasztás során az alaphalmazt olyan részhalmazokra bontjuk, amelyek metszete üres (A∩B=∅), de uniójuk kiadja az egészet (A∪B=U).

3. Számítástechnikai alkalmazás (Switch-Case)

A programozási nyelvekben az összetett szétválasztó szillogizmus jelenik meg a switch vagy select case utasításokban. A gép végigvizsgálja a feltételeket, és ha megtalálja az igazat, a többit figyelmen kívül hagyja (kizárás), vagy ha mindet elveti, az „alapértelmezett” (default) ágra ugrik.

VI. A rövidített és az összetett szillogizmusok

1. Az Enthymema (Ἐνθύμημα) – A "lélekben lévő" következtetés

A görög ἐν (en – benne) és θυμός (thymos – lélek, elme, gondolat) szavakból ered. Jelentése: „ami az elmében marad”.

Az enthüméma olyan szillogizmus, amelyben az egyik premissza (ritkább esetben a konklúzió) nincs kimondva, mert azt a beszélő magától értetődőnek tekinti, így az hallgatólagosan (implicite) van jelen.

• Logikai szempontból a rejtett előfeltevés (preszuppozíció) gyakran ellenőrizetlen marad. Azonban a pragmatika(nyelvhasználattan) szerint az enthüméma a természetes emberi kommunikáció alapja: ha minden premisszát mindig kimondanánk, a beszédünk nehézkes és redundáns lenne.
• A kognitív pszichológia szerint az emberi agy hajlamos a logikai réseket automatikusan kitölteni (vö. gondolati rövidzárlat), így a hamis vagy manipulatív premisszák észrevétlenül válhatnak a meggyőzés eszközeivé.

Példa: „Péter ember, tehát halandó. Hiányzó Maior: „Minden ember halandó.” (Ezt az elme automatikusan hozzáadja).

2. Az Epicheirema (Ἐπιχείρημα) – A megerősített bizonyítás

Az ἐπί (epi – rá, hozzá) és χείρ (cheir – kéz) szavakból, eredetileg a „kézbe vétel” vagy „vállalkozás” értelmében. A logikában a tétel „megragadását” jelenti bizonyítékokkal.

Az epikheiréma egy olyan bővített szillogizmus, amelyben a premisszák (vagy legalább az egyik) nem csupán állítások, hanem rögtön tartalmazzák a saját bizonyításukat vagy megokolásukat is. Ez gyakorlatilag több szillogizmus sűrítése.

Szerkezeti példa:

1. Maior: A hazugság bűn, mert rombolja a közbizalmat.
2. Minor: Ez az állítás hazugság, mert ellentmond a tényeknek.
3. Conclusio: Tehát ez az állítás bűn.

Az epikheiréma a tudományos értekezések alapegysége. Nem elégszik meg az axiómák puszta kijelentésével, hanem minden lépésnél igazolást követel, így csökkentve a tévedés kockázatát.

3. A Polysyllogismus (Πολυσυλλογισμός) – A logikai láncolat

A πολύς (polys – sok) és a συλλογισμός (syllogismos) szavakból.

A poliszillogizmus több szillogizmus egymásba kapcsolódó sora, ahol az előző következtetés zárótétele (konklúziója) a következő szillogizmus felső tételeként (premisszájaként) szolgál.

• Prosyllogismus: A lánc megelőző tagja.
• Episyllogismus: A lánc következő tagja, amely az előző eredményére épít.

A számítástechnikában a poliszillogizmus az algoritmusok „láncolt logikájának” felel meg, ahol az egyik függvény kimenete a következő bemenete.

Példák:

Leibniz „Elegendő Alap” polyszillogizmusa

Gottfried Wilhelm Leibniz, a modern logika és a bináris rendszer atyja, a Monadológia című művében a világ érthetőségét vezeti le egy szigorú láncon keresztül.

A láncolat:

1. Minden létezőnek van oka (Elegendő alap elve).
2. Ha minden létezőnek van oka, akkor a világ egységének is kell legyen oka.
3. Ha a világ egységének van oka, ez az ok nem lehet a világon belül (mivel a világ a részek összessége).
4. Konklúzió: Tehát létezik egy világon kívüli végső ok (Isten).

Ez a polyszillogizmus a kozmológiai istenérv logikai váza, a fizikai kauzalitás (ok-okozatiság) kiterjesztése a metafizikára. A hiba lehetősége itt a 3. pontnál van (kompozíciós hiba): abból, hogy a részeknek van oka, nem feltétlenül következik ugyanúgy az egésznek az oka.

A „Klimax” (Κλῖμαξ) – A retorikai polyszillogizmus

A görög κλῖμαξ (klimax – lépcső, hágcsó) szóból ered. A retorikában ez a polyszillogizmus azon formája, ahol a láncszemek érzelmi vagy fontossági fokozást is tartalmaznak.

A sztoikus mester, Epiktétosz gyakran élt a polyszillogizmus erejével, hogy tanítványait ráébressze a belső szabadságra:

1. „Aki nem vágyik olyasmire, ami nincs a hatalmában, az nem ismer akadályt.”
2. „Aki nem ismer akadályt, az nem kényszeríthető.”
3. „Aki nem kényszeríthető, az szabad (ἐλεύθερος - eleutheros).”
4. Zárótétel: Tehát a vágyak megzabolázása maga a szabadság.

4. A Sorites (Σωρείτης) – A halmaz-következtetés

A görög σωρός (soros – kupac, halom) szóból ered. Jelentése: „halmozott érvelés”.

A szoritész a poliszillogizmus rövidített formája, ahol a közbülső konklúziókat elhagyjuk, és csak a lánc elejét és végét kapcsoljuk össze.

A Seneca-féle lánc (Goclenius-féle szoritész elemzése):

A→B,B→C,C→D,D→E⟹A→E

1. Aki okos (A), az mértékletes (B).
2. Aki mértékletes (B), az állhatatos (C).
3. Aki állhatatos (C), az nyugodt (D).
4. Aki nyugodt (D), az nem szomorkodik (E).
5. Aki nem szomorkodik (E), az boldog (F).
6. Konklúzió: Tehát aki okos (A), az boldog (F).

Kritikai korrekció: A szoritész ereje a láncszemek szorosságában rejlik. Ha a láncban akár egyetlen „csúsztatás” is van (pl. a „nyugodt” és a „nem szomorkodik” nem teljes szinonimák), a végkövetkeztetés hamis lesz. Ezt hívják a „csúszós lejtő” (slippery slope) érvelési hibájának, ha a láncszemek között csak laza valószínűségi kapcsolat van szükségszerűség helyett.

Szent Pál „Reménység-lánca” (A teológiai polyszillogizmus)

Bár a Bibliát ritkán olvassák logikai tankönyvként, Pál apostol a Rómaiakhoz írt levelében (Róm 5,3-5) egy tökéletes szoritészt alkalmaz, amely a keresztény egzisztencializmus alapköve lett.

A struktúra:

• A szenvedés (θλῖψις - thlipsis) türelmet (ὑπομονή - hypomoné) szül.
• A türelem kipróbáltatást (δοκιμή - dokimé) szül.
• A kipróbáltatás reménységet (ἐλπίς - elpis) szül.
• Zárótétel: A szenvedés tehát reménységet szül.

Ez a láncolat pszichológiai szempontból a reziliencia (lelki ellenállóképesség) leírása. Logikailag egy polyszillogizmus, mert minden lépésnél odaérthetjük a teljes formát: „Aki szenved, az gyakorolja a türelmet; aki gyakorolja a türelmet, az állja a próbát...”. Teológiailag a kegyelem működését modellezi egy deduktív láncban.

5. A Dilemma (Δίληmma) – A kétélű fegyver

A δίς (dis – kétszer) és λῆμμα (lemma – feltétel, feltevés) szavakból.

A dilemma egy olyan összetett szillogizmus, amely ötvözi a hipotetikus (feltételes) és a diszjunktív (szétválasztó) ítéleteket. A „kétélűség” lényege, hogy bármelyik utat választja is az ellenfél, ugyanahhoz a (számára kellemetlen) következtetéshez jut.

A dilemma szabályai és típusai:

1. Konstruktív dilemma: Ha az elágazások bármelyike igaz, a következmény azonos.
2. Destruktív dilemma: Ha a következményeket tagadjuk, az alapfeltételek valamelyikét is tagadnunk kell.

A "Dilemma szarvai" (Cornuta interrogatio): a klasszikus retorikában a dilemma „szarvairól” beszélünk, amelyek közé az ellenfelet szorítjuk.

• A dilemma gyakran érvelési hiba forrása (hamis dilemma), ha a szétválasztó ítélet nem meríti ki az összes lehetőséget (vö. szétválasztó szillogizmus szabályai).

Példa: „Ha a feleséged szép, féltékeny leszel; ha csúnya, nem fogod szeretni. Tehát mindenképpen boldogtalan lesz a házasságod.”

• Logikai válasz (a szarvak között való áthaladás): Létezik olyan feleség, aki se nem kirívóan szép (nem szül féltékenységet), se nem csúnya (szerethető). Ekkor a dilemma Maior mondata (a szétválasztás) hibás.

A meghatározás

A definíció lényege és ontológiai alapja

A meghatározás (definitio) a fogalom tartalmának szabatos logikai megjelölése. A definíció a dolog lényegét (essentia) fejezi ki, de ezt ki kell egészítenünk: a definíció egy identitás-reláció a definiendum (meghatározandó fogalom) és a definiens (meghatározó jegyek összessége) között.

A klasszikus logika szerint a tökéletes definíció képlete:

Definitio = Genus proximum + Differentia specifica

Azaz: keressük meg a legközelebbi nemet (amelybe a fogalom tartozik), és adjuk hozzá azt a megkülönböztető jegyet, amely elválasztja a fogalmat a nem többi tagjától. Példa: „Az ember (S) gondolkodó (Differentia) állat (Genus).”

1. A definíciók taxonómiája (rendszertan)

A definíciók osztályozása segít eldönteni, hogy a szavak jelentéséről vagy a dolgok természetéről beszélünk-e.

I. Definitio Nominalis (Névleges meghatározás)

Ez a meghatározás a név jelentésére vonatkozik. Nem a dolog belső szerkezetét tárja fel, hanem azt, hogy egy adott közösség mit ért a szó alatt.

• A nyelvészetben ez a jelölő (signifiant) és a jelölt (signifié) közötti konvencionális kapcsolat rögzítése. Az etimológiai definíció is ide tartozik (pl. „filozófia = a bölcsesség szeretete”).

Definitio Realis (Valóságos meghatározás)

Ez a definíció magát a dolgot (res) és annak belső tulajdonságait célozza meg. Ennek típusai:

a) Definitio Essentialis (lényegi) lehet:

• metafizikai: a dolog belső, láthatatlan lényegét (szubsztanciáját) határozza meg (pl. „Az ember értelmes lélekkel bíró test”).
• fizikai: a dolog alkotórészeit sorolja fel (pl. „A víz oxigén és hidrogén vegyülete”).

b) Definitio Descriptiva (Leíró): Akkor használjuk, ha a lényeget nem tudjuk közvetlenül megragadni, ezért a külső jegyekhez folyamodunk.

aa) Definitio propria (sajátlagos): olyan tulajdonságokat sorol fel, amelyek csak az adott dologra jellemzőek, de nem alkotják a lényegét (pl. „Az ember az az élőlény, amely képes nevetni”).

bb) Definitio accidentalis (járulékos): Külső, esetleges jegyek halmaza, amely együttesen már egyedivé teszi a dolgot (pl. „Arisztotelész a sztagira-i születésű filozófus, Platón tanítványa”).

cc) Definitio causalis (okhatározó): A dolgot az előidéző oka által határozza meg (pl. „A sötétség a fény hiánya a testek árnyékolása miatt”).

dd) Definitio genetica (származtató): A dolog keletkezési módját írja le.

Példa: „A kör egy pont körül, állandó távolságban megrajzolt görbe vonal.”

3. Kant és a definíció kritikája:

a) Analitikus definíció: egy már meglévő fogalmat bontunk részekre. Kant szerint a legtöbb empírikus fogalmunkat (pl. „arany”, „víz”) nem is lehet szigorúan definiálni, csak exponálni (kifejteni), mert bármikor felfedezhetünk bennük új jegyeket a tapasztalat által.

b) Szintetikus definíció: Olyan fogalmat hoz létre, amely korábban nem létezett (pl. a matematika fogalmai). Itt a definíció alkotja a tárgyat.

c) Kanti szabály: Csak a matematikai fogalmak és az önkényesen alkotott fogalmak definiálhatók tökéletesen a priori. Minden más csak leírás.

2. A definíció kánoni szabályai (A helyes meghatározás törvényei)

Ahhoz, hogy egy definíció logikailag érvényes legyen, az alábbi szigorú kritériumoknak kell megfelelnie:

1. Definitio sit clara (legyen világos)

Kerülni kell a homályos, metaforikus vagy túlzottan technikai (ismeretlen) kifejezéseket.

• Tautológia tilalma (idem per idem), vagyis nem határozhatjuk meg ugyanazt ugyanazzal (pl. „a fény fényességet okozó jelenség”).
• A modern informatikában létezik a rekurzió, de a logikai definícióban ez körbenforgó érveléshez (circulus vitiosus) vezet.

2. Definitio sit reciproca (legyen megfordítható)

A definíciónak és a meghatározott fogalomnak pontosan ugyanazt a kört (terjedelmet) kell lefednie.

• Hiba: Ha a definíció túl szűk (pl. „Az ember fehér bőrű lény”) vagy túl tág (pl. „Az ember kétlábú állat” – ez a madarakra is igaz).
• Halmazelméleti szemlélet: A=B.

3. Definitio sit brevis (legyen tömör)

Csak a lényeges jegyeket tartalmazza. Ha túl sokat sorolunk fel, leírássá válik, ha túl keveset, hiányos marad.

4. Definitio ne sit negativa (ne legyen tagadó) – Kiegészített szabály

A meghatározásnak azt kell mondania, hogy a dolog mi, és nem azt, hogy mi nem. Kivétel ez alól, ha maga a fogalom lényege a hiány (pl. „árva”, „sötétség”, „semmi”).

A felosztás

A felosztás ontológiája és episztemológiai célja

A felosztás nem csupán egy technikai művelet, hanem a világosság megteremtésének alapvető eszköze. Logikai értelemben a felosztás egy fogalom terjedelmének részekre bontása, míg ontológiai értelemben egy egész dolog összetevőinek feltárása.

A felosztás célja az entrópia csökkentése az információrendszerekben. Azzal, hogy az egészet (totum) részeire (partes) bontjuk, lehetővé tesszük a komplexitás kezelését. A modern tudományban ez a „oszd meg és uralkodj” (divide et impera) módszertana, amely nélkül sem a biológiai osztályozás, sem a programozási algoritmusok nem léteznének.

1. A felosztás strukturális elemei

I. Totum (az egész)

Két fő típusa van:

1. Totum logicum (logikai egész): ez egy általános fogalom (nem/genus), amely alárendelt fajokra (species) oszlik. Itt az „egész” állítható minden részéről (pl. „Minden kutya állat”). Az informatika ezt öröklődésként (inheritance) ismeri.
2. Totum Reale (valóságos egész): egy konkrét egyed vagy fizikai objektum. Részei nem hordozzák az egész nevét (pl. az autó kereke nem „autó”). A rendszerszemléletben ez a kompozíció (has-a kapcsolat).

II. Partes (a részek)

A részek minősége határozza meg a felosztás mélységét:

• Partes ratione distinctae (észbelileg megkülönböztetett): csak a gondolkodásban elválasztható tulajdonságok (pl. egy tárgy színe és formája).
• Partes realiter distinctae (valóságosan elkülönült):
• Lényeges részek: amelyek nélkül a dolog megszűnik önmaga lenni (pl. körnél a középpont és a sugár).
• Partes integrales (kiegészítő részek): Amelyek a teljességhez kellenek, de a lényeget nem érintik (pl. az ember végtagjai).
• Homogén részek: amelyek szerkezete azonos az egésszel (pl. egy pohár víz minden cseppje víz).
• Heterogén részek: amelyek szerkezete eltér az egésztől és egymástól is (pl. egy sejt organellumai).

III. Fundamentum divisionis (A felosztás alapja)

Ez a legkritikusabb pont. Ez az a szempont vagy attribútum, amely alapján a vágást elvégezzük.

• Hibaforrás: Ha a felosztás közben megváltoztatjuk az alapot (pl. az embereket „nemek” és „foglalkozások” szerint egyszerre osztjuk fel), logikai zűrzavart okozunk.

2. A felosztás törvényei (Leges divisionis)

A tudományos igényesség megköveteli az alábbi szabályok szigorú betartását:

1. Divisio sit completa et reciproca (Teljesség és megfordíthatóság)

A felosztott részek összege pontosan ki kell adja az egészet. Se több, se kevesebb nem maradhat.

• Halmazelméleti párhuzam: A részek uniója megegyezik az alaphalmazzal (A∪B∪C=U).
• MECE-elv: A modern menedzsmentben ez a Mutually Exclusive, Collectively Exhaustive elv.

2. Divisio sit ordinata (Rendezettség)

A felosztásnak fokozatosnak kell lennie. Nem szabad átugrani a közbülső fokozatokat (pl. az élővilágot nem oszthatjuk fel rögtön „emlősökre” és „egysejtűekre”, előbb a birodalmakat és törzseket kell tisztázni). Ez a taxonómiai hierarchiaalapja.

3. Partes inter se se excludant (A részek kizárják egymást)

Egyik rész sem tartalmazhatja a másikat, és nem lehet átfedés közöttük. Ha egy elem két csoportba is beletartozik, a felosztás alapja hibás vagy nem egyértelmű.

• Logikai hiba: Átfedő kategóriák (pl. „Európaiak” és „Keresztények” felosztása, hiszen léteznek európai keresztények).

4. Az optimális felosztás elve (A „túlzott” felosztás tilalma)

• Az emberi munkamemória véges (7±2 egység). A túl aprólékos felosztás (atomizálás) elveszíti az információs értékét, mert a szemlélő már nem látja az összefüggést a részek és az egész között. Ezt nevezzük analízis-paralízisnek.

3. Rokon műveletek és szintézis

A felosztás nem önmagában álló aktus, hanem egy folyamat része:

1. Enumeratio (Felsorolás): a részek egyszerű, rendszerezetlen listázása. Ez a felosztás „nyersanyaga”.
2. Classificatio (Osztályozás): tartós, hierarchikus rendszer alkotása (pl. a Mengyelejev-féle periódusos rendszer). Míg a felosztás „felülről lefelé” építkezik, az osztályozás gyakran „alulról felfelé” (induktívan) rendszerezi az egyedeket.
3. Dispositio (Elrendezés): a részek funkcionális vagy esztétikai sorrendbe állítása (pl. egy beszéd vagy könyv fejezeteinek sorrendje). Itt nemcsak a logikai különbség, hanem a dinamikus kapcsolat is számít.

A felosztás a rendszerező ész diadala a káosz felett. Egy jól elvégzett divisio feltárja a dolog belső architektúráját, legyen szó egy szoftvermodul felépítéséről, egy jogi kódex tagolásáról vagy az anyag elemi részeinek kutatásáról.

A legfontosabb javítás és kiegészítés: A felosztás csak akkor válik tudományossá, ha a Fundamentum objektív és állandó marad a művelet során. A modern tudományban a felosztást gyakran dimenzionális elemzéssel egészítjük ki, elismerve, hogy egy dolog több szempontból (több különböző fundamentum alapján) is felosztható, de ezeket a felosztásokat nem szabad összekeverni.

Aki logikusan végzi a felsztást, az nemcsak részeket lát, hanem megérti az egész integritását a részek viszonyrendszerén keresztül.

A bizonyítás (probatio)

1. A bizonyítás ontológiája és meghatározása

A bizonyítás a gondolkodás legmagasabb rendű művelete, amely a meghatározás (definíció) és a felosztás (divízió) által megtisztított fogalmakat ítéletekké fűzi össze, majd ezen ítéletek igazságtartalmát megdönthetetlen alapokra helyezi.

Definíció: A bizonyítás olyan logikai eljárás, amelynek során egy bizonytalan vagy kétségbe vont ítélet (a tézis) igazságát már korábban elismert, vitathatatlan igazságokból (az argumentumokból) vezetjük le, meghatározott szabályok (a nervus probandi) szerint.

A bizonyítás nem csupán szubjektív meggyőződésre való törekvés, hanem egy olyan formális verifikációs folyamat, amely az ismeretet igazolt igaz meggyőződéssé alakítja át.

2. A bizonyítás kettős arculata: ismeretelmélet vs. logika

A bizonyítás problémaköre két síkon mozog, amelyek elválaszthatatlanok, mégis funkcionálisan különállók.

A) Ismeretelméleti (gnoszeológiai) dimenzió

Itt a kérdés a tartalmi igazság és a valósággal való egyezés (adaequatio rei et intellectus).

• Ha egy ítélet állítása megfelel az objektív tényeknek, akkor az ismeretelméleti szempontból igaz.
• A bizonyítás ezen a szinten a szubjektum és az objektum közötti hidat építi fel: a meggyőződés itt nem hit, hanem a valóság kényszerítő erejének felismerése.

B) Logikai dimenzió

Itt a kérdés a formális érvényesség. Nem az érdekli, hogy mi van a „külvilágban”, hanem az, hogy a levezetés szabályos-e.

• A bizonyítás ezen a síkon egy deduktív láncolat: ha a premisszák igazak és a következtetés formája helyes, a konklúzió szükségszerűen igaz lesz.
• Modern kiegészítés: A modern logika (pl. Tarski) szerint a bizonyítás egy szintaktikai művelet, amely egy adott axiómarendszeren belül mozog.

3. A bizonyítás és a következtetés viszonya

A bizonyítás olyan következtetés, amely tudást szül.

Szempont	Következtetés (Inferencia)	Bizonyítás (Probatio)
Irányultság	Az ismertből halad az új ismeret felé.	Egy már rögzített állítás igazságát alapozza meg.
Cél	Új információ kinyerése.	Az igazság igazolása és a meggyőződés létrehozása.
Tudatosság	Lehet automatikus vagy ösztönös is.	Mindig reflektált, módszeres és szándékos.

A bizonyítás tehát a következtetés logikai formáját használja eszközként, de azt egy magasabb cél – a tudományos bizonyosság – szolgálatába állítja.

4. A bizonyítás strukturális elemei

Minden teljes bizonyítás három nélkülözhetetlen részből áll:

1. Thema probandum (A tézis): Az az ítélet, amelynek igazságát bizonyítani akarjuk. (Kérdése: Mit bizonyítunk?)
2. Argumenta (A bizonyítékok): Azok a már korábban igazolt tételek, elvek vagy tények, amelyekre a bizonyítást alapozzuk. (Kérdése: Miből bizonyítunk?)
3. Nervus probandi (A bizonyítás „idege”): Az a logikai eljárás (következtetési forma), amely összeköti az argumentumokat a tézissel. (Kérdése: Hogyan bizonyítunk?)

5. Korrekciók és kiegészítések

I. A Gödel-féle nemteljességi tétel hatása

Tévedés és ssúsztatás korrekciója: a klasszikus logika feltételezte, hogy minden igaz ítélet bizonyítható. Kurt Gödel 1931-ben bebizonyította, hogy minden elegendően összetett ellentmondásmentes rendszerben (mint az aritmetika) vannak olyan igaz állítások, amelyek a rendszeren belül nem bizonyíthatók. A bizonyítás és az igazság nem esik egybe teljes mértékben. A bizonyítás határait maga a logika jelöli ki.

II. A jogi bizonyítás (Jurisprudencia)

A jogban a bizonyítás nem pusztán matematikai dedukció. Itt jelenik meg a valószínűség és a bizonyítási teher fogalma. A jogi bizonyítás célja nem az abszolút (matematikai) igazság, hanem a „minden észszerű kétséget kizáró” bizonyosság. Ez a gnoszeológiai és a társadalmi igazság határmezsgyéje.

III. Kognitív szempont: a meggyőződés vs. igazság

A kognitív pszichológia kimutatta, hogy az emberi elme gyakran elfogad logikailag hibás levezetéseket, ha azok megerősítik az előítéleteit (confirmation bias). A bizonyítás feladata tehát nemcsak a „tudás szülése”, hanem az elme tisztítása is a szubjektív tévedésektől a formális fegyelem által.

6. A bizonyítás törvényei és szabályai

Ahhoz, hogy a bizonyítás valóban „tudást szüljön”, meg kell felelnie az alábbi szabályoknak:

1. A tézis állandósága. A bizonyítás során a tézis nem változhat meg (ignoratio elenchi elkerülése).
2. Az bizonyítékok igazsága. Hamis premisszából nem lehet igazságot bizonyítani (bár a következtetés formája lehet helyes).
3. Az bizonyítékok elégséges volta. A bizonyítékoknak elegendőnek kell lenniük a tézis kényszerítő erejű alátámasztásához.
4. A körbenforgás tilalma (Circulus vitiosus). Nem használhatjuk bizonyítékként azt, amit éppen bizonyítani akarunk (petitio principii).

7. A bizonyítás mint tudatos logikai operáció

A bizonyítás nem csupán egy gondolati folyamat, hanem a legmagasabb rendű kognitív tevékenység, amely az ismeretet bizonyossággá emeli.

Anyag és forma szintézise

1. Anyaga (Materia): a bizonyítás alapanyagát a következtetések (inferenciák) adják. Interdiszciplináris szempontból ez a kijelentéslogika és a predikátumlogika szabályrendszerét jelenti.
2. Formája (Forma/Essentia): a bizonyítás lényege a tudatos célirányosság. Egy szillogizmus önmagában csupán egy formális váz; csak akkor válik bizonyítássá, ha a szubjektum (a gondolkodó) kifejezetten azzal a céllal alkalmazza, hogy egy bizonytalan állítás igazságértékét transzparens módon levezesse.

A modern bizonyításelmélet (Proof Theory) hozzáteszi, hogy a bizonyítás nemcsak „tudást szül”, hanem egy algoritmikus verifikáció is: a premisszák igazságának átvitele a konklúzióra a logikai következményviszony által.

8. Az episztemológiai mag: Mit jelent tudni?

Az arisztotelészi epistémé fogalma a kauzális tudáselmélet kifejezése. Ez a tudás legmélyebb szintje.

A tudományosan megalapozott tudás (Justified True Belief) a következő felismerések egysége:

1. Az ok ismerete (Cognitio causae): ismerjük azt a tényezőt, amely a jelenséget létrehozza.
2. Az oksági kapcsolat felismerése (Recognitio nexus): nemcsak az okot és az okozatot látjuk külön-külön, hanem értjük a köztük lévő dinamikus, strukturális összefüggést.
3. A szükségképpeniség belátása (Necessitas): felismerjük, hogy adott feltételek mellett a dolog másként nem állhat fenn.

Példa: A háromszög belső szögeinek összege azért 180^o az euklideszi térben, mert ez a tér axiómáiból és a párhuzamossági posztulátumból szükségképpen következik.

9.  A módszertan kettőssége: dedukció, indukció és a redukció

A tudomány fejlődése során e két út szoros szimbiózisba került.

I. Dedukció (A közvetlen és elméleti út): ennek során az általánostól az egyesre, az egészből a részre következtetünk (ami érvényes a fajra, az érvényes a fajhoz tartozó egyedre is).

• Mibenléte tehát abban áll, hogy az egyetemes igazságból halad az egyes felé.
• Jellege analitikus. Az előzményben rejtetten már benne lévő igazságot teszi világossá.
• Alkalmazása: elsősorban az axiomatikus tudományok (matematika, elméleti fizika, jogtudomány) módszere. Itt a bizonyítás ereje a logikai kényszerítő erőben rejlik.

II. Indukció (A közvetett és tapasztalati út): az egyesből az általánosra, a részből az egészre következtetünk. Csak kellő körültekintéssel alkalmazható.

• Mibenléte tehát, hogy az egyes tapasztalatokból halad az általános törvény felé.
• Jellege szintetikus. Új információt hoz be a rendszerbe a megfigyelés által.
• Alkalmazása: a természettudományok (biológia, kémia, szociológia) alapja.
• Fontos megjegyezni, hogy az indukció logikailag sosem ad „abszolút” bizonyosságot (lásd: Hume indukció-problémája), csak magas valószínűséget. Ezért a modern tudomány az abdukciót (a legjobb magyarázatra való következtetést) is használja.

• Az indukció lehet:
• Teljes (plena): ha a faj összes egyedét megvizsgálva állapítható meg az általános tétel.
• A nem teljes: ha az egyedek számának vizsgálata során a valószínűségi fok engedi a következtetést. J. St. Mill szerint fontos a következő módok figyelembevétele:

1. a megegyezés módszere: keressük a jelenségek okát (milyen körülmények között lép fel újra. „Abból a körülményből, amely minden esetben jelen van, arra következtetünk, hogy az legalábbis közreműködő ok.”
2. a különbözőség módszere: amennyiben a jelenség három körülmény között lép fel (ABC), de ez nem jellemző a BC-re, akkor a jelenség oka az A.
3. a megegyezés és különbözőség módszere: amennyiben a változás jelensége három körülmény között lép fel (ABC), de a körülmények közül csak az egyik változott meg, pl. az A, akkor az tekinthető a jelenségváltozás okának.
4. maradék módszer: keressük a jelenség okát, és amennyiben az az A és B esetében nem valósul meg, akkor feltételezhetjük, hogy a jelenség oka a C.
5. a megegyezés és különbözőség módszere (együtt).

III. Redukció: ennek során a következményekből következtetünk az alapra.

A folyamat képlete:

ha A, akkor B

a redukció képlete:

ha B, akkor A

B igen → A igen

10. A gondolkodás fundamentális alapelvei

Ezek azok a „szabályok”, amelyek nélkül a gondolkodásunk szétesne.

1. Az ellentmondás elve (Principium contradictionis): semmiről sem lehet egyszerre, ugyanazon szempontból ugyanazt állítani és megtagadni. ¬(P∧¬P)
2. Az azonosság elve (Principium identitatis): minden dolog azonos önmagával. A fogalmak jelentésének állandónak kell maradnia a bizonyítás során. P⟺P
3. A kizárás elve (Principium exclusi tertii): egy állítás vagy igaz, vagy hamis, harmadik lehetőség nincs. A modern intuicionista logika és a többértékű logikák (pl. fuzzy logika) ezt bizonyos kontextusokban árnyalják, de a klasszikus bizonyításban ez alapvető marad.
4. A közös harmadikkal való megegyezés elve: Ez a szillogizmus alapja. Ha A=C és B=C, akkor A=B. Ha az egyik megegyezik a közös harmadikkal, a másik nem, akkor ők sem egyeznek meg.
5. Az elégséges megokolás elve (Principium rationis sufficientis): semmilyen tény nem ismerhető el létezőnek, semmilyen állítás igaznak anélkül, hogy ne lenne elégséges okunk arra, hogy miért éppen így van, és nem másként (Leibniz törvénye).

11. A tudományos kijelentések taxonómiája

A bizonyítási folyamatban használt állításokat szigorú hierarchiába soroljuk:

• Axioma (Axióma): Önmagában nyilvánvaló, bizonyításra nem szoruló alapigazság. Egy elméleti rendszer elfogadott kiindulópontja.
• Postulatum (Posztulátum): Nem feltétlenül evidens, de a rendszer felépítéséhez szükséges, bizonyítás nélkül elfogadott feltételezés.
• Thesis (Tézis): A bizonyítandó állítás, amely az igazolás után szilárd tudássá válik.
• Lemma (Segédtétel): Olyan igazság, amelyet egy másik tudományágból veszünk át, vagy egy nagyobb tétel bizonyításához szükséges közbülső lépésként igazolunk.
• Theoria (Elmélet): Ismeretek rendszerezett halmaza, amely általános elvekből magyarázza a tapasztalati tényeket.
• Hypothesis (Hipotézis): Olyan feltételezés, amely magyarázatot adhat egy jelenségre, de még verifikációra (vagy Popper szerint cáfolatra, falszifikációra) vár.
• Corollarium (Következmény): Olyan igazság, amely a már bebizonyított tételből „ingyen”, további hosszas levezetés nélkül adódik.
• Scholion (Scoli): Magyarázó jegyzet, amely elmélyíti vagy kontextusba helyezi a bizonyított tétel értelmét.

12. A bizonyítás célja és episztemikus funkciója

A bizonyítás feladata, hogy a bizonyítandó tétel (Propositum) igazságáról meggyőzzön bennünket. Ez a meggyőződés nem csupán szubjektív pszichológiai állapot, hanem a logikai kényszerítő erő eredménye. Amilyen módon és amilyen fokban képes egy eljárás feltárni az alapul szolgáló igazságokat, annyiféle fajtáról beszélünk.

A tudomány mai állása szerint különbséget kell tennünk a formális bizonyítás (szintaktikai levezetés) és az érvelés(episztemikus igazolás) között. A bizonyítás akkor kétségbevonhatatlan, ha a következmény és a biztos előzmény közötti kapcsolat szükségszerűsége belátható.

1. Egyenesen következtető bizonyítás (Demonstratio directa)

Ez a bizonyítási mód a bizonyítandó tételt közvetlenül, annak saját fogalmi tartalmán keresztül igazolja. A klasszikus „ok-okozat” láncolatot a modern logikában a „alap-következmény” viszonyra kell cserélnünk, mivel nem minden logikai összefüggés fizikai kauzalitás.

A) a priori bizonyítás (okból az okozatra)

Az a priori (latin: „az előzőből”) bizonyítás a dolog lényegéből vagy okából következtet annak tulajdonságaira.

• Logikai szerkezete: [(P⟹Q)∧P]⟹Q.
• A matematika és az elméleti fizika alapmódszere. Ha ismerjük a kör definícióját (ok/alap), abból levezetjük annak kerületét (okozat/tulajdonság). Ez a „fentről lefelé” építkező dedukció. Fontos látni, hogy itt az „ok” logikai prioritást jelent, nem feltétlenül időbeli elsőbbséget.

B) Az a posteriori bizonyítás (az okozatból az okra)

Az a posteriori (latin: „a később következőből”) bizonyítás a tapasztalati tényekből vagy következményekből következtet vissza az azokat kiváltó okra vagy alapra.

• A természettudományok és a diagnosztika módszere. A tünetekből (okozat) következtetünk a betegségre (ok). Logikai szempontból ez gyakran abdukció, ami nem ad 100%-os bizonyosságot, hacsak nem zárjuk ki az összes többi lehetséges okot.

C) Visszameneteles avagy regresszív bizonyítás:

Ez egy összetett, interdiszciplináris módszer:

1. Elindulunk az okozattól az ok felé (a posteriori fázis).
2. Miután feltártuk az okot, elméletileg újra levezetjük belőle az okozatot (a priori fázis). Célja: a dolog mélyebb megismerése. Nemcsak azt tudjuk, hogy valami van, hanem azt is, miért van. Ez a modern tudományos modellalkotás alapja.

2. Kerülőúton való bizonyítás (Demonstratio indirecta)

Vannak esetek, amikor a tétel közvetlen igazolása nehézségekbe ütközik. Ilyenkor az ellenkező tétel hamisságán keresztül igazoljuk az igazságot. Ez a harmadik kizárásának elvére (LEM−Law of Excluded Middle) épít.

A) Reductio ad absurdum

Szabály: feltesszük, hogy a bizonyítandó tétel ellenkezője igaz. Ha ebből ellentmondásra jutunk saját magával vagy egy már ismert igazsággal, akkor az eredeti tétel szükségképpen igaz.

• Logikai képlet: (¬P⟹⊥)⟹P.
• Eukleidész bizonyítása a prímszámok végtelenségéről. Ha feltesszük, hogy véges sok van, logikai ellentmondáshoz jutunk.

B) Per exclusionem

Szabály: A lehetőségek összes variációját egy szétválasztó ítéletbe foglaljuk (P∨Q∨R). Ha bebizonyítjuk, hogy Q és R lehetetlen, akkor P-nek igaznak kell lennie. Feltétel: a felsorolásnak teljesnek kell lennie (MECE-elv). Ha kihagyunk egy opciót, a bizonyítás érvénytelen.

3. Valószínűségi érvelések (Argumentatio Probabilis)

A modern logika és a tudományfilozófia (pl. Karl Popper) rámutat, hogy ezek technikai értelemben nem bizonyítások, hanem induktív érvek. Nem szükségszerű, hanem csak valószínű következtetést adnak.

A tudományban és a mindennapi életben azonban elengedhetetlenek:

1. Argumentum analogiae (Analógia): ha két dolog sok jegyben hasonlít, feltételezzük, hogy egy további jegyben is hasonlítani fognak. Alkalmazás: pl. modellezés, állatkísérletek. Az analógia nem csupán "hasonló esetekre való hivatkozás", hanem a szerkezeti izomorfizmus felismerése két különböző rendszer között. Ha két dolog (A és B) több lényeges tulajdonságban megegyezik, feltételezzük, hogy egy további, B-nél már ismert tulajdonság A-nál is jelen van.

• A pari (egyenlő mértékben): az érvelés vízszintes irányú. Amit az egyikről állítunk, azt ugyanolyan súllyal állítjuk a másikról is. Jogilag ez az analogia legis alapja: hasonló tényállásra hasonló jogkövetkezményt alkalmazunk.
• A fortiori (annál inkább): ez a "fokozott" következtetés.
• A maiore ad minus: Aki többre képes, az a kevesebbre is (pl. aki 100 kg-ot felemel, az 50-et is).
• A minore ad maius: Ha a kisebb vétség tilos, a nagyobb annál inkább az (pl. ha a fűre lépni tilos, a felszántása pláne).

Az analógia soha nem ad demonstratív (100%-os) bizonyosságot, csak heurisztikus értéket. A kognitív pszichológia figyelmeztet a téves analógia veszélyére, ahol a hasonlóság csak felszíni és nem strukturális.

2. Argumentum hypothesis (Hipotézis): egy feltevés, amely megmagyarázza a jelenségeket. Ha a jóslatai beigazolódnak, valószínűsége nő. A hipotézis a tudományos abdukció eszköze: egy észlelt tény magyarázatára felállított ideiglenes elmélet. A feltevés szigorított szabályai (Klasszikus és Modern):

1. Konzisztencia: nem mondhat ellent biztos tényeknek. Ha a tények ütköznek a hipotézissel, a hipotézist kell elvetni (vö. Newton: Hypotheses non fingo).
2. Kauzalitás: önmagában lehetségesnek és elégségesnek kell lennie a tény generálására.
3. Parszimónia (Ockham borotvája): Entia non sunt multiplicanda praeter necessitatem. A legegyszerűbb magyarázat a legvalószínűbb. Ne szaporítsuk a felesleges entitásokat.
4. Szilárdság: nem alapulhat puszta vágyvezérelt gondolkodáson; logikai és tapasztalati pilléreken kell nyugodnia.
5. Exkluzivitás: Aakkor a legerősebb, ha nincs más (vagy nincs jobb) alternatív magyarázat.
6. Falszifikálhatóság (Popper-i kiegészítés): egy hipotézis csak akkor tudományos, ha elvileg megjelölhető egy olyan kísérleti eredmény, amely cáfolhatja azt.

3. Argumentum auctoritatis (Tekintélyi érv): egy szakértő állítására alapozunk. Veszélye abban áll, hogy tekintélyelvűséghez vezethet, ha nem verifikálható. Bár a tudomány alapelve a Nullius in verba (senki szavára nem adunk), a gyakorlatban a tudás munkamegosztása miatt szükség van a tekintélyre.

1. Auctoritas historica: történeti tanúság (adatok a múltról).
2. Auctoritas doctrinalis: szakmai, tudományos tekintély.
3. Auctores non numerantur sed ponderantur: A szerzőket nem számolni, hanem mérlegelni kell. Tíz laikus véleménye nem ér fel egy szakértőével.
4. Peritis in arte sua credendum est: Hinni kell a mesternek a saját művészetében (szakterületén).
5. In auctoritate doctrinali tantum valet auctoritas quantum rationes affert – A tudományos tekintély csak annyit ér, amennyi érvet fel tud mutatni. A tekintély nem pótolja a bizonyítást, csak közvetíti azt.

4. Calculus probabilitatis et statistica (Valószínűségszámítás): a modern adatvezérelt tudomány alapja. Nem egyedi eseteket, hanem tömegeket és trendeket bizonyít. Ez a modern tudomány "logikai motorja". Ahol a dedukció elakad az adatok zajában, ott a statisztika lép be. A valószínűség két arca:

1. Frekventista szemlélet: A valószínűség a kísérletek végtelen sorozatában mért relatív gyakoriság.
2. Bayesiánus szemlélet: A valószínűség a bizalmunk mértéke egy állítás igazságában, amelyet az új adatok tükrében folyamatosan frissítünk. Bayes-tétel: P(A∣B)=P(B)P(B∣A)P(A)  – Megmutatja, hogyan változik egy hipotézis (A) valószínűsége az új bizonyíték (B) hatására.

A statisztikai bizonyítás pillérei:

• Normál eloszlás (Gauss-görbe): A legtöbb természetes jelenség a középérték körül csoportosul.
• Szignifikancia-szint (p-érték): Megmutatja, mekkora az esélye annak, hogy az eredményt csak a vakvéletlen szülte. Ha p<0,05 (5%), az eredményt tudományosan elfogadhatónak tekintjük.
• Korreláció vs. Kauzalitás: Az, hogy két dolog együtt mozog, nem jelenti azt, hogy az egyik okozza a másikat. (Pl. a jégkrémfogyasztás és a vízbefulladások száma korrelál, de mindkettőt a hőség okozza).
• A nagy számok törvénye: Minél több adatunk van, a minta átlaga annál közelebb kerül a valóságos várható értékhez.

5. Argumentum negativum (Negatív érv): egy állítás igazságát abból vezetjük le, hogy nincs ellene szóló bizonyíték. (Veszélyes terep!).
6. Argumentum ex silentio (Hallgatáson alapuló érv): ha egy forrás nem említ valamit, amiről tudnia kellene, feltételezzük, hogy az nem történt meg. (Gyakori a történettudományban). Az 5. és 6. pontot most együtt szemléljük. Az Argumentum negativum vagy ex silentio alapvetően gyenge érv: abból, hogy nem tudunk valamiről, nem következik, hogy az nincs.

A legfontosabb kiegészítés: Hitchens borotvája: Quod gratis asseritur, gratis negatur – Amit bizonyíték nélkül állítanak, az bizonyíték nélkül el is vethető. Ez az onus probandi (bizonyítási teher) alapszabálya. Ha valaki tesz egy állítást, az ő kötelessége bizonyítani, nem a többieké cáfolni azt. Ha nem hoz érveket, a logika felment minket az érdemi cáfolat kötelezettsége alól.

7. Argumentum ad hominem (Személyre szabott érv): * Klasszikus hiba: a beszélő személyét támadja az érve helyett. Egy állítást a beszélő saját korábbi elveivel való ellentmondásán keresztül cáfolunk.
8. Retorsio et inversio argumenti (Az érv visszafordítása): Amikor az ellenfél által felhozott érvet saját maga ellen fordítjuk, megmutatva, hogy az valójában a mi tételünket támogatja.

A logikai hiba (Fallacia) ontológiája

1. A fallacia (tévesztés/félrevezetés) olyan bizonyítási eljárás, amely az igazság látszatát kelti (apparantia veritatis), de szerkezetében vagy tartalmában hibás, így téves konklúzióhoz vezet.

Szándékosság szerint:

1. Sophisma: tudatosan, félrevezetési szándékkal elkövetett logikai hiba. Célja a győzelem a vitában az igazság ellenében. (Kapcsolódik az erisztikus dialektikához).
2. Paralogismus: nem szándékolt tévedés, amely a figyelem hiányából vagy a logikai szabályok nem ismeretéből fakad.

A modern pszichológia itt vezeti be a kognitív torzítások (cognitive biases) fogalmát. Sok paralogizmus nem egyszerű hiba, hanem az agyunk evolúciós „gyorsítóinak” (heurisztikáinak) mellékterméke.

2. Sophismata in verbis (Nyelvi alapú szofizmák)

A nyelv tökéletlenségéből adódó hibák, ahol a szavak többértelműsége elfedi a logikai szakadékot.

• Aequivocatio (homonímia/kétértelműség): Ugyanazt a szót a bizonyítás során két különböző értelemben használjuk. „A toll könnyű. A könnyű nem nehéz. Tehát a toll nem nehéz.” (Itt a toll mint íróeszköz és mint madártoll keveredik).
• Dictum secundum quid et simpliciter (a relatív és abszolút összecserélése): amikor egy állítást, amely csak bizonyos feltételek mellett igaz (secundum quid), általános, feltétel nélküli igazságként kezelünk (simpliciter).
• Fallacia figurae dictionis (szóalak-hiba): a nyelvi forma alapján következtetünk a dolog természetére (pl. egy szó végződése alapján tévesen soroljuk be egy kategóriába).
• Fallacia sensus compositi et divisi (összetétel és felosztás hibája):
• Compositi: ami igaz a részekre külön-külön, azt igaznak véljük az egészre is.
• Divisi: ami igaz az egészre, azt feltétlenül igaznak véljük minden egyes részre.
• Rendszerelméleti megjegyzés: Ez a szinergia és az emergencia elvének figyelmen kívül hagyása!

3. Sophismata in Rebus (tartalmi/tárgyi szofizmák)

Itt a hiba nem a nyelvben, hanem a fogalmak közötti logikai viszonyban rejlik.

• Ignorantia elenchi (a tárgy ismeretének hiánya / mellébeszélés): a beszélő olyasmit bizonyít, amit senki nem tagadott, vagy elkerüli azt a pontot, amit valójában cáfolnia kellene.
• Petitio principii (körforgó érvelés): a bizonyítandó tételt már a premisszák közé becsempésszük tényként. A konklúzió önmagát bizonyítja.
• Fallacia consequentis (következmény-hiba): a feltételes következtetés megfordítása. „Ha esik, vizes az út. Vizes az út, tehát esik.” (Lehet, hogy csak locsoltak). Matematikai logika: P→Q⇏Q→P.
• Fallacia non causae, pro causa (téves ok): Két esemény egymásutániságából oksági viszonyt feltételezünk (Post hoc ergo propter hoc).
• Opinio publica (argumentum ad populum): „Mivel mindenki ezt mondja, tehát igaz.” Ez a tömegre való hivatkozás, amely figyelmen kívül hagyja, hogy az igazság nem demokratikus szavazás kérdése.

4. A manipuláció retorikája ("Hideg háború" és pszichológiai hadviselés)

A modern propaganda-elemzés és a meggyőzés-pszichológiaterülete. Ezek az erisztikus dialektika (Schopenhauer) eszközei.

A) Szelektív információkezelés (Cherry-picking). Az igazság részleges elrejtése. Csak a saját álláspontot támogató tényeket közli, az ellentmondókat elhallgatja. Ez a kognitív disszonancia elkerülésére épít a hallgatónál.

B) Ködösítés és kifárasztás (Obfuscation). Eltérés a tárgytól lényegtelen részletek felé. Célja a hallgatóság kognitív kapacitásának kimerítése. A szép, zseniális szavak (demagógia) érzelmi hatást keltenek, miközben a logikai fonal elvész.

C) Érzelmi szuggesztió és gúny (Ad personam). Az ellenfél nevetségessé tétele. Ha a logikai érvet nem tudja cáfolni, a beszélő az ellenfél jellemére vagy képességeire támad. Ez a szociális konformitást használja ki: az emberek nem akarnak a „vesztes” vagy „nevetséges” oldalhoz tartozni.

D) Szalmabáb érvelés (Straw Man). Az ellenfél állításának eltorzítása, eltúlzása vagy végletekig sarkítása. A manipulátor nem az eredeti állítás ellen harcol, hanem annak egy torz, könnyen támadható verziója ellen.

E) Bizonyítási teher áthárítása (Shifting the burden of proof). Amikor a manipulátor tesz egy merész kijelentést, majd nem ő bizonyítja azt, hanem felszólítja az ellenfelet, hogy bizonyítsa be az ellenkezőjét. Aki nem tudja bizonyítani a negatívumot (ami gyakran lehetetlen), azt vesztesnek kikiáltják.

5. Cáfolat (Refutatio / Elenchus)

A cáfolat maga is bizonyítás: egy tétel hamisságának vagy érvénytelenségének igazolása.

A cáfolat fő módszerei:

• A kontradiktórium bizonyítása: ha bebizonyítjuk a tétel ellentétét (¬P), akkor az ellentmondás elve alapján az eredeti tétel (P) hamisnak minősül.
• Disiunctiv következtetés (Kizárásos cáfolat): kimutatjuk, hogy a tétel és annak alternatívái közül csak az egyik lehet igaz, és ha minden alternatíva hamisnak bizonyul, a fennmaradó állítás (vagy annak hiánya) eldönti a vitát.
• Deductio ad absurdum (Képtelenségre való visszavezetés): megmutatjuk, hogy ha elfogadnánk az adott tételt igaznak, abból logikailag képtelen, ellentmondásos vagy nyilvánvalóan hamis következmények adódnának.