Consequentia mirabilis - Consequentia mirabilis
Consequentia mirabilis ( latim para "consequência admirável"), também conhecida como Lei de Clavius , é usada na lógica tradicional e clássica para estabelecer a verdade de uma proposição a partir da inconsistência de sua negação. É, portanto, semelhante a reductio ad absurdum , mas pode provar uma proposição verdadeira usando apenas sua negação. Afirma que se uma proposição é uma consequência de sua negação, então ela é verdadeira, para consistência. Assim, pode ser demonstrado sem usar nenhum outro princípio, exceto o da consistência. (Barnes afirma de passagem que o termo 'consequentia mirabilis' se refere apenas à inferência da proposição a partir da inconsistência de sua negação, e que o termo 'Lex Clavia' (ou Lei de Clavius) se refere à inferência da negação da proposição a partir de a inconsistência da proposição.)
Em notação formal: que é equivalente a .
Consequentia mirabilis era um padrão de argumento popular na Europa do século 17 que apareceu pela primeira vez em um fragmento do Protrepticus de Aristóteles : "Se devemos filosofar, devemos filosofar; e se não devemos filosofar, devemos filosofar ( isto é, a fim de justificar esta visão); em qualquer caso, portanto, devemos filosofar. "