Från Rilpedia

Logik, Formellt system
Bivalent logik Flervärd logik Modallogik Temporal logik Matematisk logik Filosofisk logik Metalogik Boolesk algebra
Logiska system
Syllogistisk logik Klassisk logik, Satslogik Predikatlogik Första ordningens logik Andra ordningens logik Intuitionistisk logik Parakonsistent logik Substrukturell logik Relevanslogik Linjär logik Suddig logik (Fuzzy logic) Sannolikhetslogik Relationell logik Deontisk logik

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.

Se även

• Logik