PRINCIPIILE LOGICII TRADIŢIONALE

Principiile logicii tradiţionale (sinteză)

LA CE SE
REFERĂ (enunţul
PRINCIPIUL ENUNŢUL LOGIC FORMULA
ontologic)
LOGIC

PRINCIPIUL Orice obiect are În acelaşi timp şi sub acelaşi A≡A

IDENTITĂŢII însuşiri proprii, raport, orice formă logică este
/
relativ constante, ceea ce este. Formulări
(orice obiect este
care îl diferenţiază echivalente: A = id A
identic numai cu
de alte obiecte.
sine însuşi, în  orice noţiune (termen) (A este identic
acelaşi timp şi sub este identic cu sine; cu A)
acelaşi raport)
 dacă o propoziţie este
adevărată, atunci ea este
adevărată.

PRINCIPIUL Este imposibil ca un În acelaşi timp şi sub acelaşi ⌐(A &⌐A)

NON- obiect să posede şi raport esteimposibil ca o propoziţie
(Nu sunt
CONTRADICŢIEI să nu posede să fie adevărată şi să nu fie
simultan
aceeaşi proprietate. adevărată. Formulare
(un obiect nu poate adevărate şi A,
echivalentă:
fi în acelaşi timp şi şi non-A)
sub acelaşi raport şi  o propoziţie şi negaţia ei
A şi non-A) nu pot fi împreună adevărate.

PRINCIPIUL Este necesar ca un În acelaşi timp şi sub acelaşi A V ⌐A

TERŢULUI obiect să posede raport este necesar ca o propoziţie
EXCLUS sau să nu posede o să fie admisă sau să nu fie admisă.
proprietate; a treia Formulări echivalente:
(sau este acceptată
posibilitate nu
o propoziţie A, sau
există.  o propoziţie sau are o
este respinsă dintr- valoare de adevăr sau nu o are, a
un sistem de treia posibilitate nu există;
propoziţii, a treia
posibilitate fiind
 o propoziţie sau este
adevărată sau nu este adevărată; a
exclusă) treia posibilitate nu există.

PRINCIPIUL Orice proprietate a Orice propoziţie are un temei. A→B

RAŢIUNII unui obiect este Formulări echivalente:
SUFICIENTE condiţionată de alte
proprietăţi.  orice propoziţie, pentru
(pentru a accepta a fi întemeiată, trebuie să se
sau pentru a sprijine pe alte propoziţii,
respinge o
propoziţie trebuie
 pentru orice propoziţie
adevărată există cel puţin o
să dispunem de o propoziţie adevărată, diferită de
raţiune suficientă prima, care o implică.
sau, altfel spus, de
un temei
satisfăcător)