1. Der Junktor „und“
Von elementarer Wichtigkeit für die Formalisierung unserer Normalsprache ist es, Worten die richtigen logischen Funktionen zuzuordnen. Ein typisches Beispiel dafür ist das Wort ‚und‘. Das Wort kann z.B. in einer Aufzählung, zur Einleitung eines Satzes vorkommen oder vollständige Aussagen, also Zuordnungen von Subjekten und Prädikaten, miteinander verbinden. Wird das Wort in dieser letzten Weise gebraucht, um Aussagen miteinander zu verknüpfen, bezeichnet man es als einen logischen Junktor. Durch diese Verknüpfung werden zwei oder mehr Aussagen miteinander verbunden.
Eine solche Herangehensweise bringt uns dazu, auch berühmte Texte anders und neu zu lesen. In den ersten Sätzen der Bibel, die zitiert sind, kommt das Wort ‚und‘ sieben Mal vor.
Der Junktor „und“
Für das „und“ als logischer Junktor wird in den gebräuchlichen Formalisierungen das Zeichen ∧ verwendet, für den Junktor „oder“ das Zeichen ∨. Entsprechend lassen sich die Beispielsätze so notieren:
Das Beispiel macht klar, dass ein einzelner sprachlicher Satz verschiedene Aussagen enthalten kann. Der zweite grammatikalische Satz etwa enthält drei Aussagen, die mit dem Junktor „und“ verknüpft sind. Die Umsetzung von Sätzen in Aussagen ist daher auch nicht immer eindeutig, sondern hängt von der Interpretation eines Textes ab. So könnte man argumentieren, dass in „Die Erde war wüst und leer“ eigentlich zwei Aussagen stecken: „Die Erde war wüst“ ∧ „Die Erde war leer“. Auch in der Aufzählung „Himmel und Erde“ könnten so zwei Aussagen identifiziert werden.
Die Differenzierung der Aussagen ist dabei vor allem deshalb wichtig, um genauer unterscheiden zu können, welche der einzelnen Aussagen wahr und welche falsch sind – unabhängig von deren sprachlicher Form. Wenn man die zuletzt genannte Aufzählung in die beiden Aussagen „Gott schuf den Himmel“ und „Gott schuf die Erde“ trennt, wäre es möglich, dass nur eine der beiden Aussagen wahr ist, oder beide sogar im Widerspruch stehen. Das wird in der grammatikalischen Form verdeckt und kommt erst nach einer logischen Formalisierung zum Vorschein.