Consequentia mirabilis

Tyto consequentia mirabilis (udivující rizikové), nazývaná také zákon Clavius , je úvaha, která stanoví pravdivost výroku počínaje rozporuplnost jeho negace. Toto zdůvodnění výrokové logiky znamená, že jakýkoli výrok zahrnující jeho vlastní negaci je nutně falešný.

Formálně to lze napsat:

(¬NA→NA)→NA.{\ displaystyle (\ neg A \ rightarrow A) \ rightarrow A.}

Příklady

• Pokud není nic pravdivé, je „nic není pravdivé“ pravdivé, proto „nic není pravdivé“ je nepravdivé.
• Pokud není nutné filozofovat, je nutné filozofovat; proto musíme filozofovat.

Bibliografie

• R. Blanché , Úvod do současné logiky
• (it) F. Bellissima a P. Pagli, Consequentia Mirabilis. Una regola logica tra matematica e filosofia , Florencie, 1996

Související článek

Zásada vyloučené třetí strany

Poznámky a odkazy

1. Matice tohoto argumentu by pocházela z Protrepticus z Aristotela , léčeného mládí, který podporoval praxi filozofie. View (en) W. Kneale  (de) , "  Aristoteles a consequentia mirabilis  " , Journal of helénistické studií , n o  77,1957, str.  62-66

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">