Duplex negatio affirmat

Duplex negatio affirmat

Das Gesetz der doppelten Negation (auch Prinzip der doppelten Negation, oder lateinisch duplex negatio affirmatdie doppelte Verneinung bekräftigt/bejaht) ist ein Gesetz der klassischen Logik wonach die Verneinung eines verneinten (Aussage-) Satzes seine Bejahung ist, ein doppelt verneinter Satz ¬¬A also denselben Wahrheitswert hat wie der unverneinte Satz A.

Die doppelte Negation im Sinne der Logik ist zu unterscheiden von der Negation der Negation im Sinne der Dialektik (Hegels).

Die Geltung des Gesetzes der doppelten Negation besteht uneingeschränkt in der klassischen Logik, da dort das Bivalenzprinzip gilt. In der intuitionistischen Logik ist das Gesetz nicht gültig. In dieser gilt nur A → ¬¬A, aber nicht ¬¬A → A.[1]

Als Schlussregeln lassen sich die Doppelte-Negations-Einführung[2] und die Doppelte-Negations-Beseitigung[3] anführen.

Die Regel der Doppelten-Negations-Einführung besagt: Wenn aus einer Menge von Annahmen X der Satz A gefolgert werden kann, dann kann aus derselben Menge X auch die doppelte Negation von A gefolgert werden, also ¬¬A.[2]

Die Regel der Doppelten-Negations-Beseitigung besagt: Wenn man aus einer Menge von Annahmen X die doppelte Negation von A - also ¬¬A folgern kann, dann kann man aus dieser Menge X ebenfalls auf A schließen.[3]

Ob eine doppelte Verneinung in einer natürlichen Sprache die erste Verneinung aufhebt (Latein) oder sie verstärkt (Französisch, Spanisch), hängt von der jeweiligen Sprache ab.

Quellen

  1. Regenbogen/Meyer: Wörterbuch der philosophischen Begriffe. 2005, duplex negatio affirmat
  2. a b Rosenkranz: Einführung in die Logik. 2006, S. 48
  3. a b Rosenkranz: Einführung in die Logik. 2006, S. 49

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

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

  • Gesetz der doppelten Negation — Das Gesetz der doppelten Negation (auch Prinzip der doppelten Negation, oder lateinisch duplex negatio affirmat – die doppelte Verneinung bekräftigt/bejaht) ist ein Gesetz der klassischen Logik wonach die Verneinung eines verneinten (Aussage… …   Deutsch Wikipedia

  • Prinzip der doppelten Negation — Das Gesetz der doppelten Negation (auch Prinzip der doppelten Negation, oder lateinisch duplex negatio affirmat – die doppelte Verneinung bekräftigt/bejaht) ist ein Gesetz der klassischen Logik wonach die Verneinung eines verneinten (Aussage )… …   Deutsch Wikipedia

  • Negation — Verneinung; Dementierung * * * Ne|ga|ti|on 〈f. 20〉 1. Verneinung, Ablehnung; Ggs Affirmation, Position (7) 2. 〈Gramm.〉 Verneinungswort; → Lexikon der Sprachlehre [<lat. negatio] * * * Ne|ga|ti|on, die; , en [lat. negatio, zu: negare, ↑… …   Universal-Lexikon

  • Kalkül des natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Kalküle natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Natürliche Deduktion — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Natürliches Schließen — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Systeme natürlichen Schliessens — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Systeme natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule,… …   Deutsch Wikipedia

  • LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… …   Encyclopédie Universelle

Share the article and excerpts

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