Documente Academic
Documente Profesional
Documente Cultură
1
P este predicatul: coapte
sunt este copula
nici o este cuantorul universal
nu este negaţia pentru negativă
Alte exemple schematice (forma standard) de propoziţii universal negative:
Nici un S nu este P.
Nimic nu este atât S cât şi P.
Toţi S sunt non-P.
Particular afirmativă (SiP)
Într-o propoziţie particular afirmativă se spune ceva doar despre o parte din elementele sferei
subiectului.
Unele pere sunt coapte.
Propoziţia se simbolizează: SiP
S este subiectul: perele
P este predicatul: coapte
sunt este copula
unele este cuantorul particular
Alte exemple schematice (forma standard) de propoziţii particular afirmative:
Unii S sunt P.
Ceva este atât S cât şi P.
Particular negativă (SoP)
Într-o propoziţie particular negativă se neagă ceva doar despre o parte din elementele sferei
subiectului.
Unele pere nu sunt coapte.
Propoziţia se simbolizează: SoP
S este subiectul: perele
P este predicatul: coapte
sunt este copula
unele este cuantorul particular
nu este o negaţie, o face negativă
Alte exemple schematice (forma standard) de propoziţii particular negative:
Unii S nu sunt P.
Există ceva care este S şi nu este P.
Există S care sunt non-P.
2
2. TIPURI DE RAPORTURI ÎNTRE PROPOZIȚIILE CATEGORICE
Între cele patru tipuri de propoziţii categorice (a,e,i,o) se stabilesc anumite raporturi logice, ce
pot fi sintetizate într-o schemă grafică de tip „pătrat logic”, numită „Pătratul logic al lui Boethius”.
Raporturile logice din cadrul „pătratului logic” se realizează sub forma unor inferenţe.
DEF: Inferenţă – operaţie logică prin care una sau mai multe propoziţii, numite premise este dedusă o
altă propoziţie, numită concluzie.
Cel mai uşor mod de a învăţa raporturile este de a memora pătratul lui Boethius. Sunt patru tipuri
de raporturi: contradicţie, contrarietate, subcontrarietate şi subalternare.
Ne vom gândi ce decurge din adevărul unei propoziţii, de exemplu pentru o propoziţie de forma
SaP pentru SiP, SoP, SeP. Pe post de predicat şi subiect sunt aceiași termeni, nu facem decât să
schimbăm forma propoziţiei.
De la o universală afirmativă ajungem la particular afirmativă, particular negativă şi universal
negativă. S şi P rămân neschimbaţi, sunt aceiaşi termeni dacă vrei să faci exerciţiul ăsta cu un exemplu
concret.
Atenţie! când facem analiza, propoziţia de la care plecăm o considerăm adevărată. Adevărată din
start. O luăm ca atare. Apoi, ne gândim ce decurge din adevărul ei pentru fiecare din restul propoziţiilor
diferite de ea, dar care au în comun cu ea acelaşi subiect şi predicat.
Fie propoziţia universal afirmativă:
SaP Toate materiile şcolare sunt plictisitoare.
S: materiile şcolare
P: plictisitoare
O luăm ca adevărată. Ce decurge din ea pentru adevărul propoziţiilor SiP, SeP, SoP? Să le luăm pe rând:
SiP: Unele materii şcolare sunt plictisitoare. Este adevărată. Dacă este adevărat că toate materiile
sunt plictisitoare, automat unele vor fi. Eu deja am spus mult mai mult: am spus că toate sunt
plictisitoare. Între SaP şi SiP se află un raport de subalternare.
3
SeP: Nici o materie nu este plictisitoare. Este falsă. Din moment ce toate sunt plictisitoare, nu ai
cum să spui acum că nici una nu e. Între SaP şi SeP se află un raport de contrarietate.
SoP: Unele materii nu sunt plictisitoare. Este falsă. Am spus deja că toate sunt plictisitoare. Dacă
propoziţia de la care plec (SaP) este adevărată, şi este, astea sunt regulile jocului, atunci aceasta va fi
falsă. Între SaP şi SoP se află un raport de contradicţie.
Observaţie: raporturile din cadrul pătratului logic se stabilesc între propoziţii categorice care au acelaşi
subiect şi predicat logic.
I. RAPORTUL DE CONTRADICŢIE
Două propoziţii se găsesc în acest raport atunci când nu pot fi împreună nici false, nici adevărate:
adevărul uneia atrage după sine falsitatea celeilalte, şi invers. Raportul se instituie între propoziţii care
diferă atât din punct de vedere calitativ, cât şi cantitativ:
SaP – SoP; SiP – SeP
Propoziţiile aflate în acest raport de contradicţie diferă atât prin cantitate (una este universală,
iar cealaltă particulară), cât şi prin calitate (una este afirmativă, iar cealaltă este negativă).
Exemplu: din adevărul propoziţiei „Toate pisicile sunt feline” deducem falsitatea propoziţiei „Unele pisici
nu sunt feline” iar din falsitatea propoziţiei „Nici o pasăre nu cântă” deducem adevărul contradictoriei
acesteia: „Unele păsări cântă”.
Exemple de propoziţii aflate în raport de contradicţie:
● „Toate blondele au ochi albaştri” şi „Unele blonde nu au ochi albaştri”.
● „Nici o brunetă nu este simpatică” şi”Unele brunete sunt simpatice”
În ceea ce priveşte valoarea de adevăr: propoziţiile aflate în raport de contradicţie nu pot fi nici
împreună adevărate, dar nici împreună false (dacă una este adevărată, cealaltă este falsă şi invers).
Formule inferenţiale corespunzătoare raportului de contradicţie:
● (SaP =1) → (SoP = 0); (SaP = 0) → (SoP = 1);
● (SoP =1) → (SaP = 0); (SoP = 0) → (SaP = 1);
● (SeP =1) → (SiP = 0); (SeP = 0) → (SiP = 1);
● (SiP =1) → (SeP = 0); (SiP = 0) → (SeP = 1).
4
Adevărul uneia dintre aceste propoziţii implică falsitatea contrarei sale, dar din faptul că una din
ele este falsă nu putem deduce nimic cert despre cealaltă. Propoziţiile aflate în acest raport de
contrarietate sunt de aceeaşi cantitate (ambele universale), dar de calitate diferită (una este afirmativă,
iar cealaltă negativă).
Exemplul 1: din adevărul propoziţiei „Toate pisicile sunt feline” putem deduce falsitatea propoziţiei „Nici
o pisică nu este felină” însă din falsitatea propoziţiei „Toate păsările zboară” nu putem deduce adevărul
propoziţiei „Nici o pasăre nu zboară”.
Exemplul 2: „Nici un om nu este nemuritor” şi „Toţi oamenii sunt nemuritori”.
Două propoziţii contrare pot fi ambele false:
„Toţi oamenii mănâncă legume”
„Nici un om nu mănâncă legume”.
5
În ceea ce priveşte valoarea de adevăr: propoziţiile aflate în raport de subcontrarietate nu pot fi
simultan false (dacă una este falsă, atunci cealaltă este adevărată), dar pot fi simultan adevărate (dacă
una este adevărată, atunci cealaltă va fi sau adevărată sau falsă).
Formule inferenţiale corespunzătoare raportului de subcontarietate:
● (SiP =0) → (SoP = 1); (SiP = 1) → (SoP = ?);
● (SoP =0) → (SiP = 1); (SoP = 1) → (SiP = ?).