Propoziţiile categorice

Propoziţiile categorice sunt formele logice în care se exprimă un singur raport logic între 2 termeni,
fără a pune în legătură cu altceva sau a condiţiona acest raport de altceva.

Valoarea de adevăr a propoziţiilor categorice poate fi:

1 – adevărat
0 - fals
? - probabil

Structura propoziţiilor categorice :

a) Subiectul logic (notat cu „S”) – termenul despre care se enunţă ceva

b) Predicatul logic (notat cu „P”) – termenul prin care se enunţă ceva despre S

c) Copula – redată prin verbul a fi

- exprimă calitatea propoziţiilor categorice (afirmativă sau negativ ă)

d) Cuantorul - exprimă cantitatea propoziţiilor categorice (extensiunea lui S)

- poate fi exprimat explicit sau implicit
- tipuri de cuantori:
a. Universali (ex. Toţi, toate, orice, fiecare, nici unul, nimeni, etc)
b. Particulari (ex. Unii, mulţi, etc.)
c. Individuali – introdus prin pronume personal, nume propriu, etc.

Tipuri de propoziţii categorice:

Propoziţiile categorice pot fi clasificate după următoarele criterii :

1. După criteriul calităţii:

- Propoziţii categorice afirmative – S şi P sunt în raport de concordanţă
- Propoziţii categorice negative – S şi P sunt în raport de opoziţie

2. După criteriul cantităţii:

- Propoziţii categorice universale - când este cuprinsă întreaga extensiune a lui S
- Propoziţii categorice particulare - când este cuprinsă doar a parte din extensiune lui S
- Propoziţii categorice singulare - când se face referire la un singur element din extensiunea lui S

3. După criteriul cantităţii şi calităţii :

Din combinarea celor două criterii de clasificare a propozi ţiilor categorice se ob ţin 4 tipuri de propozi ţii
categorice:

TIPUL SIMBOLUL FORMULA CITIREA

 PROPOZIŢIEI STANDARD
Universal-afirmativă A SaP Toti S sunt P.

Universal-negativă E SeP Nici un S nu este P.

Particular-afirmativă I SiP Unii S sunt P.

Particular-negativă O SoP Unii S nu sunt P.

Raporturi logice între propoziţiile categorice :

Între propoziţiile categorice se pot stabili raporturi logice a căror natur ă este redat ă sintetic printr-o
schemă,numită pătratul logic al propoziţiilor categorice (fil. Boethius).