Urteilstheorie

Zusammenfassung

Um systematisch vorzugehen, heben wir einen primitiven Satztypus hervor, die Form des so genannten kategorischen Satzes. Man versteht darunter die einander entsprechenden beiden Formen „S ist P“ und „S ist nicht P“, wobei beiderseits S und P dieselben Bedeutungswerte haben können. Nach Ansicht der meisten Logiker sind dies die Grundtypen aller Sätze überhaupt, d.h. jeder Satz hat diese Form, und alle Unterschiede der Komplikation stecken in den mit S und P angezeigten Bedeutungen darin. Demnach hat nach diesen Logikern jeder einfache Satz, jeder Satz, der nicht mehr aus Sätzen komponiert ist, eben diese Form.