Ausdruck (Logik)

Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde wahr oder falsch ist; es genügt, dass die Frage nach Wahrheit („Zutreffen“) oder Falschheit („Nicht-Zutreffen“) sinnvoll gestellt werden kann, was zum Beispiel bei Fragesätzen, Ausrufen und Wünschen nicht der Fall ist. Aussagen sind somit Sätze, die Sachverhalte beschreiben und denen man einen Wahrheitswert zuordnen kann.

Inhaltsverzeichnis

Mehrdeutigkeit

Die einleitend referierte Bedeutung des Ausdrucks Aussage ist die herrschende Bedeutung.

Der Terminus Aussage wird jedoch mehrdeutig verwendet[1].

Diese lassen sich auf vier Grundbedeutungen reduzieren:

[1] Aussage im Sinne von Aussagesatz (Satz) (oder "eine Menge von aufeinanderfolgenden Sätzen"[2]

[2] Aussage im Sinne der Äußerung(shandlung) eines Satzes;

[3] Aussage im Sinne von Urteilsakt (Urteil) [3]

[4] Aussage im Sinne von Proposition (Aussagesinn, "das Ausgesagte, der (von der Aussage) gemeinte Sachverhalt, der Urteilssinn, der Gedanke, das Gedachte, die Proposition"[4]), "objektiver Satz"[5]).

Von der Bedeutung des Ausdrucks Aussage hängt ab, „was eigentlich genau der Gegenstand der Logik"[6] und was eigentlich "Träger" von Wahrheit oder Falschheit ist[7]. Für einen technischen Gebrauch der Logik bedarf es einer Klärung dieser Frage allerdings nicht.

Aussagesatz und Aussage

Nach verbreiteter, aber umstrittener Auffassung sind Aussagen nicht Sätze, sondern sind Aussagesätze (nur) der sprachliche Ausdruck von Aussagen[8]. Ein Aussagesatz steht stellvertretend für eine Aussage, ist lediglich ein Zeichen für eine Aussage (Proposition) und nur "das sprachliche Korrelat der Aussage"[9].

Gegen eine Gleichsetzung von Aussage und Aussagesatz wird eingewandt, dass von dem Satztyp und seiner Äußerung die Aussage zu unterscheiden ist, „die mit dieser Äußerung gemacht wird“[10].

Beispiel 1: (gleichbedeutende Sätze): „Das Haus ist dreistöckig." - "Dieses Wohngebäude hat drei Geschosse." - "This house has three floors.": drei Sätze mit einer Aussage für einen Sachverhalt [11].

Beispiel 2: "Wenn Hans und Ina sagen „Ich bin krank“, dann äußern beide denselben Satz (i.S.v. Satztyp) und erzeugen unterschiedliche Satzvorkommnisse und machen mit ihren Äußerungen unterschiedliche Aussagen."[12]

Nach Quine soll es der Annahme von Propositionen nicht bedürfen, so dass sich der Terminus "Aussage" nicht auf Ausgesagtes, sondern nur auf Aussagesätze beziehen können soll[13].

Satz – Urteil – Aussage

Tugendhat spricht in einer Grobeinteilung von einer sprachlichen, psychologischen und ontologischen Grundauffassung der Logik: der sprachliche Aussagesatz korrespondiert dem Urteil als psychischem Akt und ontologisch der Aussage, dem Gedanken (Frege); dem Sachverhalt (Husserl, Wittgenstein I) oder der Proposition (engl. Philosophie)[14].

Zwischen „Satz“ – „Urteil“ – „Aussage“ besteht ein proportionalitäts- und attributionsanaloges Verhältnis[15]. D.h. der objektive Gedanke (die Aussage, Proposition) wird im Denken (psychischer Urteilsakt) erfasst und in einem Aussagesatz zur Sprache gebracht. Aussagen über den Aussagesatz betreffen daher in einem analogen Sinn auch den objektiven Aussageinhalt bzw. den psychischen Aussageakt - und umgekehrt. In den meisten Zusammenhängen kommt es daher auf eine nähere Unterscheidung nicht an. Je nach erkenntnistheoretischer Orientierung kann eine entsprechende Terminologie bevorzugt werden. Für den Rezipienten bedeutet dies, dass sachlich über das Gleiche geredet wird, mit welchen erkenntnistheoretischen Voraussetzungen auch immer. War früher der Terminus "Urteil" naiv (Aristoteles) oder psychologistisch (Empirismus, Kant) herrschend, dominiert nach dem Linguistic Turn der Ausdruck "Satz", mit dem der Terminus "Aussage" konkurriert bzw. vermischt wird. Will man die schillernde Bedeutung des Ausdrucks "Aussage" vermeiden, empfiehlt es sich, terminologisch zwischen Aussagesatz und Proposition zu unterscheiden. Dies ist im deutschen Sprachraum aber nicht üblich.

Abgrenzungen

Behauptung

Mit Frege ist die Aussage von der Behauptung einer Aussage zu unterscheiden[16]: "In einem Behauptungssatz ist also zweierlei zu unterscheiden: der Inhalt, den er mit der entsprechenden Satzfrage gemein hat, und die Behauptung. Jener ist der Gedanke oder enthält wenigstens den Gedanken. Es ist also möglich, einen Gedanken auszudrücken, ohne ihn als wahr hinzustellen. In einem Behauptungssatze ist beides so verbunden, dass man die Zerlegbarkeit leicht übersieht. Wir unterscheiden demnach 1. das Fassen des Gedankens - das Denken, 2. die Anerkennung der Wahrheit eines Gedankens - das Urteilen, 3. die Kundgebung dieses Urteils - das behaupten."[17]

Werturteil

Für die Aussagenlogik ist es unerheblich, ob die Eigenschaft eine Wertung enthält, d.h. die Aussage ein „Werturteil“ ist[18].

Aussageform

Die Aussage (der Aussagesatz) ist zu unterscheiden von der Aussageform. Eine Aussageform ist „ein Ausdruck, der eine (oder mehrere) freie Variable (Leerstellen) enthält und durch die Belegung aller freien Variablen in eine (wahr oder falsche) Aussage übergeht.“[19]. Die Aussageform geht in eine Aussage über, sobald die Variable ersetzt wird[20].

In der mathematischen Logik wird der syntaktische Aufbau einer Aussage basierend auf den Zeichen einer Sprache L formal spezifiziert. Je nach Sprache sind verschiedene atomare Aussageformen erlaubt, aus denen durch Junktoren zusammengesetzte Aussageformen gebildet werden. Bei der Prädikatenlogik kommt die Möglichkeit hinzu, in den atomaren Aussageformen enthaltene Variablen durch Quantoren ("es gibt ein x, für das gilt", "für alle x gilt") zu binden. Eine durch keinen Quantor gebundene Variable heißt freie Variable.

Eine logische Aussage ist formal definiert als eine Aussageform (Definition siehe dort) über der Sprache L, in der keine (freien) Variablen vorkommen.

Wort

Ein einzelnes Wort, das nicht für eine Aussage steht, "teilt nichts mit", "ist nicht wahr oder falsch"[21]. „Nur wenn ein Wort als Abkürzung für einen Satz steht, können wir von seiner Wahrheit oder Falschheit sprechen, ...“[22].

Begriff

Das zur Abgrenzung vom Wort Gesagte gilt entsprechend (eigentlich) für den Begriff.

Hinter jedem Begriff stehen eine oder mehrere Aussagen, welche seinen Inhalt definieren und diesen Begriff in eine Relation zu anderen bringen. „Deshalb führt die Feststellung, dass der Begriff in seinem Inhalt eine Einheit von Merkmalen ist, zu der Idee, dass jeder Begriff einen Zusammenhang von Aussagen darstellt.“ Dies wurde insbesondere von Cohn vertreten und klingt auch bei Frege an, wenn dieser sagte, dass das Wort nur im Satz eine Bedeutung habe.[23]

Schluss

„Jede Aussage, in der einem Gegenstand etwas zugesprochen wird, kann man als eine Art Schlusses betrachten, dessen Prämissen das Subjekt der fraglichen Aussage definieren und dem es definierenden Begriff eine Eigenschaft zu- oder absprechen."[24]

Arten von Aussagen

einfache Aussagen - zusammengesetzte Aussagen

Die Aussagen können in einfache Aussagen und zusammengesetzte Aussagen eingeteilt werden. Einteilungsgrund ist dabei, ob Aussagen aus voneinander unterscheidbaren „separierbaren“[25] Teilaussagen zusammengesetzt sind oder nicht.

Beispiel: "Berlin ist eine Stadt" (einfache Aussage); "Berlin ist eine Stadt mit mehr als 3 Millionen Einwohnern" (logisch eine zusammengesetzte Aussage mit den Teilaussagen "Berlin ist eine Stadt" und "Berlin hat mehr als 3 Millionen Einwohner").

Die Terminologie variiert: statt von "einfacher Aussage" spricht man auch von "unzusammengesetzter Aussage", "atomarer Aussage", "elementarer Aussage", "Elementaraussage" oder "Elementarsatz" (Wittgenstein). Statt von zusammengesetzter Aussage ist auch die Rede von "Aussagenverknüpfung" oder "molekulare Aussage".

In einer einfachen Aussage wird einem Gegenstand ein einziges Prädikat zu- oder abgesprochen.

Wenn es heißt, eine einfache Aussage sei nicht weiter strukturiert, so ist dies dahingehend zu verstehen, dass die innere Struktur einer Aussage nicht weiter präzisiert wird.

Die Interpretation der atomaren Aussagen erfolgt durch Zuordnung von Wahrheitswerten.

Die Symbole für einfache Aussagen sind eine Frage der Konvention. Gebräuchlich ist zum Beispiel die Kennzeichnung durch Großbuchstaben A, B, C, ggf. mit indizierten Buchstaben.

Eine zusammengesetzte Aussage ist eine Aussage, die durch Verbindung mehrerer einfacher Aussagen entsteht.

Eine Aussagenverknüpfung kann extensional (extensionale Aussagenverknüpfung) oder intensional (intensionale Aussageverknüpfung) erfolgen[26].

Extensionale Aussagenverknüpfungen sind zusammengesetzte Aussagen, deren Wahrheitswert von dem Wahrheitswert ihrer Teilaussagen bestimmt ist. Der Wahrheitswert der Gesamtaussage ist daher eine Funktion der Wahrheitswerte der Teilaussagen (Wahrheitsfunktionalität).

Logische Konstanten, die eine wahrheitsfunktionale Aussagenverbindung bewirken, werden Junktoren genannt.

Die klassische Aussagenlogik ist eine Junktorenlogik (Lorenzen), eine "Logik der Wahrheitsfunktionen" (Quine) von Aussagen. Sie gründet auf dem Extensionalitätsprinzip.

Einen Sonderfall stellt die Negation dar. Dies jedoch aus mehr terminologischen und praktischen Gründen. Bei der Negation werden keine Aussagen verknüpft und sie ist daher auch keine Aussagenverknüpfung[27]. Sie wird gleichwohl aus Gründen terminologischer Vereinfachung einstellige Aussageverknüpfung genannt. Sie liefert beim Eingangswert wahr den Wert falsch und umgekehrt. Terminologisch zutreffender erscheint hier der Ausdruck einstellige Wahrheitsfunktion.

Für die Kombination zweier Aussagen gibt es sechzehn zweistellige Verknüpfungen (Junktoren). Sie geben für alle möglichen Kombinationen von Wahrheitswerten einen für diese Verknüpfung typischen Ergebniswahrheitswert an. Zum Beispiel ist die mit der Konjunktion verknüpfte Aussage a UND b nur dann wahr, wenn sowohl a als auch b wahr ist; in jedem anderen Fall ist die Konjunktion falsch.

Intensionale Aussagenverknüpfungen sind nicht-wahrheitsfunktionale Aussagenverknüpfungen. Bei diesen hängt der Wahrheitswert der Gesamtaussage nicht von dem Wahrheitswert der Teilaussagen ab.

Beispiel: „Anton liest ein Buch über Logik, weil er Logik unglaublich spannend findet“[28].

analytische - synthetische Aussagen (Urteile, Sätze)

Aussagen werden traditionell in analytische Aussagen und synthetische Aussagen unterteilt. Statt von "Aussage" ist gleichsinnig auch von Satz bzw. Urteil die Rede (vgl. oben die Tugenhat´sche Dreiteilung).

Analytische Aussagen im engeren Sinn [1] sind "Aussagen, die notwendigerweise, d.h. in allen möglichen Welten, wahr sind allein aufgrund ihrer logischen Form, und deren Wahrheit ohne empirische Überprüfung feststellbar ist"[29].

Beispiel: Es scheint die Sonne oder die Sonne scheint nicht.

Analytische Aussagen im weiteren Sinn [2] "sind solche, deren Wahrheit von ihrer syntaktischen Struktur und der Bedeutung ihrer sprachlichen Elemente abhängt. Sie beruhen auf semantischen Relationen wie Bedeutungsgleichheit .. und Bedeutungseinschluss ..."[30]

Beispiel: "Geschwister sind verwandt"[31].

Nach Tugendhat gründen alle analytischen Sätze auf dem Satz vom Widerspruch[32].

Für Aristoteles war jede Aussage (Urteil) eine synthetische Aussage, d.h. eine "Synthese von Begriffen"[33].

Im engeren, herrschenden Sinn (Kant) versteht man unter synthetischen Aussagen "Aussagen über Tatsachenverhältnisse, deren Wahrheit nicht nur von ihrer syntaktischen oder semantischen Struktur, sondern von außersprachlichen und somit empirisch zu überprüfenden Faktoren und Erfahrungen abhängt; ..."[34].

Die Berechtigung der Unterscheidung analytischer und synthetischer Aussagen (Urteile) wurde von Quine angegriffen.

Aussagen in der Aussagenlogik

In der Aussagenlogik ist für solche Aussagen nur ihr formaler und nicht ihr inhaltlicher Wahrheitswert von Bedeutung. Beispielsweise muss man Kenntnis vom beschriebenen Sachverhalt haben, um den Wahrheitswert der Aussage „Berlin ist die Hauptstadt von Deutschland, und Rom die Hauptstadt von Italien“ beurteilen zu können; dies ist nicht erforderlich bei der Aussage „Madrid ist die Hauptstadt von Spanien, oder Madrid ist nicht die Hauptstadt von Spanien“, denn nach Festlegung (Normierung) des Gebrauches des logischen Oder und Nicht handelt es sich hier um eine wahre Aussage unabhängig davon, ob Madrid nun wirklich die Hauptstadt von Spanien ist oder nicht. Eine in diesem Sinn formal wahre Aussage wird allgemeingültig oder auch Tautologie genannt.

Aussagen in der Prädikatenlogik

Eine Aussage in der Prädikatenlogik ist eine Aussageform ohne freie Variable. (Alle in ihr enthaltenen Variablen sind durch Quantoren gebunden.)

In der Prädikatenlogik ergibt sich der Wahrheitswert einer Aussage aufgrund der Interpretation der in ihr enthaltenen Symbole. Beispielsweise ist die Aussage \exists x: x= x + x wie folgt ermittelbar: Für jedes x werden die Terme x und x+x berechnet. Wenn es ein x gibt, so dass beide Terme denselben Wert erhalten (z. B. für x = 0), so ist die Aussage wahr, andernfalls falsch. Somit hängt der Wahrheitswert der Aussage von der Grundmenge (auch Universum, Domäne, Wertebereich, Individuenbereich genannt) ab, aus der Belegungen für die Variablen stammen dürfen.

Ist eine Aussage bei jeder Interpretation wahr, z. B. \forall x: f(x)=f(x), so nennt man sie allgemeingültig oder auch Tautologie.

Die Modelltheorie ist die mathematische Teildisziplin, die sich mit der Frage beschäftigt, welche Modelle es für welche Mengen von Aussagen gibt.

Siehe auch

Aussagenlogik, Wahrheitstabelle, Aussageform, Urteil, Gültigkeit

Quellen

  1. Hoyningen-Huene, Logik (1998), S. 32 f. nennt fünf Bedeutungen: [1] die Äußerung der Aussage; [1.1] das Schema der Äußerung; [2] ein Urteilsakt; [2.1] das Schema des Urteilsakts; [3] der Aussagesinn
  2. Verguin, Joseph, Aussage, in: Martinet, André (Hrsg.), Linguistik (1973), S. 60
  3. Urteil ist ein älterer Ausdruck für Aussage, vgl. Strobach, Einführung in die Logik (2005), S. 49
  4. Hoyningen-Huene, Logik (1998), S. 33
  5. Bochenski, Die zeitgenössischen Denkmethoden, 10. Aufl. (1993), S. S. 13
  6. Hoyningen-Huene, Logik (1998), S. 34
  7. Hoyningen-Huene, Logik (1998), S. 33
  8. Vgl. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), Urteil
  9. Tatievskaya, Aussagenlogik (2003), S. 65
  10. Beckermann, Einführung, 2.Aufl. (2003), S.17
  11. Seiffert, Wissenschaftstheorie IV (1997), Aussage, Satz
  12. Beckermann, Einführung in die Logik, 2.Aufl. (2003), S.17
  13. Vgl. Strobach, Einführung in die Logik (2005), S. 49 f.
  14. Tugendhat/Wolf, Logisch-semantische Propädeutik (1983), S. 17
  15. Weingartner, Wissenschaftstheorie I: Einführung in die Hauptprobleme, 2. Aufl. (1978), S. 28 Fn. 1: "Man kann zeigen, dass bei geeigneten Definitionen für die Ausdrücke "Aussage", "Urteil" (dabei bezeichnet "Urteil" einen psychischen Akt, in dem etwas anerkannt oder verworfen wird) und "Proposition" die Ausdrücke "wahr" in den Meta-Aussagen "Aussagen sind wahr", "Urteile sind wahr" und "Propositionen sind wahr" zueinander in einem proportionalitätsanalogen und attributionsanalogen Zusammenhang stehen."
  16. Brandt/Dietrich/Schön, Sprachwissenschaft, 2. Aufl. (2006), S. 292 Fn. 16
  17. Frege, Der Gedanke, S. 34 f., zitiert nach Patzig, dieser nach Tugendhat/Wolf, Logisch-semantische Propädeutik (1983), S. 27
  18. Herberger/Simon, Wissenschaftstheorie für Juristen (1980), S. 34
  19. Zoglauer, Thomas, Einführung in die formale Logik für Philosophen (1999), S.24 (Bsp.: „Alle S sind P“.)
  20. Bucher, Logik (1987), S. 43; Menne, Logik, 6. Aufl. (2001), S.59 (oder quantifiziert wird)
  21. Reichenbach, Grundzüge der symbolischen Logik (1999), S. 5
  22. Reichenbach, Grundzüge der symbolischen Logik (1999), S. 5
  23. So Tatievskaya, Aussagenlogik (2003), S. 66
  24. Tatievskaya, Aussagenlogik (2003), S. 65
  25. Hoyningen-Huene, Logik (1998), S. 35
  26. Hoyningen-Huene, Logik (1998), S. 37 f.
  27. Hoyningen-Huene, Logik (1998), S. 45
  28. Hoyningen-Huene, Logik (1998), S. 38
  29. Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Analytische vs. Synthetische Sätze
  30. Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Analytische vs. Synthetische Sätze
  31. Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Analytische vs. Synthetische Sätze
  32. Tugendhat/Wolf, Logisch-semantische Propädeutik (1983), S. 65
  33. de Vries, Synthese, in: Brugger, Philosophielexikon (1976)
  34. Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Analytische vs. Synthetische Sätze

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Ausdruck — (zu lat. expressio) steht für: Ausdruck (Linguistik) die Ausdrucksseite von Sprachzeichen Phrase (Linguistik) eine zusammengehörige Wortgruppe als sprachliche Einheit ein Verhalten wie Mimik oder Gestik, siehe Nonverbale Kommunikation Ausdruck… …   Deutsch Wikipedia

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Ausdruck (Linguistik) — Unter einem Ausdruck oder gleichbedeutend (synonym) unter einem sprachlichen Ausdruck versteht man in der Sprachwissenschaft (Linguistik) Verschiedenes: das sinnlich Wahrnehmbare eines Zeichens eine sprachliche Einheit allgemein die Funktion des… …   Deutsch Wikipedia

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Prädikat (Logik) — Prädikat (von lat. praedicare = zusprechen) nennt man in der modernen Logik den Teil einer atomaren Aussage, durch den eine Eigenschaft von einem Gegenstand ausgesagt wird. Der der Eigenschaft entsprechende Begriff wird dem Gegenstand… …   Deutsch Wikipedia

  • Logischer Ausdruck — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Aussage (Logik) — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Lambda-Ausdruck — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …   Deutsch Wikipedia

  • Traditionelle Logik — Begriffslogik oder terminologische Logik (englisch: terminological logic oder term logic), auch traditionelle Logik, manchmal klassische Logik genannt („klassisch“ als historischer Begriff im Sinn von: Logik der Antike, nicht zu verwechseln mit… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”