Principiile logicii tradiionale

PRINCIPIUL LA CE SE ENUNUL LOGIC FORMULA

LOGIC REFER
(enunul
ontologic)

PRINCIPIUL Orice obiect n acelai timp i sub AA

IDENTITII are nsuiri acelai raport, orice
proprii, form logic este /
(orice obiect este relativ ceea ce
identic numai cu constante, este.Formulri A = id A
sine nsui, n care l echivalente:
acelai timp i sub difereniaz (A este
acelai raport) de alte orice noiune identic cu
obiecte. (termen) este A)
identic cu
sine;
dac o
propoziie este
adevrat,
atunci ea este
adevrat.

PRINCIPIUL Este n acelai timp i sub (A &A)

NON- imposibil ca acelai
CONTRADICIEI un obiect s raport este imposibil (Nu sunt
posede i s ca o propoziie s fie simultan
(un obiect nu poate nu posede adevrat i s nu fie adevrate
fi n acelai timp i aceeai adevrat.Formulare i A, i
sub acelai raport i proprietate. echivalent: non-A)
A i non-A)
o propoziie i
negaia ei nu
pot fi
mpreun
adevrate.

Este necesar n acelai timp i sub A V A

ca un obiect acelai raport este
PRINCIPIUL s posede necesar ca o
TERULUI sau s nu propoziie s fie
posede o admis sau s nu fie
 EXCLUS proprietate; admis.Formulri
a treia echivalente:
(sau este acceptat posibilitate
o propoziie A, sau nu exist. o propoziie
este respins dintr- sau are o
un sistem de valoare de
propoziii, a treia adevr sau nu
posibilitate fiind o are, a treia
exclus) posibilitate nu
exist;
o propoziie
sau este
adevrat sau
nu este
adevrat; a
treia
posibilitate nu
exist.

Orice Orice propoziie are AB

proprietate un temei.Formulri
PRINCIPIUL a unui echivalente:
RAIUNII obiect este
SUFICIENTE condiionat orice
de alte propoziie,
(pentru a accepta proprieti. pentru a fi
sau pentru a ntemeiat,
respinge o trebuie s se
propoziie trebuie sprijine pe alte
s dispunem de o propoziii,
raiune suficient pentru orice
sau, altfel spus, de propoziie
un temei adevrat
satisfctor) exist cel
puin o
propoziie
adevrat,
diferit de
prima, care o
implic.