Die traditionelle Logik pflegt für die Einteilung der Urteile das von Kant im Anschluß an scholastische Unterscheidungen entworfene Schema zugrunde zu legen, das besagt: Urteile sind der Quantität nach: allgemeine (alle S sind P) oder besondere (einige S sind P) oder einzelne (S ist P); der Qualität nach: bejahende (S ist P) oder verneinende (S ist nicht P) oder unendliche (S ist non-P); der Relation nach: kategorische (S ist P) oder hypothetische (wenn Q R, dann S P) oder disjunktive (S ist entweder P oder P1); der Modalität nach: problematische (S kann P sein) oder assertorische (S ist tatsächlich P) oder apodiktische (S muß P sein)[6]. Dieses Schema hat indessen durch die neuere Logik (so schon durch Schopenhauer, durch Herbart) so zahlreiche Umgestaltungen erfahren, daß es auch hier in veränderter Fassung zugrunde gelegt werden darf.

Urteile sind nach ihrem Bestande entweder einfache oder zusammengesetzte; nach ihrer Beziehung auf das Wirkliche entweder Real- oder Idealurteile. Einfache Urteile sind solche, deren Analyse nur ein Subjekt und ein Prädikat; zusammengesetzte solche, deren Analyse entweder mehrere Subjekte oder mehrere Prädikate, im ganzen also mehrere einfache Urteile als Glieder des Bestandes ergibt. Realurteile sind solche, in denen wir die ausgesagte Beziehung als vom Denken unabhängig wirklich, Idealurteile solche, in denen wir diese nur im Gedachtwerden wirklich voraussetzen. Von den Idealurteilen kommen für die logische Analyse vor allem die mathematischen und logischen Urteile in Betracht. Diese sollen als Urteile über die Beziehungen zwischen Formen und Größen Formalurteile heißen, im Gegensatz zu den Realurteilen als Urteilen über die Vorgänge und Beziehungen der Wirklichkeit (daher: Wirklichkeitsurteile, Tatsachenurteile). Die Scheidung der Urteile in Real- und Idealurteile wird erst in einem späteren Zusammenhange Bedeutung gewinnen; die in einfache und zusammengesetzte ist bereits hier wichtig.

Für die logische Gliederung der Urteile nach Gattungen und Arten ist die Einteilung der einfachen Urteile grundlegend; sie gilt mittelbar auch für die zusammengesetzten, insofern als diese ja aus einfachen Urteilen gebildet sind. Die einfachen Urteile sind nach der Inhaltsbestimmung ihres Subjektsbegriffes entweder Subjekt-unbestimmte, auch Impersonalien genannt (z. B. „es regnet, es klopft“) oder Subjekt-bestimmte (S ist P); die Subjekt-bestimmten Urteile wieder nach der Beschaffenheit ihres Subjekts entweder Gattungs- oder Einzel- (generelle oder individuelle) Urteile, nach der Beschaffenheit ihres Prädikats entweder Inhärenz- oder Relationsurteile. Inhärenzurteile sind ferner entweder Qualitätsurteile (z. B. „Die Bienen sammeln Honig“) oder klassifikatorische (z. B. „Bienen sind Insekten“) oder normative Urteile (z. B. „Du sollst lernen“); Relationsurteile sind entweder quantitative oder qualitative (S ist größer, schöner als P) sowie entweder kausale (S bewirkt P) oder existentiale (S existiert). In einem Schema angeordnet sieht demnach die Einteilung der einfachen Urteile folgendermaßen aus:

Die zusammengesetzten Urteile sind je nach der Art ihrer Zusammensetzung entweder Beurteilungen oder Urteilsverbindungen oder Urteilsgefüge. Beurteilungen — auf der Grenze der zusammengesetzten Urteile zu den einfachen stehend — sind solche Aussagen, deren Subjekt selbst wieder ein Urteil ist. Sie zerfallen in die Arten der verneinenden (S ist nicht P), quantitativ- und modal-bestimmenden Urteile; die zu zweit genannten wieder in universale und partikuläre (alle S sind P; einige S sind P); die zuletzt genannten in apodiktische, assertorische und problematische Behauptungen (S ist notwendig, tatsächlich, möglicherweise P). Urteilsverbindungen sind solche zusammengesetzte Urteile, in denen mehrere einfache Urteile entweder kopulativ (S1 und S2 sind P) oder konjunktiv (S ist P1 und P2) oder divisiv (S ist teils P1, teils P2) miteinander verknüpft sind. Urteilsgefüge endlich sind Urteilszusammensetzungen, in denen eine Mehrheit von Urteilen in eine entweder ausschließende oder begründende Beziehung zueinander gerückt sind; die ersteren (S ist entweder P1 oder P2) heißen disjunktive, die letzteren (wenn Q R, dann S P) hypothetische Urteilsgefüge. Verdeutlichen wir die Arten der zusammengesetzten Urteile gleichfalls an Hand eines Schemas, dann ergibt sich:

2. Logische Theorie des Urteils.

Die logische Analyse des Urteils legt ihrer Untersuchung das elementare bejahende Urteil von der Form „S ist P“ zugrunde. Was für dieses als gültig erwiesen ist, muß mutatis mutandis auch für die noch so kompliziert zusammengesetzten Urteile gelten, da jene aus diesen gebildet sind.

Das Urteil verhält sich zum Satz wie der Begriff zum Worte, mit dem er verbunden ist. Der Satz ist also mehr als die äußere Hülle des Urteils; er ist Träger, Vermittler des im Urteil enthaltenen Gedankens, wie das Wort Träger, Vermittler des mit ihm verknüpften Begriffes ist. Nichtsdestoweniger ist zwischen der grammatischen Analyse des Satzes und der logischen Analyse des Urteils ein strenger Unterschied zu ziehen. Grammatisch mag ein Satz auch aus noch so vielen Bestandteilen zusammengesetzt sein (Subjekt, Prädikat, Objekt, näheren Bestimmungen des Ortes, der Zeit usw. als grammatischen Kategorien); logisch sind alle Urteile zweigliedrig (so schon Beneke; auch Wundt, Erdmann, Geyser). Nur eine grammatisierende Logik, (welche die Logik entweder mit der Grammatik identifiziert oder beider Grenzen durcheinanderfließen läßt), vermag die Annahme zu vertreten, daß ein Urteil logisch mehr oder weniger als zwei Glieder haben könne. Und nur eine psychologisierende Logik vermag der grammatisierenden darin beizupflichten, indem sie nämlich die psychologische Frage nach dem Vorstellungsbestande des Urteilens der logischen Frage nach dem Aufbau des Urteils substituiert. In dem elementaren Urteil: „S ist P“ ist „S“ grammatisch Subjekt, „ist“ Kopula und „P“ Prädikat oder Objekt; logisch dagegen „S“ Subjekt und das „P-sein des S“ Prädikat. Mögen wir von hier aus auch zu den grammatisch verwickeltsten Urteilsformen aufsteigen, logisch wird sich allemal zeigen, daß sie nur aus zwei Gliedern bestehen: dem Subjekt als dem Gegenstand, über den, und dem Prädikat, als dem Gegenstand, der ausgesagt wird.

logisches Subjekt: logisches Prädikat:
↓ ↓
ein Knabe starb
ein siebenjähriger Knabe starb nach kurzer Krankheit
ein siebenjähriger blonder Knabe starb nach kurzer Krankheit in den Armen seiner Mutter
ein siebenjähriger blonder Knabe, der sich beim Baden erkältet hatte starb nach kurzer Krankheit in den Armen seiner Mutter an einer Lungenentzündung