Klassieke logica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Doorverwijzing "tweewardig", De twee principes van Aristoteles, verwijzing naar Stanford.edu over contradicties toegevoegd |
monotoon doorverwezen |
||
Regel 1:
In de [[wiskundige logica]] wordt een logica '''klassiek''' genoemd, wanneer ze [[tweewaardige logica|tweewaardig]] is en in die logica de [[wet van de uitgesloten derde]] geldt. Bovendien is gevolgtrekking in klassieke logica's [[monotone logica|monotoon]]. Over het algemeen worden alleen [[Propositielogica|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' [[Syllogisme|syllogistiek]].
| |||