Klassisk logik
Från Rilpedia
Version från den 18 februari 2008 kl. 18.58 av Åke Persson (Diskussion)
Logik, Formellt system |
---|
Logiska system |
Inom den klassiska logiken utgår man från att alla påståenden antingen är sanna eller falska. Det får som konsekvens att givet ett påstående P så är utsagan P eller icke P en tautologi, d.v.s., alltid sann oberoende av vad påståendet P är, t.ex "Antingen regnar det eller så regnar det inte". Påståendet P eller icke P brukar kallas lagen om det uteslutna tredje.
Som exempel på icke-klassisk logik kan nämnas intuitionistisk logik.