Loogika ja normid

Loogika ja normid

Karmo Talts 

Vaatame klassikaise loogika seadusi normatiivsest seisukohast. Erinevalt normist "ära loe väidet korraga tõeseks ja vääraks" ei saa normi "loe väide tõeseks või loe väide vääraks" praktikas järgida.
Vaatame nüüd võimalusi normatiivse lähenemise formaliseerimiseks. Tabelitesse tuleb märkida see, milliseid väiteid me peame tõesteks ja vääradeks pidama siis, kui me peame tõesteks või vääradeks konkreetseid väiteid.
Vaatame nüüd eituse tabelit. Ma tähistan  "peame tõeseks" T-ga ja "peame vääraks" V-ga, "peab pidama tõeseks" OT-ga ja "peab pidama vääraks" OV-ga.
P  ¬P
T  OV
OV T
V  OT
OT V   
Vaatame nüüd kahekordset eitust.
P    ¬¬P
T    OT
OT T
V    OV
OV V
Vaatame nüüd konjunktsiooni.
P  Q      P∧Q
T  T      OT
OT OT T
T  V      OV
V  T      OV
V  V      OV
OV OV V
Vaatame nüüd disjunktsiooni.
P  Q      P∨Q
T  T      OT
T  V      OT
V  T      OT
?  ?        T
V  V      OV
OV OV V

Vaatame nüüd konditsionaali.

P   Q      P→Q

T   T       OT

?    ?        T

T   V      OV

V   T      OT

V   V      OT

OT OV   V