propozițiile categorice pot fi clasificate în patru tipuri pe baza „calității” și „cantității” lor sau a „distribuției Termenilor”lor. Aceste patru tipuri au fost mult timp numite A, E, I și O. Aceasta se bazează pe afirmarea Latină (affirm), referindu-se la propozițiile afirmative a și i, și nego (neg), referindu-se la propozițiile negative E și O.
cantitate și calitateedit
Cantitatea se referă la numărul de membri ai clasei de subiect care sunt utilizați în propoziție. Dacă propoziția se referă la toți membrii clasei de subiect, este universală. Dacă propunerea nu angajează toți membrii clasei de subiect, este specială. De exemplu, o propoziție I („unii S este P”) este particulară, deoarece se referă doar la unii dintre membrii clasei de subiect.
calitate este descris ca dacă propoziția afirmă sau neagă includerea unui subiect în clasa predicatului. Cele două calități posibile sunt numite afirmative și negative. De exemplu, o propoziție A („tot S este P”) este afirmativă, deoarece afirmă că subiectul este conținut în predicat. Pe de altă parte, o propoziție O („unele S nu sunt P”) este negativă, deoarece exclude subiectul din predicat.
| nume | declarație | cantitate | calitate |
|---|---|---|---|
| A | Toate S este P. | universal | afirmativ |
| E | No S este P. | universal | negativ |
| I | unele S este P. | particular | afirmativ |
| O | unele S nu sunt P. | particular | negativ |
un aspect important este definirea cuvântului unele. În logică, unii se referă la” unul sau mai mulți”, care este în concordanță cu”toți”. Prin urmare, afirmația „unele S este P” nu garantează că afirmația „unele S nu sunt P” este, de asemenea, adevărată.
Distributivitateedit
cei doi termeni (subiect și predicat) dintr-o propoziție categorică pot fi clasificați ca distribuiți sau nedistribuiți. Dacă toți membrii clasei termenului sunt afectați de propoziție, acea clasă este distribuită; altfel este nedistribuită. Prin urmare, fiecare propoziție are una din cele patru distribuții posibile de termeni.
fiecare dintre cele patru forme canonice va fi examinată la rândul său în ceea ce privește distribuția Termenilor. Deși nu sunt dezvoltate aici, diagramele Venn sunt uneori utile atunci când încearcă să înțeleagă distribuția Termenilor pentru cele patru forme.
a formEdit
o propoziție a distribuie subiectul predicatului, dar nu invers. Luați în considerare următoarea propoziție categorică: „toți câinii sunt mamifere”. Toți câinii sunt într-adevăr mamifere, dar ar fi fals să spunem că toate mamiferele sunt câini. Deoarece toți câinii sunt incluși în clasa mamiferelor, se spune că „câinii” sunt distribuiți „mamiferelor”. Deoarece toate mamiferele nu sunt neapărat câini, „mamiferele” nu sunt distribuite „câinilor”.
e formEdit
o propoziție E distribuie bidirecțional între subiect și predicat. Din propoziția categorică” Niciun gândac nu este mamifer”, putem deduce că niciun mamifer nu este gândac. Deoarece toți gândacii sunt definiți a nu fi mamifere și toate mamiferele sunt definite a nu fi gândaci, ambele clase sunt distribuite.
i formEdit
ambii termeni dintr-o propoziție I sunt nedistribuiți. De exemplu,”unii americani sunt conservatori”. Nici un termen nu poate fi distribuit în întregime celuilalt. Din această propunere, nu este posibil să spunem că toți americanii sunt conservatori sau că toți conservatorii sunt americani.
o formEdit
într-o propoziție O, numai predicatul este distribuit. Luați în considerare următoarele: „unii politicieni nu sunt corupți”. Deoarece nu toți politicienii sunt definiți de această regulă, subiectul este nedistribuit. Predicatul, totuși, este distribuit deoarece toți membrii „oamenilor corupți” nu se vor potrivi cu grupul de oameni definit ca „unii politicieni”. Deoarece regula se aplică fiecărui membru al grupului de oameni corupți, și anume „toți oamenii corupți nu sunt niște politicieni”, predicatul este distribuit.
distribuția predicatului într-o propoziție O este adesea confuză datorită ambiguității sale. Când se spune că o declarație precum „unii politicieni nu sunt corupți” distribuie grupul „oameni corupți” către „unii politicieni”, informațiile par de mică valoare, deoarece grupul „unii politicieni” nu este definit. Dar dacă, ca exemplu, acest grup de „unii politicieni” au fost definiți pentru a conține o singură persoană, Albert, relația devine mai clară. Declarația ar însemna atunci că, din fiecare intrare listată în grupul oamenilor corupți, nici una dintre ele nu va fi Albert: „toți oamenii corupți nu sunt Albert”. Aceasta este o definiție care se aplică fiecărui membru al grupului” oameni corupți ” și, prin urmare, este distribuită.
rezumat
| nume | declarație | distribuție | |
|---|---|---|---|
| subiect | predicat | ||
| A | Toate S este P. | distribuite | nedistribuite |
| E | No S este P. | distribuit | distribuit |
| I | unele S este P. | nedistribuit | nedistribuit |
| O | unele S nu sunt P. | nedistribuite | distribuite |
Criticedit
Peter Geach și alții au criticat utilizarea distribuției pentru a determina validitatea unui argument.
s-a sugerat că afirmațiile cu forma „unii A nu sunt B” ar fi mai puțin problematice dacă ar fi afirmate ca „nu orice A este B”, ceea ce este probabil o traducere mai apropiată de forma originală a lui Aristotel pentru acest tip de afirmație.