Sachverhalt Aussagenlogik

◀▶Die Aussagenlogik hat eher mit Sachverhalten zu tun als mit Tatsachen. Sie ist eine Theorie über die Existenz von Sachverhalten. Werden Aussagen miteinander verknüpft, ergibt sich die Aussage über einen Sachverhalt. Eine Aussage ist ein atomares sprachliches Gebilde, das einen Sachverhalt intendiert und dadurch die Eigenschaft erhält, wahr oder falsch zu sein. Demnach ist eine Aussage nur dann wahr, wenn der intendierte Sachverhalt tatsächlich besteht. Eine positive Tatsache ist ein bestehender Sachverhalt; eine negative Tatsache ist ein nichtbestehender Sachverhalt. In der Philosophie ist ein Sachverhalt der Gegenstand einer Aussage, die beschreibt, wie etwas beschaffen ist. Eine Bedingung formuliert einen Sachverhalt, der in bestimmter Weise Voraussetzung für einen anderen Sachverhalt ist. Ohne den Begriff des Sachverhalts lässt sich keine Aussagenlogik betreiben.

Die Grenzen sinnvoll formulierter Sachverhalte zeigte Ludwig Wittgenstein 1922 im Tractatus Logico-Philosophicus auf. Sie liegen dort, wo Unklarheit darüber besteht, unter welchen Bedingungen man einen Sachverhalt als Tatsache einstufen wird. Der Bereich der Sachverhalte ist damit nicht durch die Naturgesetze bestimmt. Dass der Kölner Dom 37 km hoch ist, formuliert einen Sachverhalt (auch wenn es nach den Naturgesetzen unmöglich sein sollte, ein Bauwerk dieser Höhe zu errichten). Die Formulierung kann als sinnvoll eingestuft werden, da wir eine Vorstellung davon haben, was der Fall sein müsste, wenn sie wahr wäre (dann müssten die Türme in die Stratosphäre reichen …); wir können nach den bestehenden Vereinbarungen darüber, was mit Sätzen wie „… ist 37 km hoch“ notiert ist, entscheiden, ob dies der Fall ist oder nicht, indem wir die Turmhöhen durch eine Messung feststellen. Nach Wittgenstein ist diese Angleichung an die Realität (Korrespondenztheorie) notwendig, um eine Tatsache festzustellen. Nach der Messung steht der Sachverhalt nun als eine Tatsache fest, und zwar dass der Kölner Dom 157,38 m hoch war (zum Zeitpunkt der Messung).

Wittgensteins Analyse des Sprachgebrauchs erlaubte einige logische Feststellungen: Die Menge der Sachverhalte ist größer als die der Tatsachen, sie bindet sich nicht an Naturgesetze und auch nicht an vorherige Beobachtungen. Wohl aber impliziert ein Sachverhalt eine theoretische Überprüfbarkeit der mit ihm getroffenen Aussage. Im selben Moment ließen sich die Grenzen sinnvoller Aussagen von Sachverhalten definieren: Aussagen, bei denen unklar ist, was der Fall sein soll, wenn sie wahr sind, sind unverständlich formuliert und insofern sinnlos. Aussagen zu Kausalität und ethische Leitsätze haben ebenso wenig abbildenden Charakter. Als Realität abbildende Aussagen sind sie streng genommen sinnlos.