Principiile logicii tradiţionale (tabel)

 

PRINCIPIUL LOGIC

 

LA CE SE REFERĂ (enunţul ontologic)

 

ENUNŢUL LOGIC

 

FORMULA

PRINCIPIUL IDENTITĂŢII

(orice obiect este identic numai cu sine însuşi, în acelaşi timp şi sub acelaşi raport)

Orice obiect are însuşiri proprii, relativ constante, care îl diferenţiază de alte obiecte. În acelaşi timp şi sub acelaşi raport, orice formă logică este ceea ce este.Formulări echivalente:

  • orice noţiune (termen) este identic cu sine;
  • dacă o propoziţie este adevărată, atunci ea este adevărată.

A≡A

/

A = id A

(A este identic cu A)

PRINCIPIUL NON-CONTRADICŢIEI

(un obiect nu poate fi în acelaşi timp şi sub acelaşi raport şi A şi non-A)

 

 

Este imposibil ca un obiect să posede şi să nu posede aceeaşi proprietate. În acelaşi timp şi sub acelaşi raport este imposibil ca o propoziţie să fie adevărată şi să nu fie adevărată.Formulare echivalentă:

  • o propoziţie şi negaţia ei nu pot fi împreună adevărate.

⌐(A &⌐A)

(Nu sunt simultan adevărate şi A, şi non-A)

 

PRINCIPIUL TERŢULUI EXCLUS

(sau este acceptată o propoziţie A, sau este respinsă dintr-un sistem de propoziţii, a treia posibilitate fiind exclusă)

Este necesar ca un obiect să posede sau să nu posede o proprietate; a treia posibilitate nu există. În acelaşi timp şi sub acelaşi raport este necesar ca o propoziţie să fie admisă sau să nu fie admisă.Formulări echivalente:

  • o propoziţie sau are o valoare de adevăr sau nu o are, a treia posibilitate nu există;
  • o propoziţie sau este adevărată sau nu este adevărată; a treia posibilitate nu există.

A V ⌐A

 

PRINCIPIUL RAŢIUNII SUFICIENTE

(pentru a accepta sau pentru a respinge o propoziţie trebuie să dispunem de o raţiune suficientă sau, altfel spus, de un temei satisfăcător)

Orice proprietate a unui obiect este condiţionată de alte proprietăţi. Orice propoziţie are un temei.Formulări echivalente:           

  • orice propoziţie, pentru a fi întemeiată, trebuie să se sprijine pe alte propoziţii,
  • pentru orice propoziţie adevărată există cel puţin o propoziţie adevărată, diferită de prima, care o implică.

A→B

This entry was posted in Logica.

Lasă un răspuns

Completează mai jos detaliile despre tine sau dă clic pe un icon pentru autentificare:

Logo WordPress.com

Comentezi folosind contul tău WordPress.com. Dezautentificare / Schimbă )

Poză Twitter

Comentezi folosind contul tău Twitter. Dezautentificare / Schimbă )

Fotografie Facebook

Comentezi folosind contul tău Facebook. Dezautentificare / Schimbă )

Fotografie Google+

Comentezi folosind contul tău Google+. Dezautentificare / Schimbă )

Conectare la %s