Johannes_Duns_Scotus
Kategooriate loogiline vaatlemine
Scotus esitab Thomase ja Hendriku lähenemisele alternatiivi. Scotuse järgi ei konstitueeri kategooriaid kaks metafüüsilist aspekti, vaid kategooriad on metafüüsiliselt lihtsad asjad ja olemused. Iga asja tuntakse millenagi ära tänu tema loomusele, mis on teatud tüüpi loomus. Scotuse järgi ei saa asja tema olemisviisist lahutada (võib-olla sellepärast ta ongi umbusklik olemise ja olemuse eristuse suhtes). Kuigi Scotus ütleb, et kategooriad on metafüüsiliselt asjad, ei pea ta kategooriat lihtsalt kõigi teatud kategooriasse kuuluvate asjade komplektiks. Kategooria on olemuse tüüp, mis ei ole ei üksik ega üldine. Indiviidid kuuluvad oma liiki, kuid mitte oma olemusse, vaid nad on oma olemusega reaalselt identsed ja nende olemus konstitueeribki indiviidid kui asjad. Asju saab küll sorteerida liikideks ja sugudeks, aga liigid ja sood on loogikalised mõisted, mis ei sõltu mitte olemuse olemisviisist, vaid viisist, kuidas olemusest aru saadakse. Niisugused omadused nagu subjektis olemine ja subjektis mitteolemine ei ole vaimuvälised olemisviisid, vaid intentsionaalsed mõisted, mis kuuluvad olemustele ainult kui arusaadutele. Nii et kategooriatel ei ole mitte kaks ontoloogilist koostisosa, vaid neid saab vaadelda loogikaliselt ja metafüüsiliselt. Scotuse järgi ajavad Thomas ja Hendrik segi viisi, kuidas kategooriaid vaadeldakse, (klassifitseerivate mõistetena), ja viisi, kuidas kategooriad on, (olemustena ja vaimust sõltumatute asjadena). Metafüüsiliselt vaadelduna erinevad kategooriad üksteisest iseenesest ja vahetult erinevate asjadena, mitte mingi olemisviisi pärast, mis neile kuidagi kuulub ja on nendest lahus: "Möönan seega, et jaotus on piisav ning nad erinevad reaalselt." Hendrik Gentist peab subjektis mitteolemise omadust reaalseks olemisviisiks, mis konstitueerib substantside kategooria. Scotus seevastu peab seda intentsionaalseks omaduseks, mis kuulub substantsi kategooriale ainult niivõrd, kui aru vaatleb seda kõrgeima soona. Vaimuvälises maailmas ei ole sellele vastavat olemisviisi, mis oleks substantsi kategooriast endast lahutatav. Mõnikord võib küll kategooriate intentsionaalne omadus küll vastata mõnele reaalsele asjale vaimuvälises maailmas, aga selline vastavus ei ole regulaarselt leitav. Näiteks on peale subjektis olemise suhte, mis on mõistussuhe, ka metafüüsiline aktsidentsi substantsis olemise suhe. See viimane ei ole suhe predikaadi ja subjekti vahel propositsioonis, kahe olemuse vaheline suhe, mis on vaadeldud omaette ja on reaalselt erinev reaalse aktsidentsi olemusest. Scotus möönab, et termin "inhereerima" ("sees olema") on ekvivookne, sest see võib olla kas esmase intentsiooni termin, mis tähistab reaalset suhet, või teisese intentsiooni termin, mis tähistab suhet predikaadi ja subjekti vahel. Metafüüsik vaatleb esimest, loogik tegeleb teisega. "Kategooriates" vaadeldakse seda teist laadi inhereerimist. Loogikaline inhereerimine on defineeritud kui subjekti kohta olemusvälise mõiste preditseerimine ja see vastandub preditseeritud olemise suhtele, mis defineeritakse subjekti kohta olemusse kuuluva mõiste preditseerimisele: "Kus peab teadma, et "on kohal ja on puudu" (ehk "seesolemine ja mitteseesolemine", mida Aristoteles oma definitsioonis postuleerib, on ekvivookselt esmase ja teisese impositsiooni nimed. Niivõrd kui need on esmase impositsiooni nimed, öeldakse "Metafüüsika" VII raamatus [I, 1028a18-20] "aktsidentsi olemine on seesolemine"; ja seda reaalse aktsidentsi kohta, millest seal räägitakse. ... Teisel viisil on "kohalolemine" või "puuduolemine" teisese impositsiooni nimi ning tähistab nende [asjade] preditseerimist, mis on väljaspool subjekti olemust või teisest soost kui subjekt, nii nagu "[millegi kohta] preditseeritud olemine tähendab nende olemuslike asjade preditseerimist, mis on subjektiga samas soos." Reaalset inhereerimissuhet peegeldab mõistetevaheline predikatsioon ebatäpselt. Seesolemine ehk inhereerimine teisese intentsioonina on viis, kuidas predikaati selle subjektile omistatakse, kui ta on subjekti olemuse väline. Sellisele preditseerimisviisile ei vasta reaalsete aktsidentside olemisviisi: on küll reaalne inhereerimissuhe substantside ja aktsidentside vahel, kuid see inhereerimine ei ole Scotuse järgi aktsidentside olemisviis. Inhereerimine esmase intentsioonina on aktsidentside olemusest reaalselt erinev ning on neile lisanduv suhe. Järelikult ei saa sellest, et kõik aktsidentaalsed predikaadid inhereerivad oma subjektis ühtemoodi, järeldada, et on kõigile aktsidentsidele kui reaalsetele olevatele ühine olemisviis. Sellepärast Scotus ei nõustugi Genti Hendriku kategooriate deduktsiooniga: aktsidentsid kui vaimust sõltumatud olemused on vahetult ja täielikult erinevad, ja pole ühist olemisviisi, mis vastaks ühisele viisile, kuidas aktsidentaalsed predikaadid subjektidele lausetes omistatakse. Mõned probleemid saab püstitada ja lahendada üksnes loogikas, teised aga üksnes metafüüsikas. Näiteks on küsimused predikatsiooni kohta loogikalised ja küsimused kategooriatevahelise reaalse erinevuse kohta metafüüsilised.