Die Monographie analysiert Gedanken, Aussagen und Urteile mit Wahrheitswert. Sie thematisiert kritisch die Historie, die Mathematisierung und die sprachwissenschaftliche Diskussion von Sätzen mit Kopulaverben, denn die moderne Logik stützt gemäß der Autorin eine Aktualisierung des Sprachverständnisses, der Grammatikographie und ermöglicht sowohl mit der Prädikatenlogik Freges als auch mit dem Lambda-Kalkül Churchs eine originäre Anpassung formaler Sprache auf natürliche Sprache. Die Logik von Aussagenstrukturen wird mit der Valenztheorie, der Dependenzgrammatik und der Mathematik neu begründet und verstehbar. Linguist:innen, Informatiker:innen, Philosoph:innen und allen, die sich Gedanken über Gedanken machen, werden eine Revision der traditionellen Urteilslehre, die Eigenart von Gedanken gegenüber Urteilen, eine Entsprechung von Logik und Grammatik sowie der empirisch beweisbare Sinn des Verbs ,sein' vorgestellt.