Klassisk logik

Logik, Formellt system
	Bivalent logik; Boolesk algebra; Deontisk logik; Filosofisk logik; Flervärd logik; Matematisk logik; Metalogik; Modallogik; Satslogik; Temporal logik;
Logiska system
	Första ordningens logik; Andra ordningens logik; Deontisk logik; Intuitionistisk logik; Klassisk logik; Kontemporär logik; Linjär logik; Parakonsistent logik; Predikatlogik; Relationell logik; Relevanslogik; Sannolikhetslogik; Satslogik; Substrukturell logik; Suddig logik (fuzzy logic); Syllogistisk logik;
	Denna tabell: visa • redigera

Den utskrivbara versionen stöds inte längre och kanske innehåller renderingsfel. Uppdatera din webbläsares bokmärken och använd standardutskriftsfunktionen istället.

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 är utsagan P eller icke P en tautologi, det vill säga, alltid sann oberoende av vad påståendet P är, till exempel "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