Skopus (Logik)

Skopus (Logik)

In der Logik versteht man unter dem Bereich, der Reichweite oder dem Skopus (engl. scope „Bereich“, von lat. scopus „Ziel“) eines Quantors die kürzeste Formel, die diesem Quantor unmittelbar folgt.

Der Begriff wird zum Beispiel dazu verwendet, die Begriffe der Freiheit und der Gebundenheit von Variablen zu definieren.

Es gilt:

  1. Ein Vorkommen einer Variable ist frei in einer Formel B, wenn es nicht im Bereich eines Quantors vorkommt.
  2. Ein Vorkommen einer Variable wird durch ein Vorkommen eines Quantors gebunden, wenn die Variable im Bereich B des Quantors vorkommt und wenn die Variable in B frei ist.

Erläuterung und Beispiele

Als Beispiel betrachten wir die beiden Aussagen

A: \forall x (\exists x G(x) \wedge (F(x) \supset H(x)))

und

B: \forall x (\exists x (G(x) \wedge F(x)) \supset H(x))

Der Skopus des Existenzquantors \exists x besteht in Aussage A nur aus der Formel G(x), in Aussage B aus G(x) \wedge F(x), der Skopus des Allquantors \forall x geht in beiden Fällen über die ganze Formel.

Wir können nun zeigen, dass das x in F(x) in A durch den Allquantor und in B durch den Existenzquantor gebunden wird. Im ersten Fall ist der Skopus des Allquantors die Formel:

\exists x G(x) \wedge (F(x) \supset H(x))

Wie schon gesagt, steht das x von F(x) hier nicht im Skopus des Existenzquantors. Das Vorkommen ist also frei. Ein freies Vorkommen einer Variable im Skopus eines Quantors wird durch diesen Quantor gebunden, die Variable wird also durch den Allquantor gebunden.

In B ist der Skopus des Existenzquantors die Formel:

G(x) \wedge F(x)

In dieser Formel sind beide Variablen frei, sie werden also durch den Existenzquantor gebunden.

Dem Skopus-Unterschied entspricht auch ein Unterschied in der Bedeutung der beiden Formeln: Um dies zu verdeutlichen, interpretieren wir G(x) als „x ist Gott“, F(x) „x ist gerecht“ und H(x) als „x ist glücklich“. Dann ist Aussage A zu lesen als

Es gibt einen Gott, und alle Gerechten sind glücklich

Aussage B dagegen als

Wenn es einen Gott gibt, der gerecht ist, sind alle glücklich.

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Skopus — steht für: Skopus (Berg), ein Berg in Israel Skopus (Logik), die Reichweite eines Quantors Skopus (Sprachwissenschaft), Wirkungsbereich von Wörtern, die der näheren Bestimmung von Aussagen dienen Diese Seite ist eine Begri …   Deutsch Wikipedia

  • Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck …   Deutsch Wikipedia

  • Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Existenzoperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Existenzquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Generalisator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Quantifikator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

Share the article and excerpts

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