Was ich mich jetzt frage: Es werden in der Logik ja auch "nicht-semantische" Wahrheitsbegriffe betrachtet (siehe einen Absatz darüber, solche objektsprachlichen Wahrheitsdefinitionen, Hintikka hat zum Beispiel eine Logik für die Grundlagen der Mathematik vorgeschlagen, in der Wahrheit in diesem Sinne definierbar ist). Im Moment steht dort eben nur etwas von formaler Semantik. Bzw. etwas allgemeiner gesprochen: Den Gedanken, "'p' ist wahr" als gleichbedeutend mit "p" zu verstehen, scheint mir ein wichtiger zu sein, ebenso in der Logik wie in der Umgangssprache. Siehst du eine Möglichkeit, auf diesen Aspekt kurz und prägnant hinzuweisen, ohne den Rahmen der Einleitung zu sprengen? -- Chricho 17:41, 17. Aug. 2013 (CEST)