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

схема логической связи суждений, общезначимость которой вытекает из одной только интерпретации входящих в нее логических элементов и по существу не связана с фактической истинностью *наполняющих* ее высказываний. Другие названия *закон мышления* , *логическое правило*. Существует бесконечное множество таких положений, в математической логике их выражают общезначимыми (тождественно-истинными) формулами. Традиционно же выделяют три базисных 3. л., первая формулировка которых принадлежит, по всей видимости, Аристотелю (*Метафизика* III, 7, 1011 Ь, 23-4): 1) Закон тождества: *А есть А, всякое высказывание тождественно самому себе*; 2) Закон (не)противоречия: *Неверно, что А и не-А, никакое высказывание не может быть истинным и вместе с тем ложным*; 3) Закон исключенного третьего: *Истинно или А, или не-А, любое высказывание таково, что истинно либо оно само, либо его отрицание*. Часто к ним добавляют сформулированный Лейбницем закон достаточного основания, получивший вместе с законом противоречия характеристику *великих начал*. 3. л. воспринимаются как фундаментальные для той центральной традиции в логике, которую связывают с именами ее наиболее ярких представителей: Аристотеля, Г. Фреге и Б. Рассела; определяют как *классическую логику* (см. *Логика неклассическая*). А. Г. Кислое