Laiendatud loogiline ruut
Bruce E. R. Thompson
Antud artiklis ma näitan, et on võimalik laiendada süllogistlikku loogikat kvantorite “vähesed”, “palju” ja “enamus” kaasahaaramise teel.
1. Viie kvantoriga loogiline ruut. Loogilise ruudu väidete-vahelised suhted sõltuvad sellest, kas ruut väljendab aristotellikku või Boole’i raamistikku. Copi [3] ja teised seletavad erinevust Boole’i ja Aristotelese raamistuse vahel nendinguga, et aristotellikus raamistuses nii universaalseid kui partikulaarseid väiteid mõistetakse tegevat, oletavat, eeldavat või implitseerivat eksistentsiaalnõudväidet (claim), kuna Boole’i raamistikus vaid osaväiteid mõistetakse sellisel viisil. See tähendab, et aristotellikus raamistuses mistahes väide vormis “Iga S on P” võib olla võetud kui esitusväide (asserting) liikmete olemasolust nii S klassis kui P klassis, kuna Boole’i raamistikus universaalne avaldisväide (statement) ei tee kumbagi nõudvat (claim) esildist. Minu soovitus on, et universaalsed ja partikuaarsed väited ei tee eksistentsiaalnõudväidet (claim) ega oleta, ei sea eelduseks või implitseeri (assume, presuppose or imply) sellist nõuet. Mulle näib väga asjakohane ükssarvikute puhul esildada nõustumisväide (assent) “Mõned on isased ja mõned on emased”, kuna ükssarvikud on fiktsionaalselt mõistetud olema suutelised seksuaalseks reproduktsiooniks. Siiski, kõneleja ei sooviks olla mõistetud esildavana ükssarvikute olemasolu. Osaväidete selline tõlgendus päästab aristotelliku raamistuse paljudest paradoksidest, millega see võiks muidu olla koormatud[1]. Ma tõlgendan muuhulgas kvantoreid “vähesed”, “palju” ja “enamus” tegevat seda sama eksistentsaalnõudväidet nagu kvantoreid “kõik”, “mõni” ja “ükski”. Traditsiooni järgimiseks nimetan ma avaldisväiteid (statements), mida kvantifitseeritakse “kõik” ja mõni vastavalt universaalseteks väideteks ja partikulaarseteks väideteks. Lisaks, ma võtan kasutusele järgmise uue terminoloogia väidetele, mida kvantifitseeritakse “enamusega”, viidatakse kui enamusväidetele (majority statements) ja väidetele, mida kvantifitseeritakse “palju”’ga, viidatakse kui mitmikväidetele (common statements). Allpool selgitamisele tulevatel kaalutlustel osutatakse väidetele, mida kvantifitseeritakse kvantoriga “vähesed”, neile osutatakse kui predominantsetele väidetele[2]. Mõisted “eitus(väide)” ja “jaatusväide” (negative, affirmative) kasutatakse üldkasutatavas tähenduses. Vaheväiteid esitatakse järgmise notatsiooniga:
P – predominantselt jaatavad
B – predominantselt eitavad
T – enamusjaatavad
D – enamuseitavad
K – mitmikjaatavad
G – mitmikeitavad[3].
Nagu klassikalises süllogistlikus loogikas, me kasutamine:
A – üldjaatav
E – üldeitav
I – osajaatav
O – osaeitav
Kvantorid võivad olla mõistetud kõigis kolmes mõttes, mida võib nimetada minimaaltähenduseks, maksimaaltähenduseks ja täpseks tähenduseks. Minimaalses tähenduses kvantorit tõlgendatakse ütlevat “vähemalt” või “mitte vähem kui” nimetatud kvantiteet. Maksimaaltähenduses mõistetud kvantorit tõlgendatakse ütlevat “ainult” või “mitte enam kui”. Täpses tähenduses mõistetud kvantor kombineerib minimaal- ja maksimaaltähendused, nii et see ütleb “mitte enam ega vähem kui” [4]. Kvantorit “mõni” mõistetakse traditsionaalselt minimaaltähenduses “vähemalt mõni (ja võimalik et kõik)”. Ma teen ettepaneku kasutada “palju” ja “enamus” samas tähenduses[4]. Lähtuvalt Petersonist [5] ma teen ettepaneku eirata “vähesed” minimaaltähendust, kuna see on liiga lähedalt sünonüümne “mõne”ga loogiliselt tähenduslikuks olemiseks ja piirab “vähesed” (few) süllogistliku loogika otstarbeks, selle maksimaaltähenduseks “mitte enam kui vähesed (kui mõni)”. Selle kokkuleppe omaksvõtmise tagajärg on see, et “vähesed” nagu “ükski” on eitav kvantor. Seega, väide vormis “(Vaid) vähesed S pole P” (Few S are P)[5] peab olema klassifitseeritud kui eitavad väited, kuna väited vormis “Vähesed S on P” (Few S are not P) on loogiliselt ekvivalentsed jaatavate väidetega. See tähendab, et “Vähesed S pole mitte-P” (Few S are not-P) on teatud topelteituse liik, mis on otseselt paralleelne topelteitusele “Ükski S pole mitte-P”. Tulemuseks on laiendatud loogiline ruut (extended square of opposition), mis on illusteerituna järgmisel leheküljel. Mitte kõik suhted, mis asuvad ruudus pole näidatud. Siiski, oluline on mõista, et iga väide ruudus on seotud mistahes teise väitega nii või teistsugusel viisil. Mitteavaldatud suhted võivad olla tuletatud lihtsa ekstrapolatsiooniga suhetest, mis on näidatud.

Sellisel moel oleks võimalik tuletada kuus lisakontraarset suhet A-D, A-G, E-T, E-K, P-D, B-T ja kuus subkontraarset suhet I-B, I-D, P-O, T-O, K-D, T-G. A ja E kontraarsus on klassikalise süllogistilise loogika osa nagu on I ja O subkontraarsus. Et A ja O, E ja I on kontradiktoorsed, on samuti klassikalise sülogistliku loogika osa. Kõik ülejäänud suhted, mis asetesevad loogilises ruudus peavad sobituma meie normaalintuitsioonidega. Vaatleme neist mõningaid, mõistmaks selle tõepärasust. –Lähtuvalt aluseksvõetud seisukohast, et “vähesed” tuleb mõista maksimaaltähenduses ja et seda tuleb mõista tegevat samasugust nõudeväidet ekistentsi suhtes nagu “kõik”, siis peaks olema ilmne, et P väited tulenevad A väidetest implikatsiooni teel. Kui “Ükski Spirituaal pole Pahvikslööv”[6] on tõene, siis peab olema ka tõene, et “(Vaid) Vähesed (kui üldse) Spirituaalid on Pahvikslöövad”[7]. Samamoodi, kui “Iga S on P” on tõene, siis “Vähesed S pole P” on samuti tõene. Tingimusel, et me mõistame “enamust” tähendavat “vähemalt enamus” (ja võimalik et kõik), peab olema võrdselt selge, et “Enamus S on P” peab tuletuma väitest “Vähe Spirituaale pole Pahvikslöövad”. Peterson [5] on veendunud “enamus” ranges tähenduses, mis lubab kahel väitel olla loogiliselt ekvivalentsed. Ma ei kasuta “enamust” selles eritähenduses. Minu arvates “Vähe S pole P” teeb piisavalt tugeva nõudeväite, et oleks kehtetu järeldada seda nõrgemast nõudeväitest “Enamus S on P” (kus viimane on lihtsalt “enamus” tavakasutus, s.o mida Peterson nimetab genus’likuks[8] tähenduseks). On selge, et K väited järelduvad T väidetest implikatsiooni varal. Vaatame klassi, mis sisaldab ainult kolme liiget, s.o samalt kunstnikult pärinevat kolme maali sisaldavat hulka. Kaks maalidest on saanud kahjustada, ent kolmas on täiuslikus seisundis. Kuivõrd on tõene, et rohkem kui pool maalidest on kannatada saanud, oleme me õigustatud esildama “Enamus maalidest on rikutud”. Nii kaua, kuni me mõistame kvantorit “palju” tähendavat “paljud neist maalidest, millest me nüüd räägime” ja mitte lihtsalt tähendavat “paljud maalid”, ma kinnitan, et esildis “Paljud maalidest on rikutud” võib kõlada tavatult, ent see pole loogiliselt ebakorrektne. Selle arusaamise kohaselt K väited tõepoolest tuletuvad T väidetest implikatsiooni varal[9]. Lõpuks I-väited tuletuvad K-väidetest implikatsiooni varal: kui “Paljud Spirituaalid on Pahvikslöövad” on tõene, siis selgelt “Mõned Spirituaalid on Pahvikslöövad” on samuti tõene, ent mitte vice versa. Samuti, loomulikult, mis on asetatud loogilise ruudu jaataval poolel, peab töötama täpselt samasugusel viisil ruudu eitaval poolel. Tingimusel, et implikatsioonisuhted on antud ja tingimusel, et kontradiktsioon, mis on A ja O väidete vahel ja E ja A väidete vahel, võib olla palju ülejäävaid kontraarsus- ja subkontraarsussuhteid tuletatud lihtsast ekstrapolatsioonist: näiteks, O ja P väited on subkontraarsed, kuna O väärus tingib kontradiktsiooni varal vastava A väite tõesust. Seega O väärus nõuab vastava P tõesust, ehkki O tõde ei ütle meile midagi vastavast P väitest. Teised kontraarsus- ja subkontraarsussuhted võivad olla verifitseeritud samasugusel moel. T ja D kontraarsus on üks neist suhtest, mida ei saa tuletada. Sellegi poolest mõlemad võivad olla tõesed: kui “Enamus Spirituaale on Pahvikslöövad” on tõene, siis ei ole võimalik, et “Enamus Spirituaale on Pahvikslöövad” on tõene. Siiski, mõlmad võivad olla väärad neil haruldastel puhkudel, kui täpselt pool klassist omab partikulaarsusatribuuti, mis teisel poolel puudub. Näiteks, kui tosinast munast täpselt kuus on katki, siis “Enamus mune on katki” on väär, ent samuti, siis kui “Enamus mune ei ole katki”. Peterson [5] väidab ja nõustun, et “Vähesed Spirituaalid on Pahvikslöövad” ja “Paljud Spirituaalid on Pahvikslöövad” räägivad teineteisele vastu. “Vähesed” on mõistetud maksimaalselt ja “palju” on mõistetud minimaalselt, on tegelikult antonüümid nagu “kuum” ja “külm”. Seega, asendades ühe teisega selles propositsiooni-kontekstis peaks pöörama ümber väite tõeväärtuse. Pane tähele “Paljud S on P” tõesuseks ei tehta oletust (assumption), kas S, mis on P, on rohkem-vähem või samasugune arv või hulk kui S, mis on mitte-P[10].
2. Otsejäreldused (immediate inferences). Lisaks otsejäreldustele, mida laiendatud loogiline ruut väljendab (ja sellest ekstrapoleeritud järeldustele) on obversioon[11] kehtiv P, T, K, B, D ja G väidetele, samamoodi kui A, E, I ja O väidete jaoks. Konversioon[12] ja kontrapositsioon[13] ei ole kehtivad iga otsese järelduse jaoks, ehkki, nagu klassikalises süllogistlikus loogikas, konversioon on kehtiv E ja I väidetele ja kontrapositsioon A ja O väidetele.
3. Reeglid viie-kvantorilisele süllogistlikule loogikale. Järgmised reeglid näivad haaravat meie intuitsioone argumentide osas, mis on süllogistlikus vormis.
Distributsioon[14]:
- Iga universaalne väide distributeerib selle subjekti.
- Iga negatiivne väide distributeerib selle predikaati.
- Iga predominantne, enamus- või mitmikväide distributeerib subjekti, siis ja ainult siis, kui selle subjekt on väiksem termin[15].
Kolmas distributsioonireegel on, enesestmõistetavalt, kogu süsteemi selgroog. See kaasab endaga üsna ad hoc viisil fakti, et vaheotsustused käituvad mõnikord justkui need oleksid universaalsed ja mõnikord justkui partikulaarsed, sõltudes (nagu selgub) sellest, kas nende subjekt on väiksem termin või mitte. Lisaks sellele, et kõlab ad hoc’ina, käib see märkimisväärse meelevaldusega ümber vana distributsiooni mõistega. Seega, distributsiooni mõiste on siin mõeldud olnud puhtfunktsionaalsena nagu see, “mida universaalne väide teeb selle subjektile.. jne”. Teiste sõnadega ma ei paku mingit muud õigustust distributsiooni reeglitele kui, et need lubavad süllogismi reeglitel edukalt eraldada kehtivad süllogismid kehtetutest.
Süllogismireeglid.
- Distributsioonireeglid:
- keskmine termin[16] peab olema distributeeritud vähemalt ühes eelduses;
- iga termin, mis on distributeeritud järelduses peab olema distributeeritud samuti eeldustes.
- Kvaliteedireeglid:
- peab olema vähemalt üks jaatav eeldus;
- kui järeldus on eitav, siis peab olema vähemalt üks eitav eeldus;
- kui on üks eitav eeldus, siis järeldus peab olema eitav.
- Kvantiteedireeglid:
- kui on olemas predominantne eeldus, siis järeldus ei pruugi olla universaalne;
- kui on üks enamuseeldus, siis järeldus ei pruugi olla universaalne või predominantne.
- Kui on mitmikeeldus (common), siis järeldus ei pruugi olla universaalne, predominantne või enamuslik.
Käesolev katsetus säilitab klassikalised aristotellikud reeglid võimalikult ligilähedaselt nende algsele vormile. Distributsioonireegleid, näiteks, ei ole muudetud, ent need hõlmavad nüüdsest hulka keerulisemaid probleeme.
Viisi, kuidas distributsioonireeglid töötavad, kehtetute argumentide vältimiseks, saab näidata mõningate kehtetute süllogismide vaatlemise teel. Esiteks 3.figuuri TAT süllogism, mis on intuitiivselt kehtetu:
Enamu M on P
Iga M on S
Enamus S on P
See süllogism täidab kõiki kvantiteedi ja kvaliteedi reegleid ja väiksem eeldus distributeerib keskmist terminit. Tõepoolest, kui see oleks IAI süllogism, siis oleks see kehtiv kõigis punktides. Ent, kuna järeldus on enamusväide, siis järeldub, et väiksem mõiste on distributeeritud järelduses, kuna T väide distributeerib väiksemat terminit, kuna väiksem termin ilmub selle subjektina. Ent väiksem termin ei ole eeldustes distributeeritud. See süllogism on seega kehtetu lubamatu väiksema termini tõttu. Järgmine süllogism – 3.figuuri TAK süllogism – on kehtetu samal põhjusel. Siin, siiski, on vähem ilmne, et see süllogism on intuitiivselt kehtetu:
Enamus M on P
Iga M on S
Paljud S on P
Oletame, et klassil S on 100 liiget, millest 3 kuuluvad klassi M, ülejäänud mitte. Klassi S kolmest liikmest, mis kuuluvad klassi M, kaks kuuluvad samuti klassi P. See olukord on konsistentne ülaltoodud süllogismi eelduste tõesusega. Sellest, mis on seni öeldud, selgub, et klassi S vähemalt kaks liiget kuuluvad samuti klassi P, ent meil ei ole põhjust uskuda, et see on tõene rohkem kui kahe liikme kohta. See ei ole võib-olla täpselt selge, milline määr on vajalik esildise “Paljud S on P” õigustamiseks, ent eeldades kõige ebasoodsamat puhku, ma kahtlen, et keegi peaks nõutavaks 100:2 määra piisavust. Seega, toodud süllogism peab olema kehtetu, nagu see ongi lubamatu väiksema termini tõttu. Lõpuks TED süllogism 2. figuurina:
Enamus P on M
Ükski S pole M
Enamus S pole P
See süllogism rakendab samuti kõiki kvaliteedi ja kvantiteedi reegleid. Jällegi on nende keskmine termin distributeeritud väiksema eeldusega. Siiski, nii suurem kui väiksem termin on distrubuteeritud järelduses, ent ainult väiksem termin on distrubuteeritud eeldustes. Kuna enamuslause distributeeris selle ainult subjekti, siis kui subjekt on väikesem termin, suurem termin jääb eelustes distibuteerimata ja süllogism on kehtetu. Võrdluseks, AAT süllogism 1.figuurina on kehtiv:
Iga M on P
Enamus S on M
Enamus S on P
Seegi kord on kõik kvaliteedi ja kvantiteedi reeglid rahuldatud. Suurem eeldus, olles A väide, distributeerib keskmist terminit. Väiksem termin on distributeeritud järelduses nagu ka esimestest näidetes. Ometi, suurem eeldus on samuti T väide väiksema mõistega selle subjektina. Seega, väiksem mõiste on samuti distributeeritud eeldustes ja kõik tingimused kehtivaks süllogismiks on rahuldatud. EKG süllogism 2.figuurina on samuti kehtiv:
Ükski P pole M
Paljud S on M
Paljud S pole P
Nagu varasema näite korral, ei pruugi olla täpselt selge, milline määr on nõutav väite esildise õigustamiseks, ent selleks et väiksem eeldus oleks tõene, me peame oletama, et see määr on saavutatud sõltumata arvust, mida me omistame erinevatele klassidele. Seega, see süllogism on kehtiv.
Kvaliteedireeglid, mis esinevad süllogistilises loogikas, ei ole muudetud mingilgi viisil predominantse, enamus- ja mitmikväidete lisamisega. Ent on oluline meeles pidada, et “vähesed” mõistetuna maksimaalselt, on eitussõna, nii et “Vaid vähesed S pole P” on eitav avaldisväide, kuna vastupidine on ekvivalentne jaatavale “Peaaegu iga S on P” (Almost all S are P). See tõstab esile mõningaid huvipakkuvaid seiku. Näiteks EPO süllogism 4.figuurina on kehtiv. See võib olla väljendatud:
Ükski P pole M
Vähesed M pole S
Mõned S pole P
See süllogism rikub reeglit 2a, st peab olema vähemalt üks jaatav eeldus. Ent, otseloomulikult, väiksem eeldus on jaatav, vaatamata selle algsele ilmele. Mõlema eelduse suhteliselt tugeva üldisuse tõttu on kiusatus teha mõnevõrra tugevam nõudeväide antud lõppjärelduses. See, siiski, ei oleks lubatav, kuna iga tugevam nõudeväide kui see partikulaarne, nõuaks, et järelduse subjekt oleks atributeeritud (kuna see on väiksem termin).
Ent väiksem termin ei ole distributeeritud neis eeldustes, kuna “Vaid vähesed S pole P” tuleb kohelda kui jaatus-, mitte kui eitusesildisväidet. Seetõttu ainult osajäreldus saab olla kehtiv. Klassikalises süllgistlikus loogikas pole kvantifitseerimisreeglid, ranges mõttes, tarvilikud, ehkki printsiip, et järeldus ei saa olla üldisem kui selle väiksem üldine eeldus sisaldub implitsiitselt tõsiasjas, et süllogism ei saa rikkuda seda printsiipi muutmata mõnda teist reeglitest. Predominantse, enamus ja mitmik-avaldisväidete liitmine süllogistlikule loogikale nõuab, et vähemalt selle printsiibi mõned osad oleksid väljendatud eksplitsiitselt nagu järgmine süllogism demonstreerib:
Iga M on P
Enamus S on M
Iga S on P
See selgelt kehtetu süllogism rahuldab kõiki kehtivusnõudeid, väljaarvatud reegel 3b, et süllogism suurema eeldusega ei pruugi omada universaalset järeldust. Peaks olema lihtne avastada teised süllogismid, mis näitavad, et reeglid 3a ja 3c pole samuti pealiskaudsed. Sellegi poolest, reegel “kui on partikulaareeldus peab olema ka järeldus partikulaarne” ei ole väljendatud süllogismi reeglites, kuna, nagu klassikalises süllogistlikus loogikas ükski süllogism ei rikuks seda reeglit, rikkumata samas mõnda teist reeglit.
4. Kehtivad süllogismid. Aristotellikus mustris on 24 kehtivat süllogismi, mis kasutavad tuttavaid A, E, I ja O esildisväiteid[17]. P, T, K, B, D ja G esildisväidete lisamine tõstab seda arvu 93-le: 1. ja 2. figuuris mõlemas 30, 3.figuuris 18, 4.figuuris 15. Need on järgmised:

Autoril oli 7 footnote’i, teised on tõlkija poolt selgitavalt lisatud.
KIRJANDUS
[1] Angell, R, B., Reasoning and Logic, Appleton-Century-Crofts, New York, 1964, pp. 135-138
[2] Bird, O., Syllogistic and Its Extensions, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964.
[3] Copi, I. M., Introduction to Logic, Macmillan Company, New York, 1978
[4] Mercier, C., A New Logic, The Open Court Publishing Company, Chicago, 1912
[5] Peterson, P. L., “On the logic of “few”, “many”, and “most”,” Notre Dame Journal of Formal Logic, vol. 20 (1979), pp. 155-179.
[1] Täielikuma argumendi annavad Angell[1]. Peterson võtab omaks vastupidise arusaamise (et kõik jaatused ja eitused eeldavad nende subjektmõistete olemasolu). Tuleb tähele panna, et see ei ilmne asjas endas, missugust vaadet – minu või Petersoni oma – on omaks võetud selles osas, millest alljärgnevalt tuleb juttu. Kummalgi puhul on võimalik järeldada “Mõni S on P” tõesus, kui on antud “Iga S on P” tõesus, või “Iga S on P” väärus, “Mõni S on P” vääruse korral. Vaid kokkumiksitud vaade, Boole’i raamistus, tooks kaasa raskusi.
[2] Peterson nimetas mitmikesildisväiteid (common statements) “enam kui partikulaarsed” ja predominatseid “vähem kui universaalsed”. Ta formuleeris predominantseid esildisväiteid mõistega “enamus”, ent lisas, et see oli mitte-genus’lik “enamus” tähendus, mida kasutati predominantsetes väidetes, erinevalt “enamuse” genus’likule tähendusele, mida kasutatakse enamuslausetes. Minu terminoloogia on, ma leian, märkmisväärselt vähem kohmakas.
[3] Kuue kaashääliku varal noteerimine on üle võetud lähtuvalt ettepanekust, mille tegi Peterson, kes kasutas järgmist põhjendust:
“Pole olemas piisavalt lisanduvaid täishäälikuid (või tähti nende jaoks) omistamaks lihtsalt tähti vaheotsustustele (intermediate propositions) (kuut on vaja). Seetõttu, miks mitte minna üle kaashäälikutele? Kõige ilmsemad kaashäälikud on minu arvates (koht, kust alustada foneetika kasutamist) katkestused. Juhtuvad olemas olema väga ilmsed katkestused (mitteproblemaatilised kaashäälikud). Need kolm katkestust on P, T ja K, st kaashäälikud, millega algavad sõnad “pats”, “tikkima” ja “kass” (ingl k pat, tat and cat). Need on hääletud katkestused. Neile kolmele vastavad kolm häälikulist katkestused (need samad kaashäälikud, ent häältepaelte opereerimisega) – nimelt, B, D ja G (algushelid bad, dad ja god). Enamgi, järjekord on eestpoolt tahapoole artikulatsiooni punktide osas (foneetiliselt). O ja B on kahendhäälikud (mida moodustatakse kahe huulega). T ja D on alveolaarsed (mida moodustatakse keeleotsa puudutusega hambakaare taga). K ja G on pehmed suulae häälikud (mida moodustatakse keele keskosa puudutusega vastu suulage). Niisiis, meil on kaks muutujat (häälikuline ja hääletud) kolmest asjast (kolmest peatusest eestpoolt tahapoole), täpselt sobiv muster vaheotsustuste noteerimiseks. See korraldus sobitub järgneval viisil mnenoomilise ülesehitusega:
P = predominantne
T = MajoriTy (enamus)
K = Kommon (common – mitmik)”
[4] Peterson tegi samasuguse eelduse, ehkki ta nimetas minimaaltähendust “laiaks” või “vabameelseks” tõlgenduseks.
[5]
[6] Tõlk – algkuju No Songs are Pretty
[7] Tõlk – Kvantori few antud tõlgendus on tõlkija arvates marginaaltõlgendus ja sarnaneb eesti väljendile “vaevalt et ükski on”, st ükski pole.
[8] Tõlk- autor kasutab generic
[9] Peterson [5], pp. 166-167 ja footnote 13 edasise arutluse kohta.
[10] Peterson teeb samasuguse eelduse, ehkki seda varjutab tähtis tüpograafiline viga tema 7.footnote’is. Teine rida pärast (iii) Q(SP) peab olema “Q(SṖ)”
[11] Tõlk – loogiline muutmine: S on P ≡ S ei ole mitte-P
[12] Tõlk – loogiline ümberpööramine: S P ≡ P S
[13] Tõlk – loogiline vastandamine ehk muutmine koos ümberpööramisega
[14] Tõlk – loogiline distributsioon ehk kõigi indiviidide kaasamine klassi
[15] Tõlk – ld k terminus minor, ingl k minor term
[16] Tõlk – ld terminus medius, ingl k middle term
[17] Bird [3], pp 22-23