Законы, принципы и правила
Закон Дунса Скота
Закон, согласно которому из противоречия или ложного высказывания в классической логике может следовать любое высказывание.
Краткое введение
Закон Дунса Скота утверждает, что ложное высказывание или противоречие в классической логике способно имплицировать любое высказывание. В символической форме это связано с принципом, согласно которому из p и не-p можно вывести q. Закон важен потому, что показывает разрушительную силу противоречия в классической теории вывода: если система допускает противоречие, в ней становится доказуемым всё что угодно.
Развернутое чтение
Закон Дунса Скота — закон классической логики, связанный с парадоксальным свойством противоречия. Его часто передают формулой: из ложного высказывания или из противоречия следует любое высказывание. В латинской традиции близкая формула известна как ex falso quodlibet — из ложного что угодно.
Интуитивно это кажется странным. Почему из утверждения «дважды два не равно четырём» должно следовать что угодно, например что Луна сделана из зелёного сыра? В обычном рассуждении мы ждём содержательной связи между посылками и выводом, а здесь связь как будто полностью исчезает.
В классической логике парадоксальность возникает из структуры материальной импликации и отношения к противоречию. Если одновременно принять p и не-p, то система оказывается взорванной: из неё можно вывести произвольное q. Поэтому противоречие становится не просто локальной ошибкой, а угрозой всей теории.
С этой точки зрения закон Дунса Скота можно понимать как предостережение. Если в научную или логическую систему допущено противоречие, она теряет способность различать доказуемое и недоказуемое. В ней можно получить всё, а значит, доказательство перестаёт быть отбором истины.
К. И. Льюис относил подобные положения к парадоксам классической логики и пытался строить более строгую теорию следования. Но даже строгая импликация имеет собственные аналоги парадоксов: логически невозможное высказывание может влечь всё что угодно.
Современная логика не остановилась на классическом решении. В паранепротиворечивых логиках допускается существование противоречий без полного разрушения системы. Это особенно важно там, где реальные базы знаний, правовые системы, естественные языки или научные переходные теории могут содержать напряжения и несовместимости.
Философски закон Дунса Скота ставит вопрос о цене непротиворечивости. Классическая логика требует, чтобы теория не содержала противоречий, иначе она становится тривиальной. Но более терпимые логики спрашивают: всегда ли противоречие должно уничтожать всё рассуждение, или иногда его можно локализовать?
Этот закон также важен для культуры аргументации. Обнаружить противоречие в позиции собеседника — серьёзный шаг, но не всегда честно превращать это в право приписать ему любые выводы. Между формальной взрывностью противоречия и реальной интерпретацией аргумента есть методологическая дистанция.
Ценность закона Дунса Скота в том, что он показывает радикальную строгость классической логики. Противоречие в ней не просто слабое место: это точка, из которой вывод может потерять всякое содержание и превратиться в машину доказательства чего угодно.
Закон Дунса Скота предупреждает: если противоречие пустить в систему без ограничений, доказуемым станет всё — а значит, ничто не будет доказано по-настоящему.