Matematisk logik

 Den här artikeln behöver källhänvisningar för att kunna verifieras. (2017-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

Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik.

Se även

Externa länkar

  • Wikimedia Commons har media som rör Matematisk logik.
    Bilder & media
 
 
Denna logik- och matematik-relaterade artikel saknar väsentlig information. Du kan hjälpa till genom att lägga till den.