Propozitii Categorice

Etimologic vorbind conceptul de categorie in logica formala vine din gr. Vategorem = a
afirma, a enunta; practic propozitia categorica in sensul actual reprezinta acelasi lucru: afirmă sau
neagă ceva despre altceva. S este P. S nu este P

Ca structură seamana cu orice propozitie uzuala numai ca semnificatia sa este aceea doar de
a cuprinde dimensiunea extensionala a unei notiuni.
Astfel avem:
a. Subiectul logic  - cel despre care se vorbeste. S
b. Predicatul logic- vorbeste despre subiect.P
c. Copula – adica elementul de legatura dintre subiectul logic si predicatul logic care
poate fi afirmativ sau negativ.
d. Cuantorii – care sunt de mai multe feluri:
1.Universali prin intermediul carora se exprima extensiunea subiectului in totalitatea sa:
Toti, Niciun
 Singulari  prin care se exprima unicitatea subiectului si tocmai din acest motiv sunt
inglobati in cuantori universali. 
2.Particulari prin care se exprima doar partial extensiunea subiectului. Unii, Unele….
 Exemplu de cuantori: universali (toti, toate, niciun, nicio); particulari (unii, unele);
singulari (un,o).
 

Tipuri de propozitii categorice

Propozitiile categorice se impart dupa urmatoarele criterii:

A. Cantitate – insemnand maniera in care este luata extensiunea subiectului.

- Universale – extensiunea subiectului este luata in totalitatea sa.
Toți S sunt P. : Toți oamenii sunt muritori.
Nici un S nu este P. : Nici un arbore nu este animal.
- Particulare – insemnand ca extensiunea subiectului a fost luata doar partial.
Unii S sunt P. Unii elevi sunt sportivi.
Unii S nu sunt P. Unii oameni nu sunt medici.
B. Calitate – aidca forma in care se prezinta copula.
Afirmative. Toți oamenii sunt muritori. Unii îngeri sunt demoni.
Negative. Nici un fluture nu este melc. Unii sportivi nu sunt medici.
 
Universal afirmative: Toti S sunt P – prescurtare SaP.
Toți copiii sunt inocenți.
Universal negative: Niciun S sunt P- SeP.
Nicio pasăre nu este mamifer.
Particular afirmative: Unii S sunt P – SiP.
Unii ingineri sunt arhitecți.
Particular negative: Unii S nu sunt P- SoP.
Unii arhitecți nu sunt muzicieni.