Individuenkonstanten: Symbole, die für ein einzelnes Objekt stehen im Gegensatz zu Individuenvariablen. Individuenkonstanten erlauben beim wiederholten Auftreten innerhalb einer Formel oder einer Inferenz das Einsetzen eines Namens für das Objekt. Für Individuenkonstanten werden oft a, b, c… gebraucht, während x, y, z Individuenvariablen sind. Individuenvariablen stellen nicht sicher, dass beim wiederholten Gebrauch dasselbe Objekt gemeint ist. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|