Inferente imediate cu propozitii categorice

Inferente imediate cu propozitii categorice

1. Conversiunea propozitiilor categorice

In general, se numeste conversiune inferenta imediata prin care dintr-o propozitie data derivam o alta propozitie, de aceeasi calitate, care are aceeasi termeni cu prima, dar cu functii schimbate. Propozitia de la care se pleaca se numeste convertenda, iar cea obtinuta din ea se numeste conversa.

SaP PiS

SeP PeS

SiP PiS

SeP SoP

Propozitiile particular negative nu se convertesc.

2. Obversiunea

Se numeste obversa unei propozitii propozitia de calitate opusa, care are acelasi subiect ca propozitia initiala, iar ca predicat contradictoriul predicatului acesteia. Deducerea celei de a doua propozitii din prima se numeste obversiune, iar propozitia initiala poarta numele de obvertenda. Obversiunea se desfasoara uniform la toate cele patru tipuri de propozitii categorice.

SaP SeP

SeP SaP

SiP SoP

SoP SiP

3. Contrapozitia

Se numeste contrapozitie inferenta imediata in care, pornind de la o propozitie data, numita contraponenda, se ajunge la o propozitie, numita contrapusa, ce are ca subiect contradictoriul predicatului propozitiei initiale.

Prin convertirea obversei unei propozitii cu predicatul P obtinem o propozitie avand ca subiect pe non-P, deci o contrapusa a celei dintai. Prin urmare, contrapusa se obtine printr-o obversiune urmata de o conversiune.

SaP SeP PeS

SeP SaP PiS

SiP SoP

SoP SiP PiS

Se observa ca particulara afirmativa nu admite contrapusa, deoarece obversa ei este o particulara negativa, iar particularele negative nu se pot converti.

Propozitiile obtinute mai sus prin convertirea obversei se numesc contrapuse partial. Daca asupra acestor contrapuse partial aplicam o noua obversie, obtinem contrapusa total:

SaP SeP PeS PaS

SeP SaP PiS PoS

SoP SiP PiS PoS

4. Conversa obvertita si inversa

Conversa obvertita se obtine prin obvertirea conversei unei propozitii:

SaP PiS PoS

SeP PeS PaS

SiP PiS PoS

Propozitia SoP nu poate fi convertita, prin urmare nu va avea nici conversa obvertita.

Se numeste inversa a unei propozitii o propozitie implicata logic de aceasta si care are ca subiect contradictoriul subiectului ei. Conform legilor contrapozitiei:

SaP PaS SiP SoP

SeP PeS PaS SiP SoP

Deci, in cazul ambelor universale, avem drept inverse propozitii particulare. Pe de alta parte, o propozitie particulara, indiferent daca este afirmativa sau negativa, nu admite inversa.