Quelltext der Seite Individuenvariable

{{Überarbeiten}}
Die '''Individuenvariable''' bezeichnet eine [[Variable (Logik)|Variable]], die als Platzhalter für eine Individuen[[Konstante (Logik)|konstante]], einen Individuennamen steht.

''Synonyme'' sind „Gegenstandsvariable“<ref>Essler/Martínez, Grundzüge der Logik I, 4. Aufl. (1991), S. 174</ref> oder „Individualvariable“<ref>Copi, Einführung in die Logik (1998), S. 172; Wunderlich, Arbeitsbuch Semantik, 2. Aufl. (1991), S. 345</ref>. 

''Symbolisiert'' werden Individuenvariablen zumeist durch lateinische Kleinbuchstaben x, y, z.

Verwandte Unterbegriffe des gemeinsamen Oberbegriffs [[Variable (Logik)|Variable]] ([[Kohyponym]]e) sind unter anderem [[Prädikatvariable]] und [[Aussagenvariable]].

''Gegenbegriff'' ([[Antonym]]) ist die [[Individuenkonstante]] (der Individuenname).

Individuenvariablen ermöglichen es, in All- oder Existenzaussagen über [[Individuum|Individuen]] des zugrundeliegenden Individuenbereichs zu sprechen, ohne dabei konkrete Individuen zu nennen. 

Man sagt dann

„für jedes Individuum x gilt: …“ (symbolisch: <math> \forall (x) ...</math>)

oder

„es gibt mindestens ein Individuum x, für das gilt: …“ (symbolisch: <math> \exists (x) </math>).

Falls in einer Aussagenfunktion Individuenvariablen als einzige freie Variable vorkommen und man die Individuenvariable durch Individuenkonstante ersetzt, erhält man eine Individualaussage oder singuläre Aussage.

== Einzelnachweise ==
<references/>

[[Kategorie:Philosophische Logik]]