классическая логика

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