Consequentia mirabilis

Den consequentia mirabilis (den forbløffende konsekvensen), også kalt Clavius- loven , er en resonnement som etablerer sannheten i en proposisjon med utgangspunkt i inkonsekvensen av dens negasjon. Denne resonnementet av proposisjonslogikken betyr at ethvert forslag som involverer sin egen negasjon nødvendigvis er falskt.

Formelt kan det skrives:

{\ displaystyle (\ neg A \ rightarrow A) \ rightarrow A.}

Eksempler

Hvis ingenting er sant, er "ingenting sant" sant, derfor er "ingenting sant" falsk.
Hvis vi ikke må filosofere, må vi filosofere; derfor må vi filosofere.

Bibliografi

R. Blanché , Introduksjon til samtidslogikk
(it) F. Bellissima og P. Pagli, Consequentia Mirabilis. Una regola logica tra matematica e filosofia , Firenze, 1996

Relatert artikkel

Prinsipp for den ekskluderte tredjeparten

Merknader og referanser

Matrisen til dette argumentet kommer fra Protrepticus av Aristoteles , behandlet ungdom som oppmuntret til utøvelse av filosofi. Vis (en) W. Kneale (de) , " Aristoteles og consequentia mirabilis " , Journal of hellenistiske Studies , n o 77,1957, s. 62-66