grundlegender Terminus der logischen Semantik zur Bezeichnung der Geltung von Aussagen beziehungsweise Aussagesätzen. Zur Einlösung eines Geltungsanspruchs muss zu den Gegenständen zurückgegangen werden, über die etwas ausgesagt wird oder wurde; deshalb sind die Kriterien für die Einlösung der (metasprachlichen) Behauptung »A ist wahr« die gleichen wie die Kriterien für die