Consequentia Mirabilis
Get Consequentia Mirabilis essential facts below. View Videos or join the Consequentia Mirabilis discussion. Add Consequentia Mirabilis to your topic list for future reference or share this resource on social media.
Consequentia Mirabilis

Consequentia mirabilis (Latin for "admirable consequence"), also known as Clavius's Law, is used in traditional and classical logic to establish the truth of a proposition from the inconsistency of its negation.[1] It is thus similar to reductio ad absurdum, but it can prove a proposition true using just its negation. It states that if a proposition is a consequence of its negation, then it is true, for consistency. It can thus be demonstrated without using any other principle, but that of consistency. (Barnes[2] claims in passing that the term 'consequentia mirabilis' refers only to the inference of the proposition from the inconsistency of its negation, and that the term 'Lex Clavia' (or Clavius' Law) refers to the inference of the proposition's negation from the inconsistency of the proposition.)

In formal notation: which is equivalent to .

Consequentia mirabilis was a pattern of argument popular in 17th century Europe that first appeared in a fragment of Aristotle's Protrepticus: "If we ought to philosophise, then we ought to philosophise; and if we ought not to philosophise, then we ought to philosophise (i.e. in order to justify this view); in any case, therefore, we ought to philosophise."[3]

The most famous example is perhaps the Cartesian cogito ergo sum: Even if one can question the validity of the thinking, no one can deny that they are thinking.

See also


  1. ^ Sainsbury, Richard. Paradoxes. Cambridge University Press, 2009, p. 128.
  2. ^ Barnes, Jonathan. The Pre-Socratic Philosophers: The Arguments of the Philosophers. Routledge, 1982, p. 217 (p 277 in 1979 edition).
  3. ^ Kneale, William (1957). "Aristotle and the Consequentia Mirabilis". The Journal of Hellenic Studies. 77 (1): 62-66. JSTOR 628635.

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Music Scenes