Extension

Erläuterungen

Jeder Charakterisierung, die mit einem sprachlichen Ausdruck vorgenommen werden kann, entspricht die Menge aller Gegenstände, auf die das Prädikat dieser Charakterisierung zutrifft. Diese Menge wird als die Extension dessen bezeichnet, was der Ausdruck bezeichnet. So ist etwa die Extension eines Argumentausdrucks die Menge der Gegenstände, die mit dem Ausdruck benannt werden können, die eines einstelligen Prädikatsausdrucks wie z. B. ist ein Käfer die Menge aller Gegenstände, die zutreffend als Käfer bezeichnet werden können. Die Extension eines zweistelligen Prädikatsausdrucks wie etwa überrascht wiederum ist die Menge aller Paare {a, b}, auf die zutrifft, dass a b überrascht.

Hinweise

Extension ist ein Begriff der Semantik bzw. der formalen Logik.

Der zur Extension komplementäre Begriff ist die Intension als 'Begriffsinhalt'.