Quelltext der Seite Kennzeichnung (Logik)

Als '''Kennzeichnungen''', auch '''bestimmte''' oder '''definite''' Kennzeichnungen ({{enS|'''(definite) descriptions'''}}), werden in der [[Sprachphilosophie]] Ausdrücke der Form „der/die/das A“ [[Bezeichnung|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 (Logik)|Konjunktion]] von zwei Bedingungen analysiert werden:
* [[Existenz]]: es gibt mindestens ein A
* [[Eindeutigkeit]]: es gibt höchstens ein A

Die Einzigkeitsbedingung braucht nicht bei jeder Kennzeichnung erfüllt zu sein. Beispiele für solche so genannten ''leeren Kennzeichnungen'' sind:
* der gegenwärtige König von Frankreich
* der Autor der [[Principia Mathematica]]

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 [[Griechisches Alphabet#Klassische Zeichen|Jota]] (daher auch ''Jota-Operator''):
:<math>\iota x F(x)</math><br />
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 Sprache]]n 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 [[Mehrdeutigkeit|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.&nbsp;U. sogar wahr sein.

=== Peter F. Strawson ===
[[Peter F. Strawson]]s 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.&nbsp;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 ==
* [[Identifikator]]
* [[Kennzeichen]] (Begriffsklärung)
* [[Funktor (Logik)]]

== 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 (Philosophin)|Ursula Wolf]]: ''Eigennamen'' Frankfurt a.&nbsp;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 ==

* [http://www.gavagai.de/HHP31.htm Gottlob Frege: ''Über Sinn und Bedeutung'']
* {{SEP|http://plato.stanford.edu/entries/descriptions/ Ludlow (2005): ''Descriptions''}}
* {{SEP|http://plato.stanford.edu/entries/prop-attitude-reports/des.html McKay/Nelson: ''Definite Descriptions''}}

[[Kategorie:Pragmatik]]
[[Kategorie:Semantik]]
[[Kategorie:Semantik (Philosophie)]]
[[Kategorie:Philosophische Logik]]
[[Kategorie:Gottlob Frege]]