klassieke logica
Sign in to saveAlso known as standard logic, Frege–Russell logic
class of formal logics
Wikidata facts
- Part of
- logic
- Followed by
- non-classical logic
Show 5 more facts
- topic's main category
- Category:Classical logic
- Commons category
- Classical logic
- studied by
- computer science
- topic has template
- Template:Classical logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/classical-logic
Sources (3)
via Wikidata · CC0
Article · Nederlands
In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt. Bovendien is gevolgtrekking in klassieke logica's monotoon. Over het algemeen worden alleen propositie- en predicatenlogica ertoe gerekend. Bijna alle wiskundeteksten zijn gebaseerd op klassieke logica's. Voorbeelden van klassieke logica's zijn de klassieke propositie- en predicatenlogica, hoewel beide ook niet-klassieke interpretaties hebben, en Aristoteles' syllogistiek. Aristoteles noemt twee principes (axioma's) voor de logica : * De Wet van de non-contradictie * De Wet van de uitgesloten derde Deze zijn volgens Aristoteles niet bewijsbaar. 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 de mate van zekerheid, gevoelswaarden of andere modaliteiten aangeven.
Abstract from DBpedia / Wikipedia · CC BY-SA