ein Zweig der mathematischen Logik, untersucht die Gültigkeit der Verbindung von Subjekt und Prädikat, insofern diese als bloß möglich (problematisch: S kann P sein) oder als wirklich ( assertorisch: S ist P ) oder als notwendig ( apodiktisch: S muss P sein) gesetzt ist. Die dabei verwendeten Kategorien (Möglichkeit, Wirklichkeit, Notwend...