Documente Academic
Documente Profesional
Documente Cultură
PROPOZIȚII CATEGORICE
1. CARACTERIZARE GENERALĂ
2. DISTRIBUIREA TERMENILOR
3. CONVERSIUNEA ȘI OBVERSIUNEA
4. ALTE INFERENȚE IMMEDIATE VALIDE
RECAPITULARE
Raţionamentul reprezintă forma logică cea mai complexă
prin care din una sau mai multe propoziţii/enunţuri, numite
premise, este dedusă o altă propoziţie, numită concluzie.
Formele logice mai puţin complexe decât raţionamentul
sunt noţiunea şi propoziţia.
În structura oricărui raţionament sunt incluse
premisa/premisele şi concluzia.
Raţionamentele (inferenţele) deductive pot fi:
a) imediate – o singură premisă din care se derivă
concluzia;
b) mediate – două sau mai multe premise din care este
dedusă concluzia.
1. CARACTERIZARE GENERALĂ
Raporturile dintre propozițiile categorice, bazate
pe pătratul logic, constituie un prim tip de inferențe
imediate.
Deoarece propozițiile A, E, I, O se opun:
- fie prin cantitate și calitate (A, O, respectiv E, I)
- fie numai prin calitate (A, E și I, O)
- fie numai prin cantitate (A, I și E, O)
sunt numite inferențe imediate cu propoziții
categorice.
1. CARACTERIZARE GENERALĂ
Inferențele imediate cu propoziții categorice reprezintă
singurul caz de inferențe valide (corecte), în care din adevărul
unei propoziții putem infera falsitatea altei propoziții (ex. din
adevărul propoziției SaP inferăm falsitatea propozițiilor SeP și
SoP), iar din falsitatea unei propoziții putem infera adevărul
alteia (ex. din falsitatea propoziției SaP inferăm adevărul
propoziției SoP).
Tipurile fundamentale de inferențe immediate cu propoziții
categorice se bazează pe două operații logice distincte:
- conversiunea,
- obversiunea.
Inferențele immediate bazate pe conversiune și obversiune fac
parte din categoria raționamentelor deductive, deoarece nivelul
de generalitate al concluziei nu depășește nivelul de generalitate
al premisei.
2. DISTRIBUIREA TERMENILOR
Atunci când un termen este luat în întregul sferei
sale spunem că este distribuit, iar dacă este luat doar
într-o parte a sferei sale spunem că este nedistribuit.
„+” semnifică „termen distribuit”
„-” semnifică „termen nedistribuit”.
Tabelul distribuirii termenilor
S P Situația precizată în tabel arată că:
SaP + - - S este distribuit în propozițiile universale și
nedistribuit în propozițiile particulare;
SeP + +
- P este distribuit în propozițiile negative și
SiP - - nedistribuit în cele afirmative.
SoP - +
2. DISTRIBUIREA TERMENILOR
Precizarea caracterului distribuit sau nedistribuit al
termenilor din cadrul unei propoziții se impune deoarece
validitatea inferențelor immediate bazate pe conversiune și
obversiune depinde de respectarea legii distribuirii termenilor.
Această lege afirmă că: un termen poate apărea distribuit
în concluzie numai dacă este distribuit și în premisă.
Observație: Legea nu interzice ca orice termen distribuit în
premisă să fie nedistribuit în concluzie.
În aplicarea legii distribuirii termenilor, pornim de la
concluzie şi vedem care termen apare ca distribuit la nivelul
acesteia; dacă apare unul singur, legea se aplică numai pentru
acesta, iar dacă sunt ambii distribuiţi, legea se aplică pentru
amândoi. În concluzie, legea distribuirii termenilor se aplică
numai pentru termenii care apar ca distribuiţi în concluzie.
3. Conversiunea și obversiunea
Definiție: Conversiunea reprezintă operația logică prin
care, în trecerea de la premisă la concluzie, se inversează
ordinea termenilor sau, altfel spus, plecând de la o premisă
de forma S-P, ajungem la o concluzie de forma P-S.
Structura generală a inferențelor bazate pe conversiune
este:
S–P P–S
Premisa se numeşte convertendă iar concluzia
conversă.
Se inversează rolul termenilor: dacă premisa este de
forma S – P, concluzia (CONVERSA premisei) este de
forma P – S.
Conversiunea
Aplicând formula generală a conversiunii pentru fiecare tip
fundamental de propoziție și ținând cont de legea distribuirii
termenilor se obțin următoarele inferențe valide:
Obvertendă Obversă
A: Toţi S sunt P Nici un S nu este non-P
E: Nici un S nu este P Toţi S sunt non-P
I: Unii S sunt P Unii S nu sunt non-P
O: Unii S nu sunt P Unii S sunt non-P
OBVERSIUNEA
Aplicând formula generală a obversiunii pentru fiecare
tip fundamental de propoziție categorică se obțin
următoarele inferențe valide bazate pe obversiune:
SaP SeP Toți S sunt P Niciun S nu este non-P
Se cere:
I. Faceţi conversiunile lor prezentând şi formulele
corespunzătoare. Unde nu e posibil explicaţi de ce
(explicaţie completă).
II. Faceţi obversiunile lor prezentând şi formulele
corespunzătoare.
Exercițiul 2
Realizaţi conversiunea şi obversiunea în limbaj formal
şi natural a următoarelor propoziţii:
1. Toţi elevii conştiincioşi sunt apreciaţi.
2. Niciun liliac nu este pasăre.
3. Unele mamifere sunt acvatice.
4. Unii oameni nu sunt sensibili.