Классическая логика
Материал из Википедии — свободной encyclopedia
Классическая логика — логика, системы которой строятся на принципах двузначности (бивалентности) значений ее выражений и формул, взаимозаменяемости (экзистенциальности) выражений и формул, имеющих одинаковые значения, а также допустимости интерпретации нелогических символов, состоящей из требований непустоты области интерпретации и принятия термами значений, только элементов области интерпретации[1].
При этом принцип двузначности состоит в том, что каждое высказывание принимает точно одно из двух значений — «истина» или «ложь». Этот принцип равносилен принципу исключения третьего.
Применительно к правильно построенным формулам принцип двузначности означает следующее:
- Всякая формула при допустимой интерпретации нелогических символов, входящих в ее состав, принимает точно одно из двух значений — «истина» или «ложь».
Принцип экзистенциальности означает, что:
- Значение сложного выражения полностью определяется значениями составляющих его выражений.
Принцип допустимости интерпретации относится к классической логике предикатов и состоит в требовании непустоты области интерпретации и принятии термами значений из области интерпретации:
- Область интерпретации (универсум рассмотрения, предметная область) содержит, по крайней мере, один объект.
- Каждый терм должен иметь значение, и это значение должно быть элементом области интерпретации.
Ещё одним требованием к классической логике является требование эпистемологического и онтологического (а не математического) характера, состоящее в классической (корреспондентской) трактовке истинности интерпретации формул, восходящей к трудам Аристотеля:
- Высказывание истинно, если и только если то, что в нём утверждается, имеет место в действительности.