Schlussregel

Schlussregel

Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu neuen Ausdrücken überzugehen. Dieser regelgeleitete Übergang stellt eine Schlussfolgerung dar.

Allgemeines

Eine gültige Schlussregel soll nur den Übergang zu solchen Ausdrücken erlauben, deren Aussagen auch semantisch aus der Aussage der bestehenden Ausdrücke folgt (siehe logische Ableitung).

Die genaue Beschaffenheit der Schlussregeln hängt davon ab, für welches logische System der Kalkül aufgestellt wird. Für die traditionelle und die klassische Logik, die dem Prinzip der Zweiwertigkeit genügen, müssen Schlussfolgerungen wahrheitserhaltend sein („aus Wahrem folgt nur Wahres“). Aufgrund diese Eigenschaft verstehen sich moderne Aussagenkalküle und prädikatenlogische Systeme als Beweiskalküle, obwohl Schlussregeln per se noch keine Beweisregeln sind. Schlussregeln unterscheiden sich innerhalb der klassischen Logik von Axiomen oder Axiomenschemata, insofern sie keine konkreten semantischen Voraussetzungen an das Diskursuniversum stellen.

Moderne Logikkalküle verwenden insbesondere den Modus ponens, sowie Einführungs- und Eleminationsregeln für bestimmte logische Junktoren.

Fünf traditionelle Schlussregeln

Die folgenden fünf Regeln stammen aus der traditionellen Aussagenlogik, deren Tradition spätestens in der Stoa (megarische Aussagenlogik) beginnt.

1) Modus ponendo ponens (lat. das zu Setzende setzend, auch Schnittregel) gilt als Grundform des direkten Beweises:

 p \rightarrow q \qquad p \over q
In Worten: Wenn p eine hinreichende Bedingung für q ist und p wahr ist, dann ist auch q wahr. (semantisch)

Wird p behauptet, kann auch q behauptet werden. Nun wird p behauptet, also: q. (syntaktisch)

2) Modus tollendo tollens (lat. das Aufzuhebende Aufhebend): der indirekte Beweis

 p \rightarrow q \qquad \neg q \over \neg p
In Worten: Wenn p eine hinreichende Bedingung für q ist und q nicht wahr ist, dann ist auch p nicht wahr.

3) Kettenschluss (gelegentlich – eigentlich falsch, weil nach einer anderen Bedeutung des Wortes „Kettenschluss“ – Modus Barbara genannt)

 p \rightarrow q \qquad q \rightarrow r \over p \rightarrow r
In Worten: Wenn p eine hinreichende Bedingung für q ist und q eine hinreichende Bedingung für r ist, dann ist p eine hinreichende Bedingung für r.

4) Modus tollendo ponens (gelegentlich falsch Disjunktiver Syllogismus genannt)

 p \or q \qquad \neg p \over q
In Worten: Wenn p oder q gilt und p nicht wahr ist, dann ist q wahr.

5) Indirekter Beweis durch reductio ad absurdum

 \neg p\rightarrow (q\land \neg q) \over p
In Worten: Wenn nicht-p eine hinreichende Bedingung dafür ist, dass ein Widerspruch (q und nicht-q) wahr wird, dann ist nicht-p falsch (denn ein Widerspruch kann ja nicht wahr sein, also darf auch seine hinreichende Bedingung nicht wahr sein), also ist p wahr.

Weitere Schlussregeln

Andere bekannte Schlussregeln sind u. a.

 p \rightarrow q \over \neg q \rightarrow \neg p

Kalküle des natürlichen Schließens umfassen üblicherweise eine größere Zahl von Schlussregeln; für weitere Beispiele üblicher Schlussregeln siehe daher den Artikel Systeme natürlichen Schließens.

Logische Aussagen lassen sich auch durch Resolutionsregeln umformulieren. Auf diese Weise lassen sich bestimmte Typen von Schlussfolgerungen als Widerspruchsbeweise automatisieren.

Keine gültige Schlussregel ist die Abduktion. Sie wird dennoch in der Künstlichen Intelligenz und Wissensrepräsentation eingesetzt, um „gesunden Menschenverstand“ zu simulieren.

Ein regelgerechter Schluss, der nur eine seiner Prämissen als Folgerung hat, ist ein Zirkelschluss und stellt zwar eine Schlussfolgerung, aber keinen Beweis oder kein Argument für die Folgerung dar (siehe auch petitio principii).


Wikimedia Foundation.

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

  • Schlussregel — Schlụss|re|gel, die (Logik): Regel für das logische Schließen. * * * Schlụss|re|gel, die (Logik): Regel für das logische Schließen …   Universal-Lexikon

  • True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Abtrennungsregel — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den …   Deutsch Wikipedia

  • Modus Ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den …   Deutsch Wikipedia

  • Modus ponendo ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den …   Deutsch Wikipedia

  • Modus ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den …   Deutsch Wikipedia

  • Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik …   Deutsch Wikipedia

  • Berechnungsmodell — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Conclusio — Als Schlussfolgerung bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: Eine Schlussfolgerung ist erstens ein sprachliches Gebilde, das aus einer Reihe von Aussagen einerseits, den Prämissen oder Annahmen (zum… …   Deutsch Wikipedia

Share the article and excerpts

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