Kennzeichnung (Logik)

aus Wikipedia, der freien Enzyklopädie

Als Kennzeichnungen, auch bestimmte oder definite Kennzeichnungen (englisch (definite) descriptions), werden in der Sprachphilosophie Ausdrücke der Form „der/die/das A“ bezeichnet.

Beispiele

  • der erste Mensch auf dem Mond
  • der höchste Berg der Erde

Diese beiden Ausdrücke erfüllen die so genannte „Einzigkeitsbedingung“, die man sich immer mit Kennzeichnungen verbunden denkt: es gibt genau ein A, im Beispiel: genau einen ersten Mensch auf dem Mond, genau einen höchsten Berg der Erde.

Die Einzigkeitsbedingung kann selbst wieder als Konjunktion von zwei Bedingungen analysiert werden:

Die Einzigkeitsbedingung braucht nicht bei jeder Kennzeichnung erfüllt zu sein. Beispiele für solche so genannten leeren Kennzeichnungen sind:

Dabei verletzt der Ausdruck „der gegenwärtige König von Frankreich“ die Existenzbedingung, denn es gibt zur Zeit keinen König in Frankreich, und der Ausdruck „der Autor der Principia Mathematica“ die Eindeutigkeitsbedingung, denn es gibt nicht nur einen Autor dieses Werks, sondern deren zwei (Bertrand Russell und Alfred North Whitehead).

In der sprachphilosophischen Literatur gibt es eine ganze Reihe von Kennzeichnungstheorien, die sich vor allem mit dem Fall der nicht-erfüllten Einzigkeitsbedingung befassen. Liegen diese Theorien in formalisierter Form vor, so verwenden sie als Kennzeichnungsoperator meist ein kleines Jota (daher auch Jota-Operator):


ist zu lesen als: „dasjenige x, für das F(x) gilt“.

Kennzeichnungstheorien

Gottlob Frege

Gottlob Frege befasst sich in seinem Aufsatz „Über Sinn und Bedeutung“ mit dem Problem der Kennzeichnungen. Für ihn ist die Erfülltheit der Einzigkeitsbedingung Voraussetzung sowohl für die Wahrheit als auch die Falschheit eines Satzes mit einer Kennzeichnung. Der Satz „Der gegenwärtige König von Frankreich ist kahl“ wäre damit für Frege weder wahr noch falsch. Nach Frege ist die Tatsache, dass es möglich ist, leere Kennzeichnungen zu bilden, eine „Unvollkommenheit der Sprache“. Für die formale Sprachen der Logik und Mathematik fordert er, dass es unmöglich gemacht werden soll, leere Kennzeichnungen zu bilden, indem beispielsweise festgelegt wird, dass eine Kennzeichnung „der A“, bei der es nicht genau ein A gibt, auf ein vorher festgelegtes Objekt, etwa die Zahl 0, verweisen soll. So wird also erzwungen, dass die Einzigkeitsbedingung letztlich immer erfüllt ist.

Bertrand Russell

Bertrand Russell geht einen etwas anderen Weg: Bei ihm muss einem Satz wie

Der gegenwärtige König von Frankreich ist kahl.

eine logische Analyse zugeordnet werden, in welcher der Kennzeichnungsausdruck nicht mehr vorkommt. Sein Vorschlag für eine Analyse ist:

Es gibt genau einen König von Frankreich und dieser ist kahl.

Im Gegensatz zu Frege, der einen Satz mit einer leeren Kennzeichnung als weder wahr noch falsch bezeichnete, ist für Russell also ein solcher Satz schlicht falsch. Die Verneinung des obigen Satzes, nämlich der Satz

Der gegenwärtige König von Frankreich ist nicht kahl.

ist dagegen für Russell mehrdeutig. Er kann bedeuten:

Es gibt genau einen König von Frankreich und dieser ist nicht kahl.

oder

Es gibt nicht genau einen König von Frankreich, der kahl ist.

Der erste dieser Sätze ist ebenfalls falsch, der zweite ist jedoch wahr. Sätze mit einer leeren Kennzeichnung können also nach Russell u. U. sogar wahr sein.

Peter F. Strawson

Peter F. Strawsons kritisiert Russell dahingehend, es werde nach seiner Analyse mit einem Satz wie

Der gegenwärtige König von Frankreich ist kahl

unter anderem behauptet, dass es genau einen König von Frankreich gibt. Nach Strawson ist dies keine Behauptung, sondern eine Präsupposition. D. h., es ist eine Voraussetzung, die erfüllt sein muss, damit der Satz überhaupt sinnvoll ist. Dasselbe gilt nach Strawson auch für die Verneinung:

Der gegenwärtige König von Frankreich ist nicht kahl

Auch hier muss die Einzigkeitsbedingung erfüllt sein, damit es sich um einen sinnvollen Satz handelt. Strawsons Theorie nähert sich damit der Freges an.

Siehe auch

Literatur

  • Gottlob Frege: Über Sinn und Bedeutung. In: Zeitschrift für Philosophie und philosophische Kritik, NF 100, 1892, 25–50. Auch in: Gottlob Frege: Funktion, Begriff, Bedeutung. Fünf logische Studien. Herausgegeben und eingeleitet von Günther Patzig. Vandenhoeck & Ruprecht, Göttingen 1962. 38–63.
  • Bertrand Russell: On Denoting. Mind 14, 1905. 479–493. Dt in: Wolfgang Stegmüller (Hg.) Das Universalien-Problem, Darmstadt, 1978. 21–40.
  • P.F. Strawson: On Referring. Mind 59, 1950. 320–344. Dt in: Ursula Wolf: Eigennamen Frankfurt a. M. 1985. 49 – 126.
  • Mirja Holst: Kennzeichnungen, in: Nikola Kompa (Hrsg.): Handbuch Sprachphilosophie. Metzler, Stuttgart 2015, ISBN 978-3-476-02509-8, S. 114–120.

Weblinks