Aussage (Logik): Definition, Beispiele & Bedeutung in Philosophie

Aussage (Logik): Klar erklärte Definition, anschauliche Beispiele und philosophische Bedeutung von Propositionen – verständlich, präzise und ideal für Studierende & Lehrende.

Definition und Grundbegriffe

Eine Proposition (häufig auch Aussage genannt) ist ein zentraler Begriff der Philosophie und der Logik. Gemeint ist damit ein Gehalt oder Inhalt, dem ein Wahrheitswert zukommt — das heißt: die Proposition ist wahr oder falsch. Wichtige Präzisierungen:

• Man unterscheidet oft zwischen einem konkreten Satz (einer sprachlichen Äußerung) und der Proposition, die dieser Satz ausdrückt. Derselbe Inhalt kann durch verschiedene Sätze ausgedrückt werden.
• Eine Proposition ist wahrheitsfähig (truth-apt): Sie trägt einen Wahrheitswert. Das bedeutet nicht zwangsläufig, dass ihr Wahrheitswert bereits bewiesen oder bekannt ist.
• Der Begriff der Gültigkeit wird bei Aussagen häufig verwechselt mit dem Begriff der Gültigkeit von Argumenten. Gültig ist ein Argument, wenn aus wahren Prämissen zwangsläufig wahre Konklusionen folgen; eine Aussage selbst ist hingegen eher als wahrheitsfähig oder bedeutungsvoll beschrieben.

Satz vs. Proposition: Unterschiedliche Ebenen

Manche Lehrende und Studierende verwenden Aussage und Proposition synonym. Philosophisch und linguistisch ist aber oft eine feinere Unterscheidung nützlich:

• Satz (Satztyp / Satztoken): ein sprachliches Objekt; es gibt Typen (z. B. der Satztyp "Schnee ist weiß") und Tokens (konkrete Äußerungen dieses Typs zu bestimmten Zeiten und Orten).
• Proposition: der inhaltliche Gehalt, den ein Satz ausdrückt — unabhängig von Sprache oder Formulierung.

Beispiel: "Snow is white" (auf Englisch) und "Schnee ist weiß" (auf Deutsch) sind unterschiedliche Sätze, drücken aber dieselbe Proposition aus. Daher sagt man, sie sind synonym im Sinne des gleichen Inhalts.

Synonymie, Sinn und Bedeutung

Dass zwei Sätze denselben Inhalt ausdrücken, wird oft als Synonymie bezeichnet. In der Philosophie der Sprache unterscheidet man weiter zwischen Sinn (way the meaning is presented) und Bedeutung (denotational reference). Frege unterschied z. B. zwischen Sinn und Bedeutung, weil zwei Ausdrücke dieselbe Bedeutung haben können, ohne denselben Sinn zu besitzen. Das erklärt auch, warum Übersetzungen dieselbe Proposition ausdrücken, obwohl die sprachliche Gestalt unterschiedlich ist.

Typen von Aussagen in der Logik

• Atomare Propositionen: einfache, nicht weiter analysierbare Aussagen wie "Sokrates ist ein Mensch".
• Molekulare (zusammengesetzte) Propositionen: entstehen durch logische Junktoren wie "und", "oder", "nicht", "wenn ... dann ..." — z. B. "Es regnet und die Straße ist nass".
• Tautologien: stets wahre Propositionen (z. B. "A oder nicht A").
• Kontradiktionen: stets falsche Propositionen (z. B. "A und nicht A").
• Kontingente Propositionen: sind in manchen möglichen Welten wahr und in anderen falsch (z. B. "Es regnet gerade").

Aristotelische Logik

In der aristotelischen Logik werden Aussagen oft als kategoriale Sätze betrachtet, die ein Prädikat einem Subjekt zuschreiben oder verweigern. Typische Formen sind die klassischen vier Kategorien:

• Allgemein bejahend: "Alle Menschen sind sterblich" (A-Urteil)
• Allgemein verneinend: "Keine Fische sind Säugetiere" (E-Urteil)
• Partikulär bejahend: "Einige Tiere sind Raubtiere" (I-Urteil)
• Partikulär verneinend: "Einige Vögel sind nicht flugfähig" (O-Urteil)

Bei aristotelischen Sätzen hat das Subjekt (z. B. "Menschen", "Sokrates") einen Status (z. B. "sterblich", "ist ein Mensch"), der sich als wahr oder falsch erweisen kann; aus solchen Sätzen lassen sich syllogistische Schlüsse konstruieren.

Formale (moderne) Logik und Semantik

In der modernen Logik werden Propositionen formal als Träger von Wahrheitsbedingungen beschrieben. In der Modelltheorie beispielsweise entspricht eine Proposition der Menge der möglichen Welten, in denen sie wahr ist. Wichtige Unterscheidungen:

• Syntaktische Ebene: Formale Sprache, Formeln, Ableitungsregeln (Beweise).
• Semiantische Ebene: Modelle, Interpretationen und Wahrheitsbedingungen.
• Beweisbarkeit vs. Wahrheit: Eine Proposition kann wahr sein, ohne dass es ein bekanntes oder existentierendes Beweisverfahren gibt; umgekehrt kann eine Aussage beweisbar sein, ohne dass sie in allen Modellen wahr ist (Unterscheidung zwischen syntaktischer Ableitbarkeit und semantischer Gültigkeit).

Logischer Positivismus und Verifikationismus

Vertreter des logischen Positivismus (Verifikationisten) behaupteten, dass Sätze dann sinnvoll sind, wenn ihr Wahrheitswert zumindest prinzipiell überprüfbar ist. Nach diesem Kriterium gelten viele metaphysische oder theologische Aussagen als bedeutungslos, weil sie angeblich keine empirisch überprüfbaren Wahrheitsbedingungen liefern. Beispiel: Aussagen über die Existenz von Gottheiten wurden von manchen Positivisten als nicht empirisch verifizierbar und damit als sinnlos beurteilt. Diese Position ist historisch einflussreich, aber auch stark kritisiert worden — u. a. weil sie selbst schwer als empirisch sinnvoll zu rechtfertigen ist.

Bedeutung in der Philosophie

Aussagen/Propositionen sind in vielen philosophischen Bereichen zentral:

• Philosophie der Sprache: wie Sätze Bedeutungen ausdrücken, Verhältnis zwischen Sinn und Bedeutung.
• Erkenntnistheorie: wie wir Wahrheitsansprüche begründen und Wissen von bloßer Meinung unterscheiden.
• Metaphysik: welche Arten von Wahrheitswerten und Sachverhalten es gibt (z. B. notwendige vs. kontingente Wahrheiten).
• Logik: formale Untersuchung von Folgerung, Konsistenz, Widerspruch und Beweisbarkeit.
• Philosophie des Geistes: Probleme mit propositionalen Einstellungen (z. B. Glauben, Hoffen), insbesondere die sogenannte "Opazität" solcher Einstellungen — in propositionalen Einstellungen ist Austausch von äquivalenten Ausdrücken nicht immer möglich.

Probleme und offene Fragen

• Was genau ist eine Proposition ontologisch: ein abstraktes Objekt, ein Sachverhalt, eine Menge möglicher Welten oder etwas anderes?
• Wie gehen wir mit indexikalem oder kontextabhängigem Sprachgebrauch um (z. B. "Ich bin hier jetzt") — drücken solche Sätze stabile Propositionen aus, und wenn ja, welche?
• Wie berücksichtigt man Mehrdeutigkeit, Vagheit und Modalität in einer Theorie von Propositionen?

Zusammenfassend: Eine Proposition ist der inhaltliche Gegenstand einer aussagenden Äußerung und trägt einen Wahrheitswert. Die genaue Gestalt und das theoretische Verständnis von Propositionen variieren je nach philosophischer Richtung (aristotelisch, formal-logisch, verifikationistisch, semantisch, metaphysisch), doch bleibt ihr Status als Wahrheitswertträger zentral für Logik und Philosophie.

Fragen und Antworten

F: Was ist ein Vorschlag?

F: Wie werden Propositionen dargestellt?

F: Können zwei verschiedene Sätze dasselbe bedeuten?

F: Welche Art von Satz wird in der aristotelischen Logik für eine Aussage verwendet?

F: Was sagt der logische Positivismus über Sätze, deren Wahrheitswert nicht bestimmt werden kann?

Suche nach Buchstaben