Propoziii categorice

Kategorein (gr) = a predica

1. Def: Propoziia categoric este cea mai simpl form logic n care se exprim existena unui
raport ntre doi termeni.
Ex: Unele romane sunt captivante.
Niciun poem nu este plictisitor.

Propoziiile categorice fac parte din clasa propoziiilor cognitive (declarative), deci pot avea valori de
adevr:
1 adevrat
0 fals
[? - plauzibil]
2. Structura standard a unei propoziii categorice:

1. Subiect logic (S) = termenul despre care se spune ceva n propoziie
2. Predicat logic (P) = termenul care se spune despre subiect
3. Copula = verbul a fi care face legtura ntre S i P
-> forma verbului a fi determin calitatea propoziiei categorice; ea poate fi afirmativ
sau negativ
4. Cuantorul = cuvntul care arat ct de mult din clasa subiectului est einclus /exclus din
clasa predicatului
-> acesta destermin cantitatea propoziiei categorice; ea poate fi puniversal sau
particular
* Tipuri de cuantori:
a) universal -> ex: toi, toate, fiecare, orice, niciunul, nimeeni etc.
-> introduce propoziia categoric universal
b) particular -> introduce propoziia categoric particular
ex: unii, unele, muli, exist cel puin un
c) individual -> introduce propoziia categoric universal pentru c extensiunea lui S este
reprezentat de un singur obiect i deci P se spune despre ntreaga extensiune a lui S
Ex: Lmile sunt acre.
= Toate lmile sunt acre

Tem: construii 10 exemple de propoziii categorice i identificai structura/elementele
fiecreia.



Tipuri de propoziii categorice

Formula standard Simbol Cantitate Calitate
Toi S sunt P SaP Universal Afirmativ
Niciun S nu este P SeP Universal Negativ
Unii S sunt P SiP Particular Afirmativ
Unii S nu sunt P SoP particular Negativ


Obs 1: Propoziiile exclusive introduse prin expresii de forma numai unii, doar unii,
niciunul cu excepia se transform n propoziii neexclusive de calitate invers
Ex: a) Numai unii soldai sunt curajoi. -> Unii soldai nu sunt curajoi.
b) Numai unii erpi nu sunt veninoi. -> Unii erpi sunt veninoi.

2 : Propoziiile exceptative cele cu nelesul Nimeni n afar de S nu poate fi P, dar nu
neaprat toi S sunt P se transform n propoziii universale de aceeai calitate, schimbndu-
i reciproc locurile i funciile.
Ex: a) Numai vinovaii sunt speriai de lege. -> Toi cei speriai de lege sunt vinovai.
b) Numai ceii turbai nu sunt adoptai. -> Niciun cel adoptat nu este turbat.

Tem: p.26, ex: 1,2,4

Distribuirea termenilor
Un termen (subiect/predicat al propoziiei categorice) este distribuit dac propoziia n care
apare ia n considerare ntreaga lui extensiune; n caz contrar, el este nedistribuit.

Obs: Subiectul este distribuit n universale, iar predicatul este distribuit n negative.

Reprezentarea grafic a propoziiilor categorice

Obs: Euler -> poriunea haurat = obiectul gndirii
> Venn poriunea haurat = milimea vid
> X mulime nevid n care exist cel puin un element



Simbol Formula standard Euler Venn
SaP Toi S sunt P
SeP Niciun S nu este P
SiP Unii S sunt P
SoP Unii S nu sunt P



P
S
S P
S P
S P
S P S P
S P
S P
Raporturi logice ntre propoziii categorice
Ptratul lui Boethius
SaP SeP











SiP SoP

Raporturile logice redate schematic n Ptratul lui Boethius vizeaz propoziii
categorice care au aceeai subiect i acelai predicat logic, ale cror extensiuni
trebuie s fie nevide. Aceste raporturi logice pot fi considerate inferene
imediate.
Cunoaterea valorii de adevr a uneia dintre cele 4 propoziii permite, pe baza
raporturilor logice, determinarea valorilor de adevr ale celorlalte propoziii:

1) Raport de contradicie
SaP i SoP
SeP i SiP
Propoziiile nu pot fi mpreun nici adevrate, nici false
1->0; 0->1

2) Raport de contrarietate
SaP i SeP
Propoziiile nu pot fi mpreun adevrate, dar pot fi mpreun false
1->0; 0->?

3) Raport de subcontrarietate
SiP i SoP
Propoziiile nu pot fi mpreun false, dar pot fi mpreun adevrate
0->1; 1->?

4) Raport de subalternare
SaP i SiP
SeP i SoP
Propoziiile pot fi mpreun i adevrate i false

1->1 numai pentru SaP-> SiP i SeP-> SoP
Contrarietate
Subcontrarietate
S
u
b
a
l
t
e
r
n
a
r
e
S
u
b
a
l
t
e
r
n
a
r
e
0->0 numai pentru SiP-> SaP i SoP->SeP

Obs: ntre toate perechile de propoziii categorice cu acelai S i P se
stabilesc numai raporturi de opoziie (diferit de opoziia raporturilor
dintre termeni)