Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

Класична логіка



Класична логіка - термін, який використовується в математичній логіці по відношенню до тієї чи іншої логічної системи, для вказівки того, що для даної логіки справедливі всі закони (класичного) обчислення висловлювань, в тому числі закон виключення третього.

Некласична логіка відповідно є логіка, в якій один або кілька законів класичної логіки не виконуються. Найвідомішим прикладом некласичної логіки є інтуїционістського логіка (відмова від закону виключення третього). Крім того існують некомутативних логіка (відмова від коммутативности кон'юнкції і диз'юнкції), лінійна логіка (відмова від ідемпотентності кон'юнкції і диз'юнкції), немонотонна логіка (відмова від монотонності відносини виводимості), квантова логіка (відмова від дистрибутивности), і величезна безліч інших.

Нерідко приставку класична вживають також стосовно деяких некласичним логікам, які допускають декілька варіантів - з законом виключення третього (або подібних до нього) і без. Тоді першу називають класичною. Наприклад класична лінійна логіка.


Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Класична філологія
Класична музика
Класична Греція
Класична фізика
Класична література
Класична термодинаміка
Класична гітара
Класична механіка
Віденська класична школа
© Усі права захищені
написати до нас
Рейтинг@Mail.ru