imported>Hutch: Abschnittlink korrigiert

2026-01-30T08:35:35Z

Abschnittlink korrigiert

Neue Seite

Der '''Jota-Operator''' (auch: '''Kennzeichnungsoperator''') findet überwiegend in [[Sprachphilosophie|sprachphilosophischen]] ''[[Kennzeichnung (Logik)|Kennzeichnung]]stheorien'' Verwendung, die sich mit der Bedeutung von Ausdrücken der Form „der/die/das F“ befassen. Liegen diese Theorien in (teilweise) formalisierter Form vor, so verwenden sie als ''Kennzeichnungsoperator'' ein kleines umgekehrtes 'j' bzw. das griechische [[Iota|Jota]] (daher die Bezeichnung ''Jota-Operator''): Die Kennzeichnung<br/>
:<math>\iota x F(x)</math><br/>
ist zu lesen als: „dasjenige x, für das F(x) gilt“. Es handelt sich um einen geschlossenen [[Singulärer Term|singulären Term]], der durch Anwendung des Operators <math>\iota x</math> auf die in <math>\mathit{x\,}</math> offene Formel <math>F\mathit{(x)\,}</math> entsteht. Der Kennzeichnungsoperator bindet die freie Variable in <math>F\mathit{(x)\,}</math>.

[[Kategorie:Semantik (Philosophie)]]
[[Kategorie:Philosophische Logik]]

Jota-Operator - Versionsgeschichte

imported>Hutch: Abschnittlink korrigiert