Kategorisches Urteil


Kategorisches Urteil

Der Ausdruck kategorisches Urteil (lat. categoria: Grundaussage) (auch: kategorischer Satz, kategorische Aussage) ist ein Begriff der traditionellen, aristotelischen Logik, insbesondere der Syllogistik. Im kategorischen Urteil wird einer Klasse von Gegenständen (dem Subjekt, S) etwas (das Prädikat, P, zum Beispiel eine Eigenschaft) mittels einer Kopula zu- oder abgesprochen. Damit ist das kategorische Urteil eine atomare Aussage, das heißt eine Aussage, die nicht aus anderen Aussagen zusammengesetzt ist.

Ein Beispiel für ein kategorisches Urteil ist die Aussage „Alle Menschen sind sterblich“; hier ist das logische Subjekt der Begriff „Mensch“ und das logische Prädikat der Begriff „sterblich.“ (Die Begriffe „Subjekt“ und „Prädikat“ werden in der traditionellen Logik in anderer Bedeutung gebraucht als in der Grammatik.)

Das kategorische Urteil steht einerseits im Gegensatz zu zusammengesetzten Aussagen (in der traditionellen Logik: hypothetische bzw. disjunktive Urteile, zum Beispiel „wenn A, dann B“ oder „A oder B“), andererseits zu den modalen Aussagen mit Modalitäten wie Möglichkeit oder Notwendigkeit.

In der aristotelischen Syllogistik wird - im Gegensatz zur modernen Logik - im allgemeinen zur Voraussetzung gemacht, dass Ausdrücke für Subjekt und Prädikat nicht leer sind (Beispiel für ein leeres Subjekt: „Einhörner“). Diese Voraussetzung nennt man existenzielle Präsupposition.

Inhaltsverzeichnis

Die vier Urteilsformen

Die traditionelle Logik geht davon aus, dass jedes kategorische Urteil einem der vier folgenden Typen zugeordnet werden kann:

  1. „Alle S sind P“ (allgemein bejahende Urteilsform, in der Tradition A-Urteil genannt)
  2. „Kein S ist P“ (allgemein verneinende Urteilsform, in der Tradition E-Urteil)
  3. „Einige S sind P“ (besondere bejahende Urteilsform, in der Tradition I-Urteil)
  4. „Einige S sind nicht P“ (besondere verneinende Urteilsform, in der Tradition O-Urteil)

Quantität und Qualität

Die Eigenschaft einer Aussage, über wie viele Gegenstände sie spricht, wird traditionell die Quantität dieser Aussage genannt. In diesem Sinn gibt es im Syllogismus zwei Quantitäten, nämlich partikulär und universell. Die Eigenschaft einer Aussage, einem Subjekt ein Prädikat zu- oder abzusprechen, wird traditionell die Qualität dieser Aussage genannt. Spricht eine Aussage einem Subjekt ein Prädikat zu, nennt man sie bejahende Aussage, spricht sie es ihm ab, verneinende Aussage. Die Typen von Aussagen sind in folgender Tabelle nach ihrer Qualität und Quantität aufgeschlüsselt:

  allgemein partikulär
bejahend A-Urteil I-Urteil
verneinend E-Urteil O-Urteil

Beispiele

  • „Der Pilz ist eine Sporenpflanze“ (Typ 1, A-Urteil – Quantität: allgemein, Qualität: bejahend)
  • „Wale gehören nicht zu den Fischen“ (Typ 2, E-Urteil – Quantität: allgemein, Qualität: verneinend)
  • „Einige Säugetiere sind Pflanzenfresser“ (Typ 3, I-Urteil – Quantität: partikulär, Qualität: bejahend)
  • „Die meisten Menschen sind keine Europäer“ (Typ 4, O-Urteil – Quantität: partikulär, Qualität: verneinend)

Kontradiktorische, konträre und subkonträre Gegensätze, Sub- und Superalternation

Das logische Quadrat

Urteile der vier Kategorien stehen in spezifischen Bedingungen zueinander:

  • Die Urteilspaare 1-4 (A-O) und 2-3 (E-I) bilden kontradiktorische Gegensätze, d.h. sie können weder beide zusammen wahr noch beide zusammen falsch sein. Mit einem der oben genannten Beispiele bedeutet das, dass sich aus dem Satz „Die meisten Menschen sind keine Europäer“ das Urteil „Es ist nicht wahr, dass alle Menschen Europäer sind“ erschließen lässt.
  • Als konträrer Gegensatz wird das Verhältnis von Aussagen bezeichnet, die nicht gleichzeitig wahr, wohl aber gleichzeitig falsch sein können. In diesem Verhältnis stehen die Typen 1 und 2 (A und E) zueinander. Ein Beispiel: „Alle Wikipedianer sind Münchner“ (Typ 1) steht im konträren Gegensatz zu der Behauptung „Kein Wikipedianer ist Münchner“ (Typ 2). Wie sich empirisch leicht ermitteln lässt, ist keine der beiden Aussagen korrekt.
  • Als subkonträr wird ein Gegensatz dann bezeichnet, wenn beide Aussagen nicht gleichzeitig falsch, wohl aber beide wahr sein können. In diesem Verhältnis stehen die Typen 3 und 4 (I und O) zueinander. Die Aussagen „Es gibt Regelungen der neuen Rechtschreibung die von Vorteil sind“ und „Es gibt Regelungen der neuen Rechtschreibung die nicht von Vorteil sind“ können beide wahr sein, niemals aber beide falsch.
  • Unter der Voraussetzung, dass das Subjekt nicht leer ist, folgt aus der Wahrheit einer Typ 1-Aussage die Wahrheit der entsprechenden Typ 3-Aussage. Unter derselben Voraussetzung folgt aus der Wahrheit einer Typ 2-Aussage die Wahrheit der entsprechenden Typ 4-Aussage. Diese Folgerungsbeziehung wird in der Tradition als Subalternation bezeichnet. Ein Beispiel: Aus der A-Aussage „Alle Schweine sind rosa“ folgt die I-Aussage „Es gibt rosa Schweine“.
  • Unter der Voraussetzung, dass das Subjekt nicht leer ist, folgt aus der Falschheit einer Typ 3-Aussage die Falschheit der entsprechenden Typ 1-Aussage und aus der Falschheit einer Typ 4-Aussage die Falschheit der entsprechenden Typ 2-Aussage. Diese Folgerungsbeziehung wird in der Tradition als Superalternation bezeichnet. Ein Beispiel: Da aus der A-Aussage „Alle Schweine sind rosa“ die I-Aussage „Es gibt rosa Schweine“ folgt, folgt aus der Falschheit der I-Aussage „Es gibt rosa Schweine“ die Falschheit der A-Aussage „Alle Schweine sind rosa“.

Grafisch veranschaulicht werden diese Verhältnisse in einem Diagramm, das unter dem Namen logisches Quadrat bekannt geworden ist (siehe Abbildung). Die älteste bekannte Niederschrift des logischen Quadrats stammt aus dem zweiten nachchristlichen Jahrhundert und wird Apuleius von Madauros zugeschrieben.[1]

Siehe auch

Quellen

  1. Christian Thiel: „Logisches Quadrat,“ in: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. 1. Aufl. 1995, 2004, Band 3, Seite 423

Literatur

Weblinks


Wikimedia Foundation.

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

  • Urteil (Logik) — Urteil ist in der Wissenschaft der Logik die Form, in welcher entweder der Vorgang oder das Ergebnis einer Feststellung in der sprachlichen Form eines Satzes ausgedrückt werden. Nicht alle Logiker oder Philosophen haben diesen Grundbegriff fast… …   Deutsch Wikipedia

  • Universales Urteil — Eine Allaussage ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs,[1] zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie Universalaussage, universale Aussage, universelle… …   Deutsch Wikipedia

  • A (Logik) — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Ex mere particularibus nihil sequitur — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • I (Logik) — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Kategorische Syllogismen — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Logisches Quadrat — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Metathesis praemissarum — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Syllogistik — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Subalternation — Der Ausdruck kategorisches Urteil (lat. categoria: Grundaussage) ist ein Begriff der traditionellen, aristotelischen Logik, insbesondere der Syllogistik. Im kategorischen Urteil wird einer Klasse von Gegenständen (dem Subjekt, S) etwas (das… …   Deutsch Wikipedia


Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.