www.slovoed.info

ЗАКОН ДУНСА СКОТА

ЗАКОН ДУНСА СКОТА

- закон логики классической, характеризующий логическое противоречие и импликацию материальную. Закон можно передать так: ложное высказывание влечет (имплицирует) любое высказывание. Напр.: "Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит".

С использованием символики логической (р, q - некоторые высказывания; ~ - отрицание, "неверно, что"; -> импликация, "если, то") 3. Д. С. выражается формулой:

~p->(p->q),

если неверно, что p, то если р, то q; или эквивалентной ей в классической логике формулой:

3. Д. С. есть своего рода предостережение против принятия ложного высказывания: введение в научную теорию такого высказывания ведет к тому, что в ней становится доказуемым все что угодно и она перестает выполнять свои функции. Однако предостережение не настолько очевидно, чтобы стать одним из правил логического следования. Не все современные описания следования принимают 3. Д. С. в качестве правомерного способа рассуждения. Уже построены теории логических связей, в которых этот и подобные ему способы рассуждения считаются недопустимыми.

Связанные с «ЗАКОН ДУНСА СКОТА» определения


    Все права на материалы сайта принадлежат их законным владельцам. Копирование части информации с сайта разрешено только с согласия администрации. Предложения и пожелания Вы можете отправить на странице "Обратная связь".