Teilgebiet der mathematischen Logik, in dem auch die innere Struktur der Aussagen, wie z. B. die Subjekt-Prädikat-Beziehung der Urteile der traditionellen Logik, in die Untersuchungen einbezogen wird, im Gegensatz zur Aussagenlogik, wo die innere Struktur der Aussagen keine Rolle spielt.

Der Begriff wird oft auch als Synonym für Prädikatenkalkül benutzt.