Consequentia mirabilis - Consequentia mirabilis
 | Эта статья нужны дополнительные цитаты для проверка. (Ноябрь 2006 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Consequentia mirabilis (латинский для "замечательных последствий"), также известный как Клавиус закон, используется в традиционный и классическая логика чтобы установить истинность предложения из непоследовательность его отрицания.[1] Таким образом, он похож на сокращение до абсурда, но он может доказать истинность предложения, используя только его отрицание. В нем говорится, что если предложение является следствием его отрицания, то оно истинно для последовательности. Таким образом, это может быть продемонстрировано без использования какого-либо другого принципа, кроме принципа согласованности. (Барнс[2] Попутно заявляет, что термин «Concivetia mirabilis» относится только к выводу предложения из несогласованности его отрицания, и что термин «Lex Clavia» (или Закон Клавия) относится к выводу отрицания предложения из несогласованности предложения.)
В формальных обозначениях:что эквивалентно .
Consequentia mirabilis был образец аргументации, популярный в Европе 17-го века, который впервые появился во фрагменте Аристотеля. Protrepticus: «Если мы должны философствовать, тогда мы должны философствовать; и если мы не должны философствовать, тогда мы должны философствовать (то есть, чтобы оправдать эту точку зрения); в любом случае, следовательно, мы должны философствовать».[3]
Смотрите также
Рекомендации
- ^ Сейнсбери, Ричард. Парадоксы. Cambridge University Press, 2009, стр. 128.
- ^ Барнс, Джонатан. Философы-досократы: аргументы философов. Рутледж, 1982, стр. 217 (стр. 277 в издании 1979 г.).
- ^ Нил, Уильям (1957). «Аристотель и Consequentia Mirabilis». Журнал эллинистических исследований. 77 (1): 62–66. JSTOR 628635.