Johannes_Duns_Scotus
Kategooriate loogiline vaatlemine
Scotus väidab ka, et loogika uurib kategooriates kui kõige üldisemates sugudes olevaid omadusi. Tavaliselt öeldakse, et kadegooriaid kui kõige üldisemaid sugusid vaatleb metafüüsik, mitte loogik. Scotus ei ütle, nagu oleks kategooriad kõige fundamentaalsemad olemuste tüübid ainult sellepärast, et aru neist aru saab. Üks asi on metafüüsiline arusaam, et kategooriad on olemuste tüübid, teine asi on kategooriate kui kõige üldisemate sugude loogiline vaatlemine. Kategooriad on vaimuväliste asjade olemuste tüübid sõltumatult sellest, kas aru neist aru saab. Sugu ei ole vaimuväliste asjade olemisviis, vaid aru arusaamisviis. Kategooriad on vaimuvälised olemuste tüübid, aga aru saab nendest aru saada kui üldistest sugudest. See, et loogika vaatleb kategooriaid kui kõige üldisemaid sugusid, tähendab, et loogika ei vaatle kategooriaid mitte olemustena, vaid kõige üldisemate univooksete mõistetena, mille abil aru saab vaimuvälistest olemustest aru. Kategooriaid mõistetakse kõige üldisemate sugudena, kuivõrd neid mõistetakse aru poolt arusaadutena. Kategooriaid uuritakse loogikas sellepärast, et aru rajab mõistussuhte olemise tüübi kui arusaadu ja kõigi sellesse sukku kuuluvate asjade kui aru poolt arusaadute vahel. See on ühisest soost olemise suhe. Ei ole parallelismi kategooriate olemisviisi ja nendest arusaamise viisi vahel. Scotuse arvates ei ole kategooriatel kui olemise tüüpidel midagi ühist, aga aru saab neist aru ühise mõiste all. Ühine viis, kuidas kategooriatest aru saadakse, ongi kõige üldisema soo mõiste. Sellele mõistele ei vasta mitte ükski asi. On ainult substantsid, kvaliteedid, kvantiteedid jne, millel pole ühtki ühist tunnusjoont. Et aru vaatleb iga kategooriat kategooriana ja kõige kõrgema soona, siis on kategooriate loogilisel uurimisel ühtsus. " ... midagi intentsionaalset univookset saab rakendada kõikidest sugudest asjadele, sest esmase intentsiooni asjade kogu omavaheline erinevus ei takista, et aru mõistaks neid sama mõistmisviisiga. Aga intentsioonid omistatakse neile niivõrd, kui aru neid mõistab, ja sellepärast saab sama liiki intentsioone omistada erinevatele asjadele." Vaimuvälises maailmas on substantsid, kvaliteedid, kvantiteedid jne. Need kuuluvad erinevatesse olemise tüüpidesse sõltumatult sellest, kuidas me neist aru saame. See, et me mõistame neid olemusetüüpe samamoodi, nimelt kategooriatena või kõige üldisemate sugudena, on ainult meie arusaamisviisi tunnusjoon, ja pole ühist olemisviisi, mis sellele vastaks, sest kategooriad on vahetult erinevatena. Et loogikud vaatlevad kategooriaid kõigest predikamentide või kõige üldisematena, mitte olemustena, siis nad ei saa öelda, miks üks kategooria teisest erineb. Loogikud peavad kategooriatevahelise erinevuse võtma metafüüsikutelt, sest kategooriaid saab eristada ainult juhul, kui neid vaadeldakse olemustena. Näiteks substantsi eristatakse kvaliteedist ainult juhul, kui teda vaadeldakse substantsina, mitte juhul, kui teda vaadeldakse kõige kõrgema soona, st ühena kõige üldisematest univooksetest mõistetest, mida saab maailma kohta moodustada, sest kõik kategooriad on kõige üldisemad sood samal määral. Sellepärast ei saa loogika kategooriatevahelist erinevust tõestada.