Matematisk logik

Logik, Formellt system
Satslogik Bivalent logik Flervärd logik Modallogik Deontisk logik Temporal logik Matematisk logik Filosofisk logik Metalogik Boolesk algebra
Logiska system
Satslogik Syllogistisk logik Klassisk logik 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

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

• Logik
• Filosofisk logik
• Boolesk algebra
• Suddig logik (fuzzy logic)
• Matematikfilosofi