Klassieke logica

In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en de wet van de uitgesloten derde aanvaardt. Bovendien is gevolgtrekking in klassieke logica's monotoon. Over het algemeen worden alleen propositie- en predicatenlogica ertoe gerekend. Klassieke logica's vormen de meeste bestudeerde klasse van logica's.

Voorbeelden van klassieke logica's zijn de klassieke propositie- en predicatenlogica, hoewel beide ook niet-klassieke interpretaties hebben, en Aristoteles' syllogistiek.

Voorbeelden van logica's die niet klassiek zijn, zijn de intuïtionistische logica, de meerwaardige logica en de paraconsistente logica. Soms worden ook modale logica's tot de niet-klassieke logica's gerekend omdat ze niet waarheidsfunctioneel zijn; ze hebben namelijk ook operatoren die (on)zekerheid, gevoelswaarden of andere modaliteiten aangeven.