Namenbindung

Namenbindung bezeichnet in der Sprach- und Semantiktheorie die Beziehung zwischen einem Eigennamen und dem Gegenstand, auf den er sich bezieht. Sie behandelt, wie Namen Referenz erhalten, wie sie zu Bedeutungen beitragen und wie sich Referenz über verschiedene Sprechakte und mögliche Welten hinweg stabil hält.

Historisch lassen sich vor allem zwei Strömungen unterscheiden. Deskriptivistische Theorien, vertreten durch Frege und Russell, gehen davon aus, dass die Referenz eines Namens durch Beschreibungen oder Sinn festgelegt wird. Ein Name verweise demnach auf denjenigen Gegenstand, der die relevanten Eigenschaften erfüllt; die Referenz kann sich verändern, falls sich die zugrunde liegende Beschreibung ändert. Die kausale bzw. direkte Theorie, wie sie von Kripke und Putnam entwickelt wurde, betrachtet Eigennamen als rigide Designatoren, deren Referenz durch eine kausale Kette von Benennungen verknüpft ist. Die Referenz wird bei der ersten Benennung des Gegenstands festgelegt (Baptism) und bleibt auch dann bestehen, wenn sich Beschreibungen ändern.

In der Informatik bedeutet Namensbindung die Zuordnung eines Bezeichners zu einem Speicherort, Wert oder einer Variable innerhalb eines Programms. Sie bestimmt, in welchem Gültigkeitsbereich der Name gültig ist (Scope) und wie Namensauflösung erfolgt. Lexikalische Bindung orientiert sich am Quelltext, während dynamische Bindung zur Laufzeit gilt. Bindungen sind zentrale Bausteine der Semantik von Programmiersprachen.

Die Debatte berührt Fragen zu Referenz, Identität und Bedeutung, zu Deixis und zum Einfluss des Kontextes auf Sprachverständnis. Namensbindung bleibt damit ein zentrales Thema sowohl in der Philosophie der Sprache als auch in der theoretischen Informatik. Siehe auch: Eigennamen, Deskriptions-Theorie, Kausale Theorie, Variablenbindung.