Klassisk logik

 Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.
Logik, Formellt system
  • Bivalent logik
  • Boolesk algebra
  • Deontisk logik
  • Filosofisk logik
  • Flervärd logik
  • Matematisk logik
  • Metalogik
  • Modallogik
  • Satslogik
  • Temporal logik
Logiska system
  • 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

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