Zum Hauptinhalt springen

Muster gültiger logischer Schlüsse

In der formalen Logik gibt es bestimmte Argumentationsmuster, die immer gültig sind. Diese Muster bilden die Grundlage für logisch korrektes Schließen und können in verschiedenen Kontexten angewendet werden.

Modus Ponens (Bejahung des Vordersatzes)​

Form:

  1. Wenn A, dann B.
  2. A.
  3. Also B.

Beispiel:

  1. Wenn es regnet, wird die Straße nass.
  2. Es regnet.
  3. Also wird die Straße nass.

Modus Tollens (Verneinung des Nachsatzes)​

Form:

  1. Wenn A, dann B.
  2. Nicht B.
  3. Also nicht A.

Beispiel:

  1. Wenn Peter schuldig ist, gibt es Fingerabdrücke am Tatort.
  2. Es gibt keine Fingerabdrücke am Tatort.
  3. Also ist Peter nicht schuldig.

Hypothetischer Syllogismus (Kettenschluss)​

Form:

  1. Wenn A, dann B.
  2. Wenn B, dann C.
  3. Also: Wenn A, dann C.

Beispiel:

  1. Wenn es regnet, wird die Straße nass.
  2. Wenn die Straße nass ist, wird sie rutschig.
  3. Also: Wenn es regnet, wird die Straße rutschig.

Disjunktiver Syllogismus (Ausschlussverfahren)​

Form:

  1. Entweder A oder B.
  2. Nicht A.
  3. Also B.

Beispiel:

  1. Entweder hat Hans das Fenster zerbrochen oder Maria hat es getan.
  2. Hans hat das Fenster nicht zerbrochen.
  3. Also hat Maria das Fenster zerbrochen.

Konjunktive Vereinfachung​

Form:

  1. A und B.
  2. Also A.

Beispiel:

  1. Es regnet und es ist kalt.
  2. Also regnet es.

Konjunktive Addition​

Form:

  1. A.
  2. B.
  3. Also A und B.

Beispiel:

  1. Es regnet.
  2. Es ist kalt.
  3. Also regnet es und es ist kalt.

Disjunktive Addition​

Form:

  1. A.
  2. Also A oder B.

Beispiel:

  1. Es regnet.
  2. Also regnet es oder es schneit.

Anwendung im kritischen Denken​

Das Verständnis dieser Argumentationsmuster ist aus mehreren Gründen wichtig für das kritische Denken:

  1. Es ermöglicht die Identifizierung gültiger Argumentationsstrukturen in komplexen Texten.

  2. Es hilft, Fehler in der logischen Struktur von Argumenten zu erkennen, wenn sie von diesen Mustern abweichen.

  3. Es bietet Werkzeuge für die Konstruktion eigener gültiger Argumente.

  4. Es fördert ein tieferes Verständnis der logischen Beziehungen zwischen Aussagen.