закон дунса скота это:

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "закон дунса скота" в других словарях:

  • неклассические логики —         НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.         Идеи для построения Н. л. были высказаны еще до …   Энциклопедия эпистемологии и философии науки

  • непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что …   Словарь терминов логики

  • парадоксы импликации — доказуемые в логике классической и некоторых других логических системах утверждения с импликацией, плохо согласующиеся с обычным пониманием условной связи ( если ..., то ... ) и логического следования. П. и. это парадоксы в широком смысле, их… …   Словарь терминов логики

  • Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …   Википедия

  • импликация материальная — импликация в трактовке логики классической. Для установления истинности И. м. Если А, то В достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в трех случаях: 1) ее основание и ее следствие истинны; 2) основание ложно, а… …   Словарь терминов логики

  • ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

  • Иоанн Дунс Скот — Жизнь и сочинения      Доктор Субтилис ( тонкий доктор ) так называли современники Иоанна Дунса Скота, имея в виду утонченно рафинированный дух его доктрины. Он родился в деревне Дуне в Шотландии в 1266 году. Аквинат и Бонавентура к этому времени …   Западная философия от истоков до наших дней

  • Иоанн Дунс Скот — Дунс Скот Duns Scotus Дата рождения …   Википедия

  • ИНДИВИД — [от лат. individuum неделимое], понятие, обозначающее представителя к. л. группы, к рый обладает отдельным самостоятельным существованием и характерными особенностями, благодаря наличию к рых он не может быть отождествлен с др. представителями… …   Православная энциклопедия

  • Дунс Скот, Иоанн — Дунс Скот Дата и место рождения: 1265, Дунс Дата и место смерти: 1308, Кёльн …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»