|
Kategorisches UrteilDer 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. Die vier UrteilsformenDie traditionelle Logik geht davon aus, dass jedes kategorische Urteil einem der vier folgenden Typen zugeordnet werden kann:
Quantität und QualitätDie 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:
Beispiele
Kontradiktorische, konträre und subkonträre Gegensätze, Sub- und Superalternation Urteile der vier Kategorien stehen in spezifischen Bedingungen zueinander:
A ist für I (genau wie E für O) eine hinreichende Bedingung. I für A und O für E eine notwendige Bedingung. 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] Behandlung in der Strengen LogikIm folgenden Absatz wird die Behandlung der kategorischen Urteile in der strengen Logik (von Walther Brüning) dargestellt: Er sieht die kategorischen Urteile als bestimmte Formeln zweiter Stufe. kategorische Urteilsarten  SaP  SeP  SiP  SoP Aus der Annahme der Urteile lassen sich Aussagen über die Erfülltheit der Begriffe herleiten: Die universellen Urteile behaupten, dass alle S P (SaP), bzw. ~P (SeP) sind. Das heißt also, dass ein S ohne P (SaP) bzw. ohne ~P (SeP) nicht existiert. Die partikulären Urteile behaupten, dass einige S P (SiP), bzw. ~P (SoP) sind. Aus den Urteilen lassen sich daher Wertebereiche negativer Geltung (N, für Negation), (A, für Affirmation) und unbestimmter Geltung (u) ableiten. So sagt SaP, dass es kein S ohne P geben kann (negative Geltung), es trifft jedoch zunächst keine Aussage darüber, ob es S und P gibt oder P ohne S. SiP hingegen trifft eine positive Aussage, nämlich dass es S gibt, die P sind (oder das S und P gemeinsam auftreten), lässt aber die Fragen, ob es auch S ohne P gibt oder P ohne S, unbestimmt. Die nebenstehende Grafik veranschaulicht dies für alle vier Urteilstypen (negative Geltung wird rot, positive grün dargestellt). Es ergibt sich folgende tabellarische Übersicht über die Festlegungen, die die vier Urteilstypen jeweils über S und P treffen:[2]
Brüning zieht dann auch Existenzbedingungen in seine Lehre mit ein, um einen syllogistischen Kalkül aufzubauen ("A-Forderungen"). In weiterer Folge verbindet er zwei kategorische Urteile mittels eines dritten Begriffs, den Mittelbegriff. Dabei werden die Formeln "verlängert" (d. h. um den jeweils sozusagen unbeteiligten Begriff erweitert). Schließlich definiert er zwei Ableitungsregeln, um auf "einfachste" Art und Weise die Syllogismen zu erhalten. Die Umschreibungen der kategorischen Urteile basieren auch auf Albert Mennes Umschreibungen. Siehe auchLiteratur
Weblinks
Einzelnachweise |
