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

КЛАССИЧЕСКАЯ ЛОГИКА — раздел символической логики, включающий ряд логических теорий, в основе которых лежат принципы двузначности и экстенсиональности, а также классическая трактовка истины как соответствия высказываний действительности. Базисный для систем К.л. принцип двузначности в его сильной формулировке гласит: всякая формула языка логической теории при некоторой интерпретации принимает ровно одно из двух значений — значение «истина» либо значение «ложь».