wahr

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