Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Закон Клавия




Закон косвенного доказательства

 

Закон косвенного доказательства позволяет заключить об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечёт противоречие. Например: «Если из того, что 17 не является простым числом, вытекает как то, что оно делится на число, отличное от самого себя и единицы, так и то, что оно не делится на такое число, то 17 есть простое число».

Символически закон косвенного доказательства записывается так:

(~ А → В) & (~ А → ~ В) → A,

если (если не- A, то В) и (если не- A, то не- В), то А.

Законом косвенного доказательства обычно называется и формула:

(~ А → & ~ В)) → A,

если (если не , то B и не- B), то A. К примеру: «Если из того, что 10 не является чётным числом, вытекает, что оно делится и не делится на 2, то 10 – чётное число».

 

 

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

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

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

(~ А → А) → A,

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

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

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

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

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

 




Поделиться с друзьями:


Дата добавления: 2014-11-25; Просмотров: 489; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.007 сек.