Consequentia mirabilis

Consequentia mirabilis

Die Consequentia mirabilis (bewundernswerte Folgerung), auch als Clavius-Gesetz bekannt, wird in der klassischen Logik verwendet, um die Gültigkeit einer Behauptung aus der Ungültigkeit ihrer Negation zu beweisen. Die Argumentation ist verwandt mit der Reductio ad absurdum; allerdings muss man bei der Consequentia mirabilis nur zeigen, dass die Behauptung aus ihrer Negation folgt. Diese Methode wurde von Christophorus Clavius im Rahmen der Herausgabe der Elemente des Euklid verwendet. Später machte Giovanni Girolamo Saccheri bei seinen Untersuchungen über den Syllogismus auf originelle Weise von diesem Verfahren Gebrauch.[1]

Inhaltsverzeichnis

Die Beweismethode

Man kann die Argumentation informal wie folgt in Worte fassen:

  • „Wenn eine Behauptung aus ihrem Gegenteil folgt, dann ist sie richtig.“

Heute wird die „Consequentia mirabilis“ meist als Formel der klassischen Aussagenlogik formuliert. In dieser Formulierung besagt sie, dass die Formel

  • (\neg p \to p)\to p

eine Tautologie ist, was man aus der folgenden Wahrheitstabelle ersehen kann:

p ~p ~p → p (~p → p)→p
w f w w
f w f w

Die Richtigkeit der Formel (\neg p \to p)\to p lässt sich auch rein syntaktisch z.B mit Hilfe des Principia Mathematica-Kalküls für die Aussagenlogik herleiten:[2]

  • Nach Definition ist p \to q := \neg p \or q
  • Also gilt \neg p \to p = p \or p
  • Das erste der genannten Axiome lautet p \or p \to p

Die Behauptung ist damit bewiesen.

Beispiel

  • „Es gibt nichts Wahres“ (\neg p), aber dies wird ja als wahr behauptet (p), also „gibt es etwas Wahres“ (also ist p wahr).
  • Entsprechend: Aus der Aussage „Ich behaupte nichts“ folgt, dass ich doch etwas behaupte (nämlich die Behauptung, dass ich nichts behaupte).

Quellen

Einzelnachweise

  1. Cyril F. A. Hoormann, Jr.: A Further Examination of Saccheri's Use of the "Consequentia mirabilis". Notre Dame Journal of Formal Logic Volume XVII, Number 2, April 1976, p. 239-274
  2. s. das Axiomensystem in Aussagenlogik#Axiome

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Consequentia mirabilis — (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… …   Wikipedia

  • List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …   Wikipedia

  • ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ —     ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ (непрямое доказательство) доказательство “от противоречащего случая”, такая форма логической аргументации, при которой явно используются дедуктивные свойства противоречия. Обычно выделяют две формы косвенного… …   Философская энциклопедия

  • Giovanni Girolamo Saccheri — (* 5. September 1667 in San Remo, Genua (heute: Italien); † 25. Oktober 1733 in Mailand, Italien) war Jesuit, Philosoph, Theologe und Mathematiker. Biografie Saccheri trat 1685 in den Jesuitenorden ein. Ab 1690 studierte er der Philosophie und… …   Deutsch Wikipedia

  • Liste de locutions latines — Cet article contient une liste de locutions latines présentée par ordre alphabétique. Pour des explications morphologiques et linguistiques générales, consulter l article : Expression latine. Sommaire  A   B … …   Wikipédia en Français

  • 1_ИНОСТРАННЫЕ ТЕРМИНЫ И ВЫРАЖЕНИЯ — Ab ovo (лат.) с самого начала (букв. с яйца). Accidens (лат.) несущественное, случайное, привходящее свойство. Actu; in actu (лат.) актуально, в действии, в действительности. Ad hoc (лат.) для данного случая. Напр., гипотеза ad hoc. Ad hominem,… …   Философская энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”