In der Philosophie unterscheidet man zwischen der formellen und der inhaltlichen Wahrheit. Inhaltlich ist etwas wahr, z.B. wenn eine Information mit den Tatsachen übereinstimmt. (Diesbezüglich lernen wir noch einige Theorien kennen.) Formell ist eine Aussage wahr, wenn ihre Bestandteile in solchen Beziehungen zueinander stehen, dass sie keinen Widerspruch ergeben. Diese Beziehungen beschreibt Logik.
