Schlussregel - LinkFang.de





Schlussregel


Dieser Artikel oder Abschnitt bedarf einer Überarbeitung.
Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Die fraglichen Angaben werden daher möglicherweise demnächst entfernt. Bitte hilf der Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst. Näheres ist eventuell in der Versionsgeschichte angegeben. Bitte entferne zuletzt diese Warnmarkierung.

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 dieser 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 Eliminationsregeln 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. Über dem Querstrich stehen jeweils eine oder zwei Aussagen, aus denen die Aussage unter dem Querstrich folgt.

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

[math] p \rightarrow q \qquad p \over q [/math]
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

[math] p \rightarrow q \qquad \neg q \over \neg p[/math]
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)

[math] p \rightarrow q \qquad q \rightarrow r \over p \rightarrow r [/math]
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)

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

5) Indirekter Beweis durch reductio ad absurdum

[math] \neg p\rightarrow (q \land \neg q) \over p[/math]
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.

[math] \neg(p \land q) \qquad p \over \neg q [/math]
In Worten: Wenn nicht p und q wahr sind, aber p wahr ist, dann ist q nicht wahr.
[math] p \rightarrow q \over \neg q \rightarrow \neg p[/math]
In Worten: Wenn p eine hinreichende Bedingung für q ist, dann ist nicht q eine hinreichende Bedingung für nicht 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).


Kategorien: Logik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Schlussregel (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.