Inferenzrelation

Inferenzrelation

Unter einer Ableitung oder Herleitung versteht man in der Logik

  1. die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch-formaler Ableitungsbegriff)[1] oder
  2. den Nachweis der Allgemeingültigkeit eines Schlusses von bestimmten Prämissen (Hypothesen) auf die Konklusion (These)[2]

Inhaltsverzeichnis

Ableitung im formalen Sinn

In der mathematischen Logik bedeutet Ableitung eine formale Folgerung von (neuen) Aussagen aus einer Menge von gegebenen Aussagen. Die zulässigen Schlussregeln sind in einem Kalkül definiert.

Die einfache Anwendung einer solchen Regel auf Aussagen nennt man einen Ableitungsschritt.

Eine Aussage φ heißt ableitbar oder beweisbar aus einer gegebenen Menge Θ von Aussagen, wenn sie durch eine endliche Folge von Ableitungsschritten erreicht werden kann, wobei man von einer (ggf. leeren) Aussagenmenge Θ, den Prämissen oder Annahmen, ausgeht.

Fügt man alle ableitbaren Aussagen zur Aussagenmenge hinzu (man sagt, man bildet den deduktiven Abschluss), so erhält man eine Theorie.

Beispiel (vgl. Aussagenlogik):

\Theta \quad = \quad \{ \phi, \psi, \zeta \}

sei als Aussagenmenge gegeben und eine Ableitungsregel des Kalküls sei

\phi \qquad \psi \over \phi \wedge \psi,

so kann z. B. \phi \wedge \psi und \zeta \wedge \psi \wedge \phi abgeleitet werden.

Bei der Ableitbarkeitsrelation (bzw. dem Ableitbarkeitsbegriff, auch Inferenzrelation) handelt es sich um eine Relation zwischen einer Menge von Aussagen, den Prämissen, und einer einzelnen Aussage, der Konklusion. Für die Ableitbarkeit wird oft das Symbol \,\vdash verwendet. \Theta \vdash \phi ist dabei zu lesen als: "aus Θ ist φ ableitbar". Führen wir obiges Beispiel fort, so können wir schreiben:

\{ \phi, \psi, \zeta \} \vdash \phi, \{ \phi, \psi, \zeta \} \vdash \psi, \{ \phi, \psi, \zeta \} \vdash \zeta, \{ \phi, \psi, \zeta \} \vdash \phi \wedge \phi, \{ \phi, \psi, \zeta \} \vdash \phi \wedge \psi , \{ \phi, \psi, \zeta \} \vdash \phi \wedge \zeta , \{ \phi, \psi, \zeta \} \vdash \psi \wedge \phi , \{ \phi, \psi, \zeta \} \vdash \psi \wedge \psi usw.

Unterschiedliche Logiken definieren jeweils einen unterschiedlichen Ableitbarkeitsbegriff. So gibt es einen aussagenlogischen Ableitbarkeitsbegriff, einen prädikatenlogischen, einen Intuitionistischen, einen modallogischen usw.

Obwohl es also unterschiedliche Ableitbarkeitsrelationen gibt, gibt es doch eine Reihe von Eigenschaften, die den meisten Ableitbarkeitsrelationen (zumindest den obengenannten) gemeinsam sind

  • Inklusion: \Gamma \cup \{\mathrm{A}\}\vdash \mathrm{A} (Jede Annahme ist auch eine Folgerung).
  • Idempotenz: Wenn \Gamma \vdash \mathrm{A} und \Gamma \cup \{\mathrm{A}\} \vdash \mathrm{B}, dann \Gamma \vdash \mathrm{B} (Durch Hinzunahme von Folgerungen zu den Annahmen erhält man keine neuen Folgerungen.)
  • Monotonie: Wenn \Gamma \vdash \mathrm{A}, dann \Gamma \cup \Delta \vdash \mathrm{A} (Hinzufügen von Annahmen erhält die bisher möglichen Folgerungen.)
  • Kompaktheit; Wenn \Gamma \vdash \mathrm{A}, dann gibt es eine endliche Menge Δ mit \Delta \subseteq \Gamma, so dass \Delta \vdash \mathrm{A}. (Jede Folgerung aus einer unendlichen Annahmenmenge ist bereits aus einer endlichen Teilmenge zu erreichen.)


Siehe auch: Inferenzoperation; Kalkül

Ableitung im materiellen Sinn

Da es bei der Ableitung im formalen Sinn [1] lediglich um "die Erzeugung eines Zeichengebildes aus einem anderen nach den Regeln des jeweiligen Kalküls"[3] geht und ein Kalkül "nichts anderes als eine Herstellungsvorschrift für Figuren (ist)[4] ist "das Ableiten ..kein logisches Schließen, denn die Vorschriften des Kalküls, also die Grundfiguren und die Grundregeln, können ja ganz willkürlich gewählt sein“[5].

Von der Ableitung im formalen Sinn eines Kalküls ist der Nachweis der Allgemeingültigkeit des Schlusses von bestimmten Voraussetzungen auf eine Konklusion zu unterscheiden[6].

Die Begriffe der formalen und der materiellen Ableitung[7] hängen miteinander zusammen: Eine formale Ableitbarkeit besteht im Allgemeinen, wenn auch eine materielle Ableitbarkeit besteht.

Beispiel[8]:

In Verbindung mit der Abtrennungsregel ist im aussagenlogischen Kalkül folgende Ableitung möglich:

  1. Die Beatles spielten Kammermusik.
  2. Wenn die Beatles Kammermusik spielten, verdienten sie viel Geld.
  3. Die Beatles verdienten viel Geld.

Zugleich liegt ein allgemeingültiger Schluss vor.

Siehe auch

Folgerung

Quellen

  1. Schülerduden Philosophie, 2. Aufl. (2002)/Ableitung spricht von "Ableitung i.S.d. formalen Logik"
  2. Schülerduden Philosophie, 2. Aufl. (2002)/Ableitung spricht von "Ableitung i.S.d. inhaltlichen Logik"
  3. Seiffert, Wissenschaftstheorie IV (1997), Ableitung
  4. Lorenzen, Logik, 4. Aufl. (1970), S. 58
  5. Lorenzen, Logik, 4. Aufl. (1970), S. 58
  6. Regenbogen/Meyer, Wörterbuch der Philosophischen Begriffe (2005)/Ableitung; Schülerduden Philosophie, 2. Aufl. (2002)/Ableitung
  7. Der Ausdruck "materielle Ableitbarkeit" wird hier eingeführt. Schülerduden Philosophie, a.a.O. spricht von der Ableitung im Sinne der inhaltlichen Logik
  8. Vgl. Regenbogen/Meyer, Wörterbuch der Philosophischen Begriffe (2005)/Ableitung

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • Wissensrepräsentation mit Logik — ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert. Zum Aufbau wissensbasierter Systeme müssen Objekte der realen Welt in einer Sprache repräsentiert werden, die ein Computer versteht, damit er mit diesem Wissen umgehen kann.… …   Deutsch Wikipedia

  • Ableitung (Logik) — Unter Ableitung oder Herleitung, auch Deduktion, versteht man in der Logik die Gewinnung von Sätzen (den Konklusionen) aus anderen Sätzen (den Prämissen) in einem formalen Kalkül unter Verwendung der im Kalkül zugelassenen Schlussregeln.… …   Deutsch Wikipedia

  • Belnaps vierwertige Logik — (kurz: FOUR) ist ein logisches System mit vier Wahrheitswerten, welches parakonsistentes Schlussfolgern ermöglicht. Sie wurde 1977 von Nuel Belnap entwickelt. Belnaps vierwertige Logik verwendet im Gegensatz zur klassischen Logik vier… …   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

  • FOUR — Belnaps vierwertige Logik (kurz: FOUR) ist ein logisches System mit vier Wahrheitswerten, welches parakonsistentes Schlussfolgern ermöglicht. Sie wurde 1977 von Nuel Belnap entwickelt. Belnaps vierwertige Logik verwendet im Gegensatz zur… …   Deutsch Wikipedia

  • Folgerung — 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

  • Inferenz — 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

  • Inferieren — 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

  • Konklusion — 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

  • Schlusssatz — 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”