Закон Логический

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