Individualaussage
Die Individualaussage bezeichnet in der modernen Logik eine Aussage über ein logisches Individuum und eine oder mehrere seiner Eigenschaften oder über mindestens zwei Individuen und eine oder mehrere zwischen ihnen bestehenden Beziehungen.
Sie entspricht etwa dem singulären Urteil (Individualurteil) der traditionellen Logik. Der Aussagesatz, in dem sie formuliert ist, enthält Namen für die Individuen, über die gesprochen wird, auch möglicherweise in Form von Beschreibungen.
Wird die Individualaussage in der symbolisierten Sprache der Prädikatenlogik wiedergegeben, so werden neben den Zeichen für Eigenschaften oder Beziehungen nur Individuenkonstante verwendet.
Beispiele:
"Napoleon Bonaparte war französischer Kaiser" - symbolisch: K(n)
"Friedrich Engels war der beste Freund von Karl Marx" - symbolisch: F(e,m)