Классическая логика: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
'''Классическая логика''' — [[термин]], используемый в [[математическая логика|математической логике]] по отношению к той или иной [[логическая система|логической системе]], для указания того, что для данной логики справедливы все законы (классического) [[исчисление высказываний|исчисления высказываний]], в том числе [[закон исключения третьего]].
[[Неклассическая логика]] соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть [[Интуиционистская_логика#.D0.98.D0.BD.D1.82.D1.83.D0.B8.D1.86.D0.B8.D0.BE.D0.BD.D0.B8.D1.81.D1.82.D1.81.D0.BA.D0.B0.D1.8F_.D0.BB.D0.BE.D0.B3.D0.B8.D0.BA.D0.B0|интуиционистская логика]] (отказ от закона исключения третьего). Кроме того существуют [[некоммутативная логика]] (отказ от [[коммутативность|коммутативности]] [[конъюнкция|конъюнкции]] и [[дизъюнкция|дизъюнкции]]), [[линейная логика]] (отказ от [[идемпотентность|идемпотентности]] [[конъюнкция|конъюнкции]] и [[дизъюнкция|дизъюнкции]]), [[немонотонная логика]] (отказ от монотонности отношения выводимости), [[квантовая логика]] (отказ от [[дистрибутивность|дистрибутивности]] ), и огромное множество других.
| |||