imported>Dandelo: + link

2023-12-12T19:23:11Z

+ link

Neue Seite

Mit '''Extensionalitätsprinzip''' ist meist eine Eigenschaft einer künstlichen oder [[natürliche Sprache|natürlichen Sprache]] gemeint. Man spricht hier auch von ''Kompositionalitätsprinzip'' oder ''Frege-Prinzip''. Ein anderer, in diesem Artikel nicht behandelter Sinn ist gemeint, wenn ein [[Axiom]] der [[Mereologie]] damit bezeichnet wird.<ref>Dazu: {{SEP|https://plato.stanford.edu/entries/mereology/#3|Mereology|[[Achille Varzi (Philosoph)|Achille Varzi]]}}</ref>

Das semantische Extensionalitätsprinzip besagt:

# dass die Bedeutung eines Ausdrucks einer künstlichen oder natürlichen Sprache durch seine [[Extension und Intension|Extension]] ausreichend bestimmt ist, d. h. dadurch, welche (physischen oder abstrakten) Gegenstände dieser Ausdruck benennt; und
# dass die Extension eines zusammengesetzten Ausdrucks dieser Sprache eindeutig durch die Extensionen seiner Teilausdrücke und die Art ihrer Zusammensetzung bestimmt ist.

Die Bezeichnungen Kompositionalitätsprinzip und Frege-Prinzip werden jedoch oft in einem weiteren Sinn gebraucht als Extensionalitätsprinzip. Diese weitere Bedeutung wird im Artikel [[Frege-Prinzip]] thematisiert.

Das Extensionalitätsprinzip ist ein rein deskriptives, d. h. beschreibendes Konzept, das von seinem Anspruch her auf einige Sprachen zutrifft, aber nicht auf alle Sprachen zutreffen muss. Vom Extensionalitätsprinzip unterscheidet sich die Extensionalitätsthese: Sie sagt aus, dass es zu jedem Ausdruck einer Sprache einen äquivalenten extensionalen Ausdruck gibt, dass also jede Sprache in letzter Konsequenz extensional ist. Die [[Extensionalitätsthese]] wird nicht allgemein anerkannt.

Wenn für eine natürliche oder künstliche Sprache das Extensionalitätsprinzip gilt, dann sagt man, diese Sprache sei ''extensional''.

Wenn zwei Sprachausdrücke dieselbe Extension haben, dann sagt man, sie seien ''extensional gleich''. Zum Beispiel benennen die Eigennamen „Morgenstern“ und „Abendstern“ beide den Planeten Venus: Sie sind extensional gleich.

In Abgrenzung von der Extension ist die [[Intension]] eines Ausdrucks die Art und Weise, wie dieser Ausdruck seine Extension benennt. Es gibt unterschiedliche Sichtweisen, was genau Intension ist und wie sie sich formal fassen lässt. So definiert man ''intensionale Sprachen'' meist negativ als solche Sprachen, in denen das Extensionalitätsprinzip nicht gilt.

Beispiele für extensionale Sprachen sind die klassische [[Aussagenlogik]] in der formalen [[Logik]] oder die [[Mengenlehre]] in der [[Mathematik]]. Demgegenüber werden natürliche Sprachen (z. B. Deutsch) normalerweise als intensional bzw. nicht extensional betrachtet: So haben die beiden Namen „Abendstern“ und „Morgenstern“ zwar dieselbe Extension, den Planeten Venus, werden aber typischerweise dennoch als unterschiedlich empfunden. Ebenso ist zum Beispiel die Sprache der [[Modallogik]] intensional, weil die Möglichkeitsoperatoren „es ist möglich, dass...“ und „es ist notwendig, dass...“ nicht wahrheitsfunktional sind, d. h. nicht durch die Extension – den Wahrheitswert – ihres Arguments eindeutig bestimmt sind.

In der [[Mengenlehre]] sind die [[Menge (Mathematik)|Mengen]] rein extensional bestimmt, d. h. zwei Mengen sind genau dann identisch, wenn sie dieselben [[Element (Mathematik)|Elemente]] haben. In der [[Zermelo-Fraenkel-Mengenlehre]], einer verbreiteten Axiomatisierung der Mengenlehre, wird das durch das [[Extensionalitätsaxiom]]

:<math>\forall A,B : A=B \leftrightarrow \forall C : (C\in A \leftrightarrow C\in B)</math>

ausgedrückt. Gelegentlich werden die Wörter „Extensionalitätsaxiom“ und „Extensionalitätsprinzip“ synonym verwendet.

== Siehe auch ==
* [[Extensionale Identität]]
* [[Frege-Prinzip]] – die weitere Bedeutung der Begriffe Frege-Prinzip bzw. Kompositionalitätsprinzip
* [[Begriff (Philosophie)]] – mehr über Begriffe, Gegenüberstellung von Extension und Intension

== Weblinks ==
* {{SEP|https://plato.stanford.edu/entries/compositionality/}}

== Einzelnachweise ==
<references />

{{SORTIERUNG:Extensionalitatsprinzip}}
[[Kategorie:Logik]]
[[Kategorie:Mengenlehre]]
[[Kategorie:Semantik (Philosophie)]]

Extensionalitätsprinzip - Versionsgeschichte

imported>Dandelo: + link