Logika 5. A fogalmak logikai és kognitív relációi

 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.

1. Azonosság és ekvivalencia (Identitas)

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.

2. 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”).

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

Az ellentét 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

4. 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).

5. Metsző és egybevágó viszonyok (Interferentia)

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

• Interferencia (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

6. 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.

7. 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).

8. 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.

9. 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.

10. 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.

11. 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.