Inferenzoperation

Die Inferenzoperation ist eine Funktion in der Logik, die einer (gegebenenfalls leeren) Formelmenge $\Gamma$ (den Annahmen oder Prämissen) die Menge aller Formeln zuordnet, die logisch aus $\Gamma$ folgen.

Inferenzoperation und Ableitbarkeitsrelation

Ist eine Ableitbarkeitsrelation $\vdash$ gegeben, so ist die zugehörige Inferenzoperation wie folgt zu definieren: $Cn(\Gamma )$ = $\{\mathrm {A} \mid \Gamma \vdash \mathrm {A} \}$. Umgekehrt kann man bei gegebener Inferenzoperation die Ableitbarkeitsrelation so festlegen: $\Gamma \vdash \mathrm {A}$ gdw. $\mathrm {A} \in Cn(\Gamma )$.

Eigenschaften einer Inferenzoperation

Ebenso wie es unterschiedliche Ableitbarkeitsrelationen für unterschiedliche Logiken (Aussagenlogik, Prädikatenlogik, intuitionistische Logik, Modallogik usw.) gibt, gibt es also auch unterschiedliche Inferenzoperationen.

Obwohl es also unterschiedliche Inferenzoperationen gibt, gibt es doch eine Reihe von Eigenschaften, die allen (oder doch den meisten) Inferenzoperationen zukommen. Diese sind zuerst von dem Logiker Alfred Tarski untersucht worden. Tarski nennt die folgenden Eigenschaften

• Extensivität: $\Gamma \subseteq Cn(\Gamma )$; besagt, dass Annahmen immer auch Folgerungen sind, alternativ: Jede Aussage, die man annimmt, darf man auch folgern.
• Idempotenz: $Cn(Cn(\Gamma ))\subseteq Cn(\Gamma )$; besagt, dass Folgerungen aus Folgerungen immer schon Folgerungen sind, alternativ: Wenn man eine Aussage, die aus den Annahmen folgt, annimmt, so bekommt man dadurch keine zusätzlichen Folgerungen.
• Monotonie: Wenn $\Gamma \subseteq \Delta$, dann $Cn(\Gamma )\subseteq Cn(\Delta )$; besagt, wenn zwei Annahmenmengen ineinander enthalten sind, sind auch die entsprechenden Konsequenzenmengen ineinander enthalten, alternativ: Folgt aus einer Menge von Annahmen eine Aussage, so folgt dieselbe Aussage immer noch, wenn weitere Annahmen hinzugenommen werden. (Wird die Monotonieeigenschaft aufgegeben, spricht man von nichtmonotoner Logik.)
• Kompaktheit: $Cn(\Gamma )=\bigcup \{Cn(\Delta )\mid \Delta \subseteq \Gamma {\text{ und }}\Delta {\text{ ist endlich}}\}$; besagt, dass Folgerungen aus beliebigen Annahmenmengen sich immer schon aus einer endlichen Untermenge der Annahmenmenge folgern lassen.

Die ersten drei Eigenschaften machen die Inferenzoperation zu einem Hüllenoperator.