Consequentia mirabilis - Consequentia mirabilis

Consequentia mirabilis (латинский для "замечательных последствий"), также известный как Клавиус закон, используется в традиционный и классическая логика чтобы установить истинность предложения из непоследовательность его отрицания.^[1] Таким образом, он похож на сокращение до абсурда, но он может доказать истинность предложения, используя только его отрицание. В нем говорится, что если предложение является следствием его отрицания, то оно истинно для последовательности. Таким образом, это может быть продемонстрировано без использования какого-либо другого принципа, кроме принципа согласованности. (Барнс^[2] Попутно заявляет, что термин «Concivetia mirabilis» относится только к выводу предложения из несогласованности его отрицания, и что термин «Lex Clavia» (или Закон Клавия) относится к выводу отрицания предложения из несогласованности предложения.)

В формальных обозначениях:${displaystyle (eg Aightarrow A)ightarrow A}$что эквивалентно ${displaystyle (eg eg Alor A)ightarrow A}$.

Consequentia mirabilis был образец аргументации, популярный в Европе 17-го века, который впервые появился во фрагменте Аристотеля. Protrepticus: «Если мы должны философствовать, тогда мы должны философствовать; и если мы не должны философствовать, тогда мы должны философствовать (то есть, чтобы оправдать эту точку зрения); в любом случае, следовательно, мы должны философствовать».^[3]

Смотрите также

• Ex falso quodlibet
• Tertium non datur
• Закон Пирса

Рекомендации

1. Сейнсбери, Ричард. Парадоксы. Cambridge University Press, 2009, стр. 128.
2. Барнс, Джонатан. Философы-досократы: аргументы философов. Рутледж, 1982, стр. 217 (стр. 277 в издании 1979 г.).
3. Нил, Уильям (1957). «Аристотель и Consequentia Mirabilis». Журнал эллинистических исследований. 77 (1): 62–66. JSTOR  628635.