Das Prinzip, dass zwei mathematische Objekte (Mengen, Relationen, Funktionen) genau dann identisch sind, wenn sie in ihrer Extension übereinstimmen: Mengen haben dieselben Elemente, Funktionen liefern für alle Eingaben dieselben Ausgaben, Relationen gelten für dieselben Tupel.

Prinzip

Identität wird extensional bestimmt: Gleichheit reduziert sich auf Übereinstimmung von Mitgliedschaft oder Ein-/Ausgabe-Verhalten statt auf intentionale oder deskriptive Eigenschaften.

Demonstration

In der Zermelo–Fraenkel-Mengenlehre besagt das Extensionalitätsaxiom, dass wenn jedes Element von x ein Element von y und umgekehrt ist, dann x = y; in der Funktionstheorie gilt funktionenextensionalität: f = g genau dann, wenn für alle x gilt f(x)=g(x).

Fehlanwendung

Extensionalität dort anzuwenden, wo intentionale oder hyperintensionale Unterschiede relevant sind (z. B. kognitive Inhalte, Sinnesmodi oder Programmtexte als identisch zu behandeln, obwohl ihre Extensionen auf unangemessene Weise übereinstimmen oder divergieren).

Konsequenz

Begründet die übliche Gleichheitsrechnung in Mengenlehre, Algebra und funktionaler Programmierung: sie erlaubt Ersetzung, Vereinfachung und abstrakte Identifikation allein aufgrund extensionalen Verhaltens.

Umkehrung

Intensionalitäts- oder hyperintensionalitätsanalysen kehren das Prinzip um, indem sie Unterscheidungen aufrechterhalten zwischen Objekten, die extensional übereinstimmen, sich aber im Präsentationsmodus, im Berechnungsinhalt oder im feinen Sinn unterscheiden.

Abgrenzung

Gilt in extensionalen mathematischen Rahmen (Mengenlehre, extensionalle Typentheorien, viele algebraische Kontexte); sie gilt nicht unverändert in intensionalen Logiken, intensionalen höherstufigen Semantiken oder in Situationen, die hyperintensionale Unterscheidungen erfordern.

Semantische Spannung

Spannung zwischen mathematischer Bequemlichkeit und repräsentationaler Treue: Extensionalität vereinfacht Identität und Schluss, kann aber Unterschiede verbergen, die für Bedeutung, Berechnung oder kognitive Rollen wichtig sind.

Synthese

Extensionalität ist das kanonische Identitätskriterium vieler formaler Systeme: sie reduziert Identität auf beobachtbares Verhalten (Mitgliedschaft oder Ein-/Ausgabe) und ermöglicht starkes äquationales Schließen, fordert jedoch alternative Behandlungen dort, wo intentionale oder hyperintensionale Differenzen semantisch oder rechnerisch bedeutsam sind.