ЗАКОН ЛОГИЧЕСКИЙ

- схема логической связи суждений, общезначимость которой вытекает из одной только интерпретации входящих в нее логических элементов и по существу не связана с фактической истинностью "наполняющих" ее высказываний. Другие названия "закон мышления" , "логическое правило". Существует бесконечное множество таких положений, в математической логике их выражают общезначимыми (тождественно-истинными) формулами.

Традиционно же выделяют три базисных 3. л., первая формулировка которых принадлежит, по всей видимости, Аристотелю ("Метафизика" III, 7, 1011 Ь, 23-4): 1) Закон тождества: "А есть А, всякое высказывание тождественно самому себе"; 2) Закон (не)противоречия: "Неверно, что А и не-А, никакое высказывание не может быть истинным и вместе с тем ложным"; 3) Закон исключенного третьего: "Истинно или А, или не-А, любое высказывание таково, что истинно либо оно само, либо его отрицание".

Часто к ним добавляют сформулированный Лейбницем закон достаточного основания, получивший вместе с законом противоречия характеристику "великих начал".

3. л. воспринимаются как фундаментальные для той центральной традиции в логике, которую связывают с именами ее наиболее ярких представителей: Аристотеля, Г. Фреге и Б. Рассела; определяют как "классическую логику" (см. "Логика неклассическая").

А. Г. Кислое