„Hermeneutika (Arisztotelész)” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
1. sor:
{{nincs forrás}}
A '''Hermeneutika''', régebbies, de a hagyomány alapján ma is használt írással '''Herméneutika''' [[Arisztotelész]] antik [[görögök|görög]] [[arisztoteliánusok|peripatetikus]] [[filozófia|filozófus]] fennmaradt [[logika]]i művei gyűjteményének, az [[Organon (Arisztotelész)|Organonnak]] egyik része.
 
Arisztotelész Herméneutikájában sehol sem használja a „hermeneutika” szót, talán mert a cím vélhetően későbbi eredetű – ám a művel kapcsolatos történeti, [[filológia]]i jellegű problémákról az [[Organon (Arisztotelész)|Organon]] szócikk [[Organon (Arisztotelész)#Története|történeti részeiben]] található bővebb információ.
6. sor:
A „hermeneutika” (görög) szó az „értelmezés tudományát” jelenti, magának a szónak többféle értelmezése létezik; ezek egyike szerint [[Hermész]]nek, az antik görög kor egyik istenének a nevéből származik, aki az istenek hírnöke, aki az istenek és/vagy emberek közti híreket és üzeneteket közvetíti; ugyanígy közvetíti a szó jelentését annak írott vagy beszélt alakja is. Legalábbis a görögök ennek az istennek a nevéből származtatták ''hermeneuein'' = „kijelent”, „megvilágít” szavukat. Maga Arisztotelész valószínűleg a „kijelent” értelmében használta e szót, és szóban forgó műve valóban az egyszerű kijelentések tanát, ezek néhány filozófiai vonatkozású problémáit tárgyalja.
 
A hermeneutika nevet viseli egy, a [[19. század]] végére a [[filozófia]] egy külön részterületévé fejlődött gondolkodói irányzat is (ld. még [[hermeneutika (filozófia)|hermeneutika]]), mely azonban más kiindulópontról, más problémákat, s más megközeítésselmegközelítéssel vizsgál, mint Arisztotelész Hermeneutikája.
 
Arisztotelész ''Herméneutiká''ja alapvetően két kérdéskörrel foglalkozik. Egyrészt a nyelv és a dolgok közötti relációval, azaz a nyelv értelmezésével (erre utal a cím); másrészt pedig a kijelentések alapstruktúráit és a kijelentések egymáshoz való viszonyait igyekszik feltárni. E második kérdéskörön belül az '''egyszerű kijelentő mondatok'''kal és ezek logikán belüli szerepével foglalkozik; alapvető eredményei a '''tagadás'''ra és a '''modalitások'''ra ''(szükségszerűség, lehetségesség, esetlegesség'' stb.) vonatkozó megállapítások. Ebben a művében szerepelnek továbbá a későbbi eredmények szempontjából alapvető megkülönböztetések, melyek a '''kijelentések általánosság és egyetemesség szerinti osztályzásá'''hoz vezetnek (általános vagy egyedi alanyról szólnak-e, és általánosan vagy részlegesen jelentenek-e ki valamit), továbbá a tagadásokkal kapcsolatban azon észrevételek, melyeket később az ún. '''logikai négyszög''' (vagy [[Apuleius]]-[[Apuleius-négyszög|négyszög]]) formájában volt szokás összefoglalni.
12. sor:
A szöveg magyar fordításban [[wikisource:Herméneutika|itt olvasható]]
 
== Tartalma ==
 
:''„Először is határozzuk meg, hogy mi a névszó és mi az ige, aztán meg, hogy mi a tagadás és az állítás, a kijelentés és a mondat. […] Ezek tisztázása után vizsgáljuk meg, hogyan viszonyulnak egymáshoz a ''lehetséges'' és ''nem lehetséges,'' az ''esetleges'' és ''nem esetleges,'' meg a ''lehetetlen'' és ''szükségszerű'' tagadásai és állításai. Mert bizony vannak itt nehézségek.”''
<center><small>Arisztotelész:''Hermeneutika, 1. fej. 1. bek.'' és ''12. fej. 1. bek.'' </small></center>
 
A ''Herméneutika'' három nagyobb részre osztható. Az [[Herméneutika#Alapvető, nyelvtani észrevételek|első rész]] ''(1.-6. fejezet)'' a nevek kijelentésekké való összekapcsolásával foglalkozik, eleinte inkább a nevek szempontjából, de végül a ''6. fejezet''ben eljut a kijelentés fogalmának felépítéséhez, definiálásához. E részek amolyan nyelvtani alapozásként szolgálnak, céljuk röviden áttekinteni, hogyan jönnek létre a kijelentések felépítő alapelemeikből, a szavakból, („[[atom]]ok”) az első három fejezet inkább szótan, mely megkülönbözteti például a [[névszó]]kat és [[ige (szófaj)|igéket]]; míg a következő három inkább mondattan, melyekben a mondatok kijelentés voltának és egyszerűségének, elemiségének kritériumai találhatóak, továbbá az állítás és a tagadás. E részek még a ''[[Katégoriák|Kategóriák]]'' egyenes folytatásának tekinthetőek.
 
A [[Herméneutika#Egyszerű kijelentő mondatok. Tagadás: ellentmondás és ellentét|második, hosszabb rész]] (6.-12. fej) az egyszerű kijelentésekkel és a tagadással foglalkozik. Megkülönbözteti az '''egyedi''' és '''általános alany'''ról tett kijelentéseket, továbbá hogy ezt '''általános'''an (minden egyedre vonatkozóan), '''részleges'''en (némely egyedre vonatkozóan), vagy '''határozatlan'''ul (se így, se úgy) tesszük-e (igazság szerint ezt a megkülönböztetést teljes mértékben csak az Első analitikában teszi teljessé).
 
A [[Herméneutika#Modalitások|13. fejezet]] a kijelentések [[modalitás]]ait vizsgálja, az előző fejezetek szellemében és szempontjai szerint (tehát például hogy hogyan kell tagadni ezeket). Négy modalitást és ezek tagadásait különbözteti meg: ezek a '''lehetségesség''', az '''esetlegesség''', a '''lehetetlenség''', és a '''szükségszerűség'''.
 
=== Alapvető, [[nyelvtan]]i észrevételek ===
==== A megértés alapfeltétele: azonos jelentést hordozó, közmegállapodászerűközmegállapodásszerű jelek ====
 
Arisztotelész kiindulópontként a nevek három fajtáját különbözteti meg: [[mentális nyelv|mentális]], beszélt és írott nevek (Herm. 16a 1-8.). Az utóbbi kettőt olyan konvencionális, azaz pusztán megállapodáson alapuló jeleknek tartja, melyek a mentális tartalmakat jelzik. Maguk a mentális, vagy lelki tartalmak is jelek, olyan jelek azonban, melyek közvetlen és természetes módon jelölik a dolgokat. Egyszerűbben megfogalmazva azt mondhatjuk, lehetséges, hogy ugyanazt a gondolatot más emberek másképp mondják el (akár írásban, akár szóban); a megformálás függhet az egyéniségtől vagy az adott értelmezői közösség megállapodásaitól, ám az írott vagy beszélt terminusok kimondása előtti lelki tartalmak mindenkinél ugyanazok <sup> [[Herméneutika#Arisztotelész „kommunikációmodellje”|1. idézet]] </sup>.
 
==== A mondat: jelentésre nézve oszthatatlan elemek – névszók, igék – összekapcsolása ====
 
Továbbá, a lelki tartalmak, akárcsak kimondott vagy leírt formájuk, csak akkor igazak vagy hamisak, ha megfelelően össze vannak kapcsolva. Puszta, kapcsolat nélküli szavak egymásutánjának (συνέχεια = szavak egymásutánja) közlése nem bír igazságértékkel, bár értelemmel igen (hiszen az a szó, hogy ''kecskeőz,'' kifejez ugyan valamit egy mesebeli keverékállatról, de se nem igaz, se nem hamis, amíg azt nem mondjuk, hogy ''kecskeőz van,'' vagy ''kecskeőz nincs)'' <sup> [[Herméneutika#Az összekapcsolás|(2. idézet)]] </sup>.
 
A szavaknak két (vagy, ha az igéket és a névszókat külön csoportnak vesszük, három) fajtája lehet a [[kommunikáció]]s céljukat tekintve.
* '''Az önálló jelentéssel bíró szavak'''nak (melyek „önmagukban is kifejeznek valamit”), azaz Arisztotelész kifejezésével a [[névszók]]nak <sup> [[Herméneutika#Névszók|(A névszók Arisztotelész szerint…)]] </sup> és [[ige (szófaj)|igéknek]] <sup> [[Herméneutika#Igék|(Az igék Arisztotelész szerint…)]] </sup>, van jelentésük, de nincs ''igazságérték''ük (azaz önmagukban kimondva se nem igazak, se nem hamisak). Vagyis nem kijelentések.
* Mondatokat, kijelentéseket úgy kapunk, hogy összekapcsoljuk őket (ti. a névszókat, igéket): erre szolgál a '''kopula''', vagyis a ''„van”'' ( <sup>+</sup>¸</sup></sup>εστι) szócska; melyet a görög nyelvben (és az indoeurópai nyelvekben) nem csak létezést kifejező, hanem igei állítmánypótlást kifejező létige szerepében is használunk. A kopulának tulajdonképpen ennyi a jelentése, a névszóknak és igéknek azonban önálló jelentésük is van. Arisztotelész tudomásunk szerint az első, aki bizonyítottan felfedezi az összekapcsolás és a kopula ilyen jelentőségét.
* Az '''összekapcsolással '''(συμπλοκή)''' jön létre a mondat''' (λόγος): „olyan beszéd, amely kifejez valamit, és amelynek különválasztott részei [ti. a névszók] is jelentenek valamit, de nem mint állítás [hanem mint kifejezés].” <sup>[[Herméneutika#Mondat|(5. idézet…)]]</sup> A mondat jelentéssel bíró elemei, a névszók és/vagy igék '''[[atom]]'''szerűen viselkednek a jelentésre nézve, azaz ők maguknak van jelentésük, de ha tovább osztjuk őket részekre, a részeknek általában már nincs jelentésük <sup>[[Herméneutika#A név mint atomi jelentésű jel: A terminus|(magyarázat…)]].
 
<u>Megjegyzés</u>: ez a jelentés tulajdonképpeni atomiságára való alapozás – noha a Herméneutikában sem közvetett, sem közvetlen utalás nem történik konkrétan az atom fogalmára – fogalomépítkezését tekintve nagyon precízzé vagy inkább „matematikussá”, „alapokra építkezővé” teszi a ''Herméneutiká''t (precízzé azért nem, mert több Arisztotelész által nem megoldott problémát is okoz). A [[sztoikus filozófia|sztoikusok]] (akik a [[logika]] terén a [[arisztoteliánusok|peripatetikusok]] riválisainak tekinthetőek) azonban deklaráltan egy atomista kijelentéslogikát építenek fel: a mai kijelentéslogika nem kis részben inkább sztoikus, mint peripatetikus hatásokat mutat (lásd még [[Logika#A logika története|a logika történetéről szóló cikket]]).
42. sor:
==== Mondat, kijelentés, állítás, tagadás ====
 
A '''mondat''' (λόγος) – „olyan beszéd, amely kifejez valamit, és amelynek egy különválasztott része is kifejez valamit mint kifejezés, de nem mint állítás” – tehát a nyelvnek, beszédnek az „atomi” jelentésű névszók/igék kopulatív szavak általi összekapcsolásával létrejött, megítélhető, azaz egyértelműen igaz vagy hamis része <sup> [[Herméneutika#Mondat|(5. idézet)]]</sup>. Eme definícióval van egy-két probléma, melyet Arisztotelész csak futólag érint, és a „megoldás” – ha nevezhetjük így egyáltalán – értelmezése elég vitatott, erről bővebb található [[Herméneutika#A név mint atomi jelentésű jel: A terminus|(itt)]].
 
A '''kijelentés''' ( <sup>+</sup>¸</sup></sup>απόφανσις / λόγος <sup>+</sup>¸</sup></sup>αποφαντικός) olyan mondat, „amelyre vonatkozik az, hogy vagy ''igaz,'' vagy ''téves'' – márpedig ez nem mindre vonatkozik, például a kérések mondatok, de se nem igazak, se nem tévesek” <sup> [[Herméneutika#Kijelentés|(6. idézet)]]</sup>.
 
Ezen belül „az '''állítás''' (κατάφασις) olyan kijelentés, ami valamit valaminek tulajdonít, a '''tagadás''' (<sup>+</sup>¸</sup></sup>απόφασις) pedig olyan, ami valamit valamitől elvesz” <sup> [[Herméneutika#Állítás és tagadás|(7. idézet)]]</sup> (tehát azt állítja, hogy valaminek valami nem tulajdonítható). Az állításnak, és ugyanezen állítás tagadásának [[Katégoriák#Szembenállás|szembenállás]]át, azt a viszonyt, melyben egy állítás és ennek tagadása vannak, Arisztotelész itt '''ellentmondás'''nak ( <sup>+</sup> ¸</sup></sup>αντίφασις) kereszteli. Az ellentmondó mondatok olyanok, hogy bármikor, bármilyen tekintetben, ha egyáltalán az igazságértékük eldönthető (mert például a [[Herméneutika#Jövő idejű kijelentések|jövő idejű kijelentések]] csak a jövőben eldönthetőek), akkor az egyik és csak az egyik teljesül; vagyis egyszerre nem lehet mindkettő sem igaz (azaz kizárják egymást), sem hamis (azaz tagadásaik is kizárják egymást). Ennél általánosabb viszony, ha két tulajdonság ([[Katégoriák#A szubsztancia és az akcidens|akcidens]]) vagy kijelentés kizárják egymást, azaz egyszerre nem lehetnek igazak (de nem feltétlenül kell valamelyiknek is igaznak lennie). Ez utóbbi viszonyban álló mondatokat '''[[Katégoriák#Szembenállás|ellentét]]'''eseknek nevezi.
 
==== Egyszerű kijelentés ====
 
Definiálja – meglehetősen nehézkesen, de ontológiailag helyesen az '''egyszerű mondat''' fogalmát (amit a jelenlegi nyelvészet formálisan tesz) <sup>[[Herméneutika#Egyszerű mondatok, kijelentések|(idézet)]]</sup> . Egyszerű egy állítás akkor, ha egy dolgot fejez ki egy dologról, azaz ha alanya is és álltmányaállítmánya is, mint szavak vagy nevek, „egy”. Bár igazából ennél többet és pontosabbat Arisztotelész nemigen mond (más műveiben, például a ''Metafiziká''ban azonban bővebben ír erről), csak néhány más fejezetben elejtett megjegyzésből derül ki, hogy mire gondolhat.
 
Hogy az alany és állítmány egyszerű, atomi vagy ''egy,'' ezen nem azt kell érteni, hogy egyediek; és nem is azt, hogy egy szóból álljanak, hanem hogy egy szubsztanciát alkossanak.
* Például ''a kétlábú szárazföldi állatok nem tudnak repülni'' mondat egy egyszerű kijelentés, mert ''a kétlábú szárazföldi állat'' szubsztanciálisan egy fogalmat ad meg (hiába általános és hiába áll több szóból); s e mondat valóban nem bontható három részre úgy: hogy ''a kétlábú nem tud repülni'' meg hogy ''a szárazföldi nem tud repülni'' meg hogy ''az állat nem tud repülni,'' hiszen e három mondatot összekapcsolva azt kapnánk, sem a kétlábú, sem a szárazföldi lények nem tudnak repülni – az eredeti mondat pedig semmi ilyesmit nem állított.
* Hasonlóan ''a kétlábú lények nem repülőhalak'' mondat is egy(szerű), hiszen az állítmány ''repülőhal'' egy adott szubsztancia, és nem a ''repülő''k meg a ''hal''ak közös neve. Ha úgy mondanánk: ''a kétlábú lények nem repülők (s) halak,'' vagy bevezetnének egy közös nevet a repülő lények meg a halak megnevezésére, attól még e mondat összetett lenne, hiszen felbontható két mondatra, melyek összekapcsolása azonos értelmű az eredeti mondattal: ''a kétlábú lények nem repülő(lénye)k'' és ''a kétlábú lények nem halak.''
* Viszont ''a kétlábú állatok nem fehér madarak'' mondat a modern nyelvtan szabályaival ellentétben arisztotelészi értelemben nem összetett. Ugyanis a a fehérség a madarak szubsztanciájának egy nem-lényegi (szűkebb értelemben akcidentális) jegye, mivel nem fajnév, nemnév vagy fajalkotó különbség. És valóban, a fenti mondatot mondhatjuk úgy is, hogy ''a kétlábú állatok nem fehérek; és a kétlábú állatok nem madarak.'' Ha az alanyként vagy állítmányként álló szót olyan járulékos szavakkal bővítjük, melyek az eredeti szó lényeges, meghatározó (szubsztanciális) jegyei, akkor ezzel nem bomlik meg a bővített kifejezés „egy”-sége, atomisága, viszont nem-lényegi jegyekkel bővítve már kaphatunk összetett kifejezést, illetve mondatot. Megjegyezzük, hogy arisztotelésznekArisztotelésznek ez az összetettség-kritériuma már hozzá közel álló skolasztikus logikában sem bizonyult tarthatónak (nem mindig lehet ugyanis egyértelműen eldönteni, egy szubsztanciának vagy akcidensnek mik a lényegi és a nem-lényegi, meghatározó jegyei). Már arisztotelészArisztotelész is mindenféle pót-szabályt vezet be a ''Herméneutiká''ban az esetleges kivételek magyarázatára.
 
==== Az egyszerű kijelentő mondatok osztályzása ====
 
A nevek lehetnek '''egyetemes'''ek (melyeket több mindenről állíthatunk), azaz mai szóval általános fogalmak, például „ember”, „élőlény”, vagy pedig '''egyedi'''ek, például „Szókratész”, „Abraham Lincoln”.
 
Ha egy egyetemes alanyról valamit állítunk (szintén egyetemes állítmányt, hiszen egyetemes alanyról egyedi állítmányt nem lehet állítani, például nem mondható, hogy ''a ló Szókratész),'' akkor állíthatjuk, hogy az alany minden egyede az állítmánynak is egyede, például
<center>''Minden ember élőlény.''</center>
Arisztotelész az ilyesfajta, gyakran a ''„minden”, „összes”'' szavakat is használó egyszerű kijelentéseket '''egyetemes kijelentések'''nek nevezi. Hogy ne keverjük össze az egyetemes alany/állítmány és az egyetemes kijelentés fogalmait, ez utóbbira inkább a később használt „'''univerzális'''” szót alkalmazzuk.
67. sor:
Azt is állíthatjuk, hogy egy egyetemes alany némely egyede az állítmánynak is egyede; az ilyen, a „néhány” vagy „némely” vagy hasonló szócskákat is tartalmazó kijelentést '''részleges'''nak ('''partikuláris'''nak), például
<center>''Némely ember élőlény.''</center>
Igazából az ilyen kijelentéseket deklaráltan csak az ''Első Analitiká''ban vezeti be, addig csak „egyetemes” meg „nem egyetemes” kijelentésekről beszél, néha külön példákat hozva részleges kijelentésekre, de általában a határozatlan kijelentéseket is ide értve <sup>[[Herméneutika#Részleges és határozatlan|(megjegyzés)]]</sup>.
 
További változatokat jelentenek az olyan ítéletek, melyek a valóság és a kijelentés viszonyának valamilyen értékelését tartalmazzák: például hogy a kijelentés szükségszerűen vagy esetlegesen igaz. Ezek a '''modális kijelentések''' (például ''Szükségszerű, hogy minden ember élőlény,'' vagy ''Esetleges, hogy az asztalon lévő minden tányér porcelán,'' hisz lehetne másképp is). Később a „sima”, modális részt nem tartalmazó kijelentéseket '''asszertórikus'''nak nevezték.
88. sor:
* Megvizsgáltuk egyetemes állítás viszonyát a többihez. Maradjunk az egyetemes mondatoknál, és nézzük meg az egyetemes tagadás viszonyait a még nem említett típusokhoz. Az első ilyen: <u>egyetemes tagadás</u> és <u>részleges állítás</u>.
<center> ''Egy ember sem fehér'' – ''Némely ember fehér.'' </center>
Világos, hogy ezek kizárják egymást (még üres alany esetében is, mert a második kijelentés mindig hamis ilyenekre), és valójában az is belátható, hogy tagadásai egymásnak. Ugyanis az egy ember sem fehér állítás tényleg azt mondja, hogy nincs olyan ember, aki fehér, vagyis hogy nem igaz az, hogy némely ember fehér, tehát hogy nem igaz az, hogy némely ember fehér. De ha ez nem elég, ellenőrizhető az is, hogy a két kijelentés egyszerre hamis sem lehet. Ha hamis, hogy egy ember sem fehér, akkor "valaki fehér", és ha hamis, hogy némely ember fehér, akkor meg "senki sem fehér", és a két idézőjeles állítás tényleg kizárja egymást. Mint Arisztotelész összefoglalja: az egyetemes állítás tagadása nem az egyetemes tagadás (mert ezek csak ellentétesek), hanem a részleges tagadás, és ugyanúgy a részleges állítás tagadása sem a részleges tagadás (ezek még csak nem is ellentétesek), hanem az egyetemes tagadás; „ellentmondóan tehát az az állítás áll szemben a tagadással, amely ugyanarról jelent ki valamit egyetemesen, amiről a tagadás azt jelenti ki, hogy az nem egyetemes […]. S ''ellentétben'' áll az egyetemes állítás és az egyetemes tagadás […]; ezért ezek ''nem lehetnek egyszerre'' igazak, a ''velük szembenállók viszont igazak lehetnek egyszerre ugyanarra a dologra nézve'' […]” (az utolsó tagmondat világosan mutatja, hogy Arisztotelész tényleg úgy ellenőrizte, hogy tagadása-e két állítás egymásnak, hogy megnézte, kizárják-e egymást, és hogy tagadásaik is kizárják-e egymást, s ha nem így volt, és lehettek egyszerre igazak, akkor legfeljebb ellentétről lehetett szó).
* Kimaradt még az <u>egyetemes tagadás és a részleges tagadás</u>
párosa: ''Egyetlen ember sem fehér'' – ''Némely ember nem fehér;''
ezek nincsenek ellentétben, sőt ha egyetlen ember sem fehér, akkor az is biztos, hogy némely ember nem fehér. Ám részleges kijelentésekkel Arisztotelész explicite még nem foglalkozik a ''Herméneutiká''ban, így ezt a párost sem említi, ld. a következő vázlatpontot is.
* Az utolsó, ami maradt: Arisztotelész szerint ha nem egyetemesen állítunk és tagadunk valamit egyetemes alanyról, akkor a kijelentések nem ellentétesek. Tehát:
100. sor:
==== A kizárt harmadik és a kétértékűség elve====
 
A 9. fejezet egy igen fontos problémát tárgyal: azon dolgok esetében, melyek vannak vagy voltak, érvényesek az előbbiek, azonban a jövő idejű esetleges kijelentések (elsősorban az egyedi kijelentések) esetében nem. Ugyanis ha minden állítás és tagadás közül az egyik mindig igaz, a másik mindig téves, akkor például az állítás szükségszerűen igaz, és akkor az állításnak megfelelő esemény is szükségszerűen következik be. Ekkor így van a valóságban is: például bármilyen dolog vagy fehér, vagy nem fehér, és ha például fehér, akkor szükségszerűen fehér, ha meg nem fehér, szükségszerűen nem fehér. Fordítva, ha a valóságban így van, akkor az egyik és csakis az egyik kijelentés lehet igaz.
 
Azonban a jövő időben nem ez a helyzet. Mert ha valami vagy fehér lesz, vagy nem lesz fehér, abból még nem következik, hogy szükségszerűen lesz akár fehér, akár nem fehér. Mert ha már fehér, akkor szükségszerűen fehér, ha viszont még nem fehér, de az lesz, akkor nem biztos, hogy szükségszerűen lesz fehér. „Mert nem ugyanaz, hogy minden ami van, az szükségszerűen van, ''amikor van,'' meg hogy ''egyszerűen'' szükségszerűen van.” Arisztotelész a tapasztalatra hivatkozva állítja, a való életben nem igaz, hogy minden szükségszerűen van (lesz), vagy szükségszerűen nincs (nem lesz): ekkor ugyanis nem lehetnének olyan események, melyek esetlegesen vagy véletlenül következnek be. Például egy tengeri csata bekövetkezhet, vagy nem következhet be, de nem szükségszerű sem az, hogy bekövetkezik, sem az, hogy nem következik be, noha szükségszerű, hogy a két lehetőség közül az egyik bekövetkezzen.
 
A logikai fatalizmus álláspontja szerint, ha igaz lenne a kizárt harmadik elve valamely jövő idejű kijelentésre, akkor az a kijelentés vagy igaz, vagy hamis már azelőtt, hogy a benne állított esemény megtörtént volna. Tehát már a múltban, amikor kimondjuk vagy gondoljuk, noha nem tudjuk, hogy igaz-e vagy hamis, azért vagy igaz, vagy hamis, ez pedig azt jelenti, hogy már a múltban el van döntve bármely jövő idejű kijelentésről, hogy az állítása vagy a tagadása fog-e teljesülni. Ez esetben persze nem létezik sem szabad akarat, sem olyan esemény, amely véletlenszerűen következik be, hiszen ha például vasárnap azt mondjuk, hogy holnap vásárolni megyünk, akár elmegyünk, akár nem, már előre el volt döntve, hogy mit fogunk csinálni.
 
Arisztotelész ezt a következtetést paradoxnak tartja. Szerinte az események sokszor azért következnek vagy nem következnek be, mert mérlegelünk és többé-kevésbé szabadon döntünk.
A probléma megoldását abban látja, hogy meg kell különböztetni azt a kijelentést, hogy „Minden kijelentés szükségszerűen igaz vagy (szükségszerűen) hamis”, attól, hogy „Minden kijelentés szükségszerűen igaz-vagy-hamis” (Magyarosabban: „Szükségszerű, hogy minden kijelentés igaz vagy hamis”). Az első azt fejezi ki, hogy minden szükségszerűen van, vagy szükségszerűen nincs, de egy és csak egy eset teljesül a kettő közül. Arisztotelész azonban a jövőidejű esetleges kijelentésekre vonatkozóan csupán a második kijelentést tartja érvényesnek; ennek értelmében tehát szükségszerű egy kizáró viszony állítás és tagadás közt, ez azonban nem jelenti, hogy akár az állítás, akár a tagadás szükségszerű lenne.
 
A Hermeneutika ezen szakaszának legkorábbi interpretációitól kezdve eltérő értelmezései születtek. A kutatók ma is megosztottak a tekintetben, hogy vajon Arisztotelész e fentebbi megoldásával kivonta-e a futurum kontingenseket a kétértékűség illetve a kizárt harmadik elve alól. Wiliam és Martha Kneale például amellett érvelnek, hogy Arisztotelész a jövőidejű kontingens dolgokra referáló kijelentések esetében fenntartja a kizárt harmadik, de elveti a kétértékűség elvét (Vö. WILLIAM és MARTHA KNEALE: A logika fejlődése, Gondolat, Budapest,1987. 58-61.). Ezzel szemben Jan Łukasiewitz úgy véli Arisztotelész a futurum kontingenseket kivonja mind a kétértékűség, mind a kizárt harmadik elve alól (Vö.JAN JAN ŁUKASIEWICZ: Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Clarendon Press, Oxford, 1957.).A harmadik megközelítés szerint Arisztotelész nem adja fel sem a kétértékűség, sem a kizárt harmadik elvét, hanem a temporális és egyszerű szükségszerűség megkülönböztetésével érvel amellett, hogy a kizárt harmadik és a kétértékűség elve nem implikál szükségszerűséget a jövőbeli esetleges dolgokat illetően. (Egy ilyen alapokon való érveléshez lásd pl.: JAMES E. TOMBERLIN: The Sea Battle Tomorrow and Fatalism, Philosophy and Phenomenological Research, Vol.31, No.3 (Mar., 1970), 352-357.)
 
Ezt a problémát, a ránk maradt szövegek tanúsága szerint, feltehetően Arisztotelész vetette fel elsőként. A problémával foglalkozó másik legjelentősebb ókori gondolkozó [[Diodórosz Kronosz]]. Kronosz azonban egy Arisztotelészétől eltérő "lehetséges" fogalomból indul ki.
118. sor:
:''„Ezek tisztázása után vizsgáljuk meg, hogyan viszonyulnak egymáshoz a ''lehetséges'' és ''nem lehetséges,'' az ''esetleges'' és ''nem esetleges,'' meg a ''lehetetlen'' és ''szükségszerű''tagadásai és állításai. '''Mert bizony vannak itt nehézségek.'''''” ''(Herméneutika 12. fej.,'' §1.)
 
A 12. fejezettől kezdve Arisztotelész [[modális logika|modális logikával]] foglalkozik; és nem a levegőbe beszél, amikor a terület nehézségeit említi. Talán elég ezzel kapcsolatban megemlítenünk, hogy még ma, több ezer év elteltével sem tudtunk minden szempontból elfogadható modális logikai rendszert alkotni.
 
A modalitásokat explicit módon nem definiálja a ''Herméneutikában,'' egyszerűen adottnak veszi e nyelvi kifejezések értelmét, az értelem boncolgatásába csak olyan esetekben megy bele, ha valami probléma, ellentmondás adódik.
125. sor:
 
: „Tehát azoknak a dolgoknak az esetében, amelyek vannak vagy voltak, vagy az állítás vagy a tagadás szükségszerűen vagy igaz vagy téves. És ha az egyetemes dolgokról egyetemesen jelentünk ki, mindig igaz az egyik, a másik pedig téves; meg az egyedieknél is, mint ahogy letárgyaltuk. Viszont ha egyetemes dolgokról nem egyetemesen jelentünk ki valamit, akkor nem feltétlenül van így, ezeket is letárgyaltuk.
: Viszont azoknak az egyedi dolgoknak az esetében, melyek a jövőben lesznek, nem ugyanúgy van. Mert ha minden állítás vagy tagadás vagy igaz, vagy téves, akkor minden szükségszerűen van, vagy szükségszerűen nincs. Mert ha az egyik azt mondja, hogy lesz valami, a másik pedig azt, hogy nem lesz az a valami, akkor világos, hogy e kijelentések egyike feltétlenül igaz (ha ti. minden állítás vagy igaz vagy téves). Mert mindkét eset nem állhat fönnt egyszerre ilyen kijelentéseknél. Ugyanis ha igaz az a kijerlentés, hogy valami fehér, vagy az, hogy nem fehér, akkor az szükségszerűáenszükségszerűen fehér vagy nem fehér, ha pedig az fehér vagy nem fehér, akkor igaz volt vagy az állítás, vagy a tagadás. Ha pedig nem úgy van a valóságban, akkor téves a kijelentés, és ha téves a kijelentés, akkor nem úgy van. Tehát vagy az állítás, vagy a tagadás szükségszerűen igaz. Tehát semmi nincs és nem is lesz véletlenül, meg esetlegesen, és semmi sem olyan, hogy vagy lesz, vagy nem léeszlesz, hanem minden szükségszerűen, nem pedig esetleg van (mert annak van igaza, aki állít, vagy annak, aki tagad). Hiszen máskülönben éppúgy lehetett volna, hogy létrejön, meg az is, hogy nem jön létre; hiszen ami esetleges, az semmivel sem inkább van vagy lesz így, mint úgy. Aztán meg: ha fehér valami, akkor helyesen mondottuk az előbb, hogy fehér lesz; tehát mindig helyesen mondottuk akármiről, ami létre fog jönni, hogy lesz. Ha pedig mindig helyesen mondottuk, hogy van, vagy hogy lesz, akkor az nem képes nem lenni vagy nem létrejönni. Ami pedig nem képes nem létrejönni, az lehetetlen, hogy ne jöjjön létre. Ami pedig lehetetlen nem létrejönni, az szükségképpen létrejön. Tehát minden, ami lesz, szükségképpen jön létre. Tehát semmi sem lesz esetleg vagy véletlenül…”
 
== Idézetek ==
135. sor:
==== Az összekapcsolás ====
 
:„Miként a lélekben van olykor olyan gondolat, amely se nem igaz, se nem téves, máskor pedig e kettő közül valamelyik feltétlenül vonatkozik rá, úgy van a beszédben is. '''Hiszen az igazság és a tévedés a kapcsoláson és a szétválasztáson múlik. Nos, a névszók és igék önmagukban véve kapcsolás és szétválasztás nélküli gondolatokhoz hasonlóak'''; például ''ember, fehér'' – '''amikor semmit sem teszünk hozzá – egyáltalán nem téves és nem igaz'''. Ennek bizonyítéka: ''kecskeőz'' is kifejez valamit, de se nem igaz, se nem téves, ha nem tesszük hozzá azt, hogy ''van,'' vagy ''nincs,'' akár általában, akár időben [ti. múltban v. jelenben] értve.” (1. fej.)
 
:„ […] Mert a ''van'' és a ''nincs'' nem a dolgot fejezi ki, akkor sem, ha csupán annyit mondunk, hogy <small>>></small>van<small><<</small>; ez ugyanis nem valami, hanem csak egy kapcsolatot fejez ki, amelyet elképzelni sem lehet a kapcsolatban lévők nélkül.” (3. fej.)
 
:„ […] Hiszen az ''ember'' szó jelentése, ha nem tesszük hozzá azt, hogy ''van,'' vagy ''volt,'' vagy ''lesz,'' vagy valami ilyesmit, egyáltalán nem '''kijelentés''' […]. A névszó és ige legyen csupán '''kifejezés''', mert azt nem mondhatjuk, hogy ha valaki így fejez ki valamit hanggal [értsd: pusztán összekapcsolás és állítmány nélküli szavakat kimondva], már ki is jelent valamit, akár kérdezi őt valaki, akár pedig magától kezd el beszélni. ” ''(5. fej.)''
 
==== Névszók ====
157. sor:
:„Hasonlóképp a ''beszélt'' és ''beszélni fog'' nem ige, hanem igealak. Abban különböznek az igétől, hogy az ige a jelen időt fejezi ki, ezek viszont a jelenen kívülit, azaz a múltat és jövőt.”
 
:„Maguk az igék önmagukban kimondva névszók, és kifejeznek valamit – hiszen aki kimondja őket, az rögzíti a gondolatot, s aki hallja, az megnyugszik ennél – de még nem fejezik ki azt, hogy van-e a dolog, vagy nincs … ” nincs…” (3. fej.)
 
=== Mondattan ===
174. sor:
 
:„Elsősorban az állítás olyan, ami ''egy,'' aztán a tagadás. A többi mind kapcsolás révén egy. […] Hogy miért ''egy'' és nem ''több'' a ''kétlábú szárazföldi állat'' – hiszen nem azért egy, mert egyszerre mondjuk ki – ezt egy másik tanulmány mondja el.
: Az a kijelentés egy, amely vagy egy dolgot, vagy egy tényt fejez ki, vagy kapcsolás révén egy; több a kijelentés akkor, ha több, nem pedig egy dolgot fejez ki, vagy pedig ha nincs összekapcsolva. […] '''A kijelentések részben egyszerűek, mint például a valamit valamiről állító, vagy a valamit valamiről tagadó mondat, részben összetettek, mint például egy bizonyos összetett mondat. Az egyszerű kijelentés olyan mondat, amely valamiről azt fejezi ki, hogy különböző időkben vonatkozik vagy nem vonatkozik rá valami. ''' ” ''(5. fej.).''
 
:„Egy pedig az az állítás és az a tagadás, amelyik ''egy'' dolgot fejez ki ''egy'' dologról, akár egyetemes fogalomról van szó egyetemesen, akár nem így. Például ''Minden ember fehér'' – Nem minden ember fehér; Az ember fehér'' – ''Az ember nem fehér; Némely ember fehér'' – ''Egy ember sem fehér'' – ha a ''fehér'' egyet jelent. Ha azonban két olyanra, amik nem alkotnak egy dolgot, egy szó van, akkor nem ''egy'' az állítás. Például ha valaki ''köpeny''nek nevezné az embert és a lovat, akkor az a kijelentés, hogy ''A köpeny fehér,'' nem ''egy'' állítás lenne (és a tagadása sem egy lenne). Mert ez nem más, mintha azt mondanánk, hogy „a ló fehér és az ember fehér”, az pedig semmi más, mintha azt mondanánk, hogy „a ló fehér és az ember fehér”. Ha tehát e két utóbbi több dolgot fejez ki és több kijelentés, akkor világos, hogy az első kijelentés is vagy többet vagy semmit sem fejez ki – hiszen egyetlen ember sem ló. Tehát ezeknél sem feltétlenül igaz az egyik ellentmondás és téves a másik.” ''(8. fej.).''
182. sor:
 
:„Elsősorban az állítás olyan, ami egy, aztán a tagadás. A többi mind kapcsolás révén egy. Azonban minden kijelentés tartalmaz vagy igét, vagy igealakot. Hiszen az ''ember'' szó jelentése – ha nem tesszük hozzá a ''van''t, a ''volt''ot vagy a ''lesz''t, vagy ilyesmit – egyáltalán nem kijelentés […].” ''(5. fej.)''
:„Az állítás pedig olyan kijelentés, amelyvalamitamely valamit valaminek tulajdonít […]”. ''(6. fej.)''
 
(hogy miért egy és nem több a ''kétlábú szárazföldi állat'' – hiszen nem azért egy, mert egyszerre mondjuk ki – ezt egy másik tanulmány mondja el.” (5. fej.)
193. sor:
==== Mondatosztályzás ====
 
: „Mivel azonban a dolgok részben egyetemesek, részben meg egyediek – egyetemesnek azt nevezem, aminek az a természete, hogy többről állítjuk, egyedinek pedig azt, amelyiknek nem ilyen a természete; például ''ember'' egyetemes, ''Kallias'' pedig egyedi – ezért azt, hogy valami vonatkozik vagy nem vonatkozik valamire, szükségképpen egyszer egyetemes, máskor viszont egyedi alany esetében jelentjük ki. Nos, ha egyetemesen jelentjük ki egy egyetemes alany esetében, hogy valami vonatkozik, illetve nem vonatkozik rá, skkorakkor ellentétesek a kijelentések. Hogy egyetemes alanyra vonatkozóan egyetemesen jelentünk ki valamit, ezt úgy értem, hogy például ''Minden ember fehér'' – ''Egy ember sem fehér.'' Amikor azonban egyetemes alanyra vonatkozóan, de nem egyetemesen jelentünk ki valamit, akkor nem ellentétesek a kijelentések, noha azok a dolgok, amikről a mondatok szólnak, lehetnek ellentétesek. Nem egyetemesen kijelenteni valamit egyetemes alanyra vonatkozóan cndash; ezt úgy értem, hogy például ''Az ember fehér'' – ''Az ember nem fehér.'' Mert noha az ''ember'' egyetemes dolog, a kijelentést nem vettük egyetemesnek. Hiszen a ''minden'' nem egyetemes dolgot jelöl, hanem azt, hogy egyetemesen jelentünk ki valamit. Viszont azt, hogy az állítmány egyetemesen jelent ki, nem helyes egyetemesen kijelenteni, hiszen nem is állítéásállítás az, melyben egyetemesen jelentjük ki, hogy az állítmány egyetemesen jelenti ki, például ''minden ember minden élőlény.''
:Ellentmondóan tehát az az állítás áll szemben a tagadással, amely ugyanarról jelent ki valamit egyetemesen, amiről a tagadás azt jelenti ki, hogy az nem egyetemes; például ''Minden ember fehér'' – ''Egy ember sem fehér'' – Némely ember fehér. S ellentétesen áll szemben az egyetemes állítás és az egyetemes tagadás; például ''Minden ember igazságos'' – ''Egy ember sem igazságos.'' Ezért ezek nem lehetnek egyszereegyszerre igazak, a velük szembenállók viszont igazak lehetnek egyzserreegyszerre ugyanarra a dologra vonatkozóan; például ''Nem minden ember fehér'' – ''Némely ember fehér.” (7. fej.)''
 
=== Modális kijelentések ===
201. sor:
=== A lelki tartalmak ===
 
Az a feltevés, hogy a szavak által kifejezett lelki tartalmak mindenkinél bizonyos értelemben ugyanazok (modern szóhasználattal ''objektív''ek vagy ''interszubjektívek);'' elég logikus, hiszen ha semmilyen azonosság vagy legalábbis hasonlóság nem lenne, akkor képtelenek lennénk megérteni egymást. De hogy milyen értelemben és mennyire ugyanazok a lelki tartalmak, az már nemcsak a görögöknek okozott problémát, hozzájárulva a [[szofizmus|szofisták]] és a szókratikus filozófusok ([[Szókratész]], [[Platón]], [[Arisztotelész]]) közti, több filozófiai áramlat kialakulásához vezető vita megindulásához, hanem a középkorban a korai [[skolasztikus filozófia]] központi problémája is volt (nominalizmus-realizmus vita: léteznek-e az általános fogalmak, objektívek-e, vagy csak azért léteznek, mert úgy állapodtunk meg, azaz pusztán csak interszubjektívek); de ugyanígy a a XIX. szd.század végén kialakult modern [[analitikus filozófia|analitikus filozófiában]] is újra felbukkant, mint az egyik legfontosabb alapprobléma.
 
Mellesleg a [[filológia|filológusok]] évezredek óta vitatkoznak arról, hogy a lelki tartalmak interszubjektivitására vonatkozó, az ''A lélekről'' c. munkára utaló megjegyzés („… de mindenről ''A lélekről'' c. munkám már bővebben foglalkozott …”) valójában az utóbbi mű melyik részére is hivatkozik, erről a kérdésről ugyanis ott semmi részletesebb nem található. ''H. Maier (Arch. Gesch. d. Philos., XIII., 23-71. 1.)'' nyomán az a felfogás terjedt el, hogy ez az utalás a két mondattal ez után következő részre vonatkozik: „…az igazság és a tévedés a kapcsoláson és a szétválasztáson múlik …”, mert erről az arisztotelészi lélektan részeként ''(De Anima III.6.)'' tényleg esik szó. Az ''A lélekről'' c. munkában található az egyszerű mondatok alanyra (szubjektum) és állítmányra (predikátum) osztása is.
207. sor:
=== Névszók és igék ===
 
Arisztotelésznél a(z egyszerű) névszó (<sup>+</sup>¸</sup></sup>ονόματα) olyan, közmegegyezés szerinti jelentésű szavakat jelent, melyek önmagukban kifejeznek valamit, azaz van jelentésük (bár nem megítélhetőek, azaz igazágértékükigazságértékük nincs); továbbá bármely részük vagy jelentés nélküli, vagy ha van jelentése, akkor az „véletlenszerű”, vagyis [[homonim]], és a rész és egész jelentésének semmi köze egymáshoz <sup> [[Herméneutika#Névszók|(Idézet…)]] </sup> (illetve ha van, akkor összetett a névszó, de ezekkel Arisztotelész külön nem foglalkozik, hisz egyszerű névszókból állnak elő) <sup> ([[Herméneutika#A név mint atomi jelentésű jel: A terminus|ld. még itt]]) </sup>.
 
Tágabb értelemben véve az igék (ρ<sup>+</sup>˛</sup></sup>ήματα) is névszók tehát, ezek a "valódi", szűkebb értelemben vett névszóktól abban különböznek, hogy az időt is kifejezik. Szűkebb értelemben (és Arisztotelész névszódefiníciójanévszó definíciója szerint) a névszók olyan közmegegyezés szerinti jelentésű nevek, melyek egy része sem jelent már önállóan semmit, és az időt sem fejezi ki <sup> [[Herméneutika#Igék|(Idézet…)]] </sup>.
 
=== A név mint atomi jelentésű jel: A terminus ===
220. sor:
:''„Azonban nem az egyszerű névszók módjára van az összetetteknél. Mert amazoknál a rész egyáltalán semmit sem jelent, emezeknél viszont akarna jelenteni valamit, azonban mégsem jelent semmit, ha különválasztjuk. Példa erre a ''kalózhajó''ban a ''hajó.''''” ''(2. fej.)''
** Először is nyilvánvaló, hogy magyar nyelven e példa érthetetlen, miért van itt, hiszen a ''kalózhajóban'' ( <sup>+</sup>¸</sup></sup>επακτροκέλης) a ''hajó'' (κέλης) jelent valamit. Azonban a 4. fejezetben ezt némileg pontosítja:
:''„ Ezt úgy értem, hogy például az ''ember'' is kifejez valamit, de nem fejezi ki azt, hogy ''van,'' sem azt, hogy ''nincs'' […]. Az ''ember'' egy szótagja sem fejez ki azonban már semmit, meg az ''egér''ben a >>''gé''<< nem fejez ki semmit, hanem csupán hang. Az összetett szavak esetében viszont a rész is kifejez valamit, csak persze – mint már mondottuk – nem önmagában.”''
 
A megoldást mindezek alapján a filológia abban találta meg, hogy Arisztotelész korában a ξέλης nem jelentett hajót (hanem paripát vagy női nemi szevetszervet). Így aztán Arisztotelész megjegyzése úgy magyarázható (még ha kicsit erőltetetten is), hogy a kalózhajóban a hajó tényleg nem jelent semmit abban az értelemben, hogy jelentésének semmi köze az összetett szó jelentéséhez. Az ilyen összetett névszók tehát jelentés szempontjából nem is igazán összetettek, mert a tagok atomi jelentésének nem összege az összetett szó jelentése. Hasonló példák a magyar nyelvben is akadnak: például a derelyére alkalmazott ''„barátfüle”'' összetett szó valójában nem jelentés-szerint-összetett, hiszen a ''barát'' és a ''füle'' tagok jelentenek valamit, de egyik jelentésének sincs semmi köze a derelye jelentéséhez, hisz ez utóbbi se nem barát (pap), se nem fül. <!--Vasmacska, -->
* Mindez azonban továbbra sem oldja meg a problémát, hiszen a valódi, jelentés szerinti összetett szavak sem felelnek meg Arisztotelész definíciójának: hiszen ezek kifejeznek valamit, de tagjaik, azaz némely részük is kifejez valamit, ráadásul a tagok jelentésének „összege” kiadja az összetétel jelentését (az indoeurópai nyelvekben is vannak ilyen „valódi” összetett szavak, noha ritkábbak; és minden bizonnyal az [[ógörög nyelv]]ben is voltak. De legalábbis a magyar nyelv számára a definíció mindenképp módosításra szorul: névszó olyan szó, mely kifejez valamit, de vagy részei már nem fejeznek ki semmit, vagy ha igen, akkor a szóból a kiválasztott rész elhagyásával kapott részek mindegyike is kifejez valamit (vagyis a maradék „részek” is értelmesek). A másik lehetőség, hogy Arisztotelész eredeti definíciójában a „névszó” helyére „egyszerű névszót” értünk. Amire a második idézetben Arisztotelész utalhatott, az az is lehet, hogy az összetett szavak tagjai tulajdonképpen nem azonosak azzal a szóval, amit a tag önmagában kifejez, hanem az összetétel tagjaiként jelentésük önállótlan, mivel szükség van a másik tagra az összetett szó jelentésének meghatározásához.
* Az utóbbi esetben azonban még egy kiegészítést kell tennünk. Ti. vannak olyan egyszerű névszók, melyek egy-egy része véletlenül jelent valamit. Például a ''lőre'' szóban az ''őr.'' Ilyenkor azonban az ''őr'' betűsor nem jelent semmit, csak véletlenül azonos egy értelmes szóval, vagyis itt egy a [[homonímia|homonímiával]] rokon jelenségről van szó.
229. sor:
==== A deskripciók problémája ====
 
Még egy más problémát is említ: amellett, hogy a kijelentés olyan, ami ''egy''séget jelent, ti. hogy bármely része már nem kijelentés, még az olyan több szóból álló, de egy valamire utaló meghatározások, [[deskripció]]k is, mint például ''kétlábú szárazföldi élőlény,'' habár nem kijelentések, szintén bizonyos értelemben „egyek” ''(5. fej.).'' De ezek más értelemben egyek, mint a kijelentések. Nemcsak a ''8. fejezet''ben ír még olyasmiről, aminek ehhez a problémához köze van, hanem mint mondja, „hogy miért egy és nem több […] – ezt egy másik tanulmány mondja el” – itt a ''Metafizika'' egyes részeire <sup>(Z, 12 és H, 6)</sup> céloz.
 
=== Részleges és határozatlan ===
 
Arisztotelész művei, ha a kezdeti nehézségeken túljutunk, tudománytörténeti szempontból azért is nagyon „izgalmasak”, mert a modern logikában is használatos fogalmak sokszor a szemünk előtt, fejezetről fejezetre születnek meg. Ennek egyik példája a '''határozatlan (kvantitású) kijelentés''' fogalma, ami a Herméneutikában még csak mint „nem egyetemes” van elnevezve, és sokszor gondot okoz Arisztotelésznek, hogy a nem egyetemes kijelentéssekkijelentések nem feltétlenül részlegesek, hanem néha több minden is érthetőek rajtuk. a 7. fejezet elején definiálja az egyetemes kijelentés fogalmát, de már a fejezet közepén ezt a megkülönböztetést teszi:
:„Hirtelenjében helytelennek tűnhetne ez [hogy az egyetemes dolgokról szóló nem egyetemes kijelentések közül ugyanannak az alanynak az állítása és tagadása nem feltétlenül ellentmondóak], mivel úgy látszik, hogy az a kijelentés, hogy ''Az ember nem fehér,'' ugyanakkor azt is jelenti, hogy ''Egyetlen ember sem fehér.'' Pedig nem is jelenti ugyanazt, meg nem is feltétlenül egyszerre igazak vagy tévesek.” Ebből világos, hogy nem tekinti úgy, hogy ''Az ember nem fehér'' határozatlan tagadás egyben egyetemes tagadás is lenne. Az ''Első Analitiká''ban már világosan megkülönbözteti mind a három fajta kvantitást.
 
=== A kizárt harmadik problémája ===