Закон Дунса Скота

закон логики классической, характери­зующий логическое противоречие и импликацию материальную. За­кон можно передать так: ложное высказывание влечет (имплици­рует) любое высказывание. Напр.: «Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит». Первое упоминание закона принадлежит средневековому фило­софу и логику Дунсу Скоту, прозванному «тонким доктором» схо­ластики. Амер. философ и логик К. И. Льюис (1883-1964), поло­живший начало исследованию модальной логики, отнес данный закон к парадоксальным положениям классической логики. В пред­ложенной самим К. И. Льюисом новой теории логического следо­вания — т. наз. теории строгой импликации — 3. Д. С. не­доказуем. Но в этой теории есть собственный аналогичный парадокс, говорящий уже о логической невозможности: логически невоз- можное высказывание влечет любое высказывание. Напр.: «Если снег бел и вместе с тем не бел, трава бывает только черной». С использованием символики логической (р, q — некоторые выска­зывания; ~ - отрицание, «неверно, что»; —> импликация, «если, то») 3. Д. С. выражается формулой: ~p->(p->q), если неверно, что p, то если р, то q; или эквивалентной ей в класси­ческой логике формулой: (p&~p)->q, если р и не-р, то q. Если принимаются высказывание и его отрицание, то, исполь­зуя данные формулы в качестве схем вывода, можно получить лю­бое высказывание. В подобного рода переходах есть элемент пара­доксальности. Особенно заметным он становится, когда в качестве следствия берется явно ложное и совершенно не связанное с по-сылками высказывание. Напр.: «Если Солнце и звезда, и не звезда, то Луна сделана из зеленого сыра». 3. Д. С. есть своего рода предостережение против принятия лож­ного высказывания: введение в научную теорию такого высказыва­ния ведет к тому, что в ней становится доказуемым все что угодно и она перестает выполнять свои функции. Однако предостережение не настолько очевидно, чтобы стать одним из правил логического следования. Не все современные описания следования принимают 3. Д. С. в качестве правомерного способа рассуждения. Уже построены теории логических связей, в которых этот и подобные ему способы рассуждения считаются недопустимыми. Если 3. Д. С. не принимается, то появление противоречия в сис­теме утверждений становится допустимым. Такое более «терпи­мое» отношение к противоречию лежит в основе логических тео­рий, получивших название паранепротиворечивой логики.

ЗАКОН КЛАВИЯ

Закон Клавия характеризует связь импликации и отрицания. Он читается так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или, короче: высказывание, вытекающее из своего собственного отрицания, истинно. Или иначе: если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание истинно. Например, если условием того, чтобы машина не работала, является её работа, то машина работает.

Закон назван именем Клавия — учёного-иезуита, жившего в XVI в., одного из изобретателей григорианского календаря. Клавий первым обратил внимание на этот закон в своём комментарии к «Геометрии» Евклида. Одну из своих теорем Евклид доказал, выведя из её допущения, что она является ложной.

Символически закон Клавия представляется формулой:

(~ А -> А) -> А,

если не- А имплицирует А, то верно А.

Из закона Клавия вытекает следующий совет, касающийся доказательства: если хочешь доказать А, выводи А из допущения, что верным является не- А Например, нужно доказать утверждение «У трапеции четыре стороны». Отрицание этого утверждения: «Неверно, что у трапеции четыре стороны». Если из этого отрицания удаётся вывести само утверждение, это будет означать, что оно истинно.

Эту схему рассуждения использовал однажды древнегреческий философ Демокрит в споре с софистом Протагором. Последний утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания: «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора, на самом деле истинно.

Закон Клавия — один из случаев общей схемы косвенного доказательства: из отрицания утверждения выводится само это утверждение, оно составляет вместе с отрицанием логическое противоречие; это означает, что отрицание ложно, а верным является само утверждение.

К закону Клавия близок по своей структуре уже упоминавшийся логический закон, отвечающий этой же общей схеме: если из утверждения вытекает его отрицание, то последнее истинно. Например, если условием того, что поезд прибудет вовремя, будет его опоздание, то поезд опоздает. Иначе говоря: если необходимым условием истинности некоторого утверждения является его ложность, то утверждение ложно. Данный закон представляет собой схему рассуждения, идущего от некоторого утверждения к его отрицанию. Можно сказать, что он в некотором смысле слабее, чем закон Клавия, представляющий рассуждение, идущее от отрицания утверждения к самому утверждению.

Дата добавления: 2014-11-25