Klassenlogik

Die Klassenlogik ist im weiteren Sinn eine Logik, zu deren Objekte auch Klassen gehören. Im engeren Sinn spricht man von einer Klassenlogik dann, wenn neben den Junktoren und Quantoren auch der Klassenbildungsoperator ${\displaystyle \{x\mid A(x)\}}$ Teil der logischen Sprache ist; dabei ist ${\displaystyle A(x)}$ eine Aussage der Logik. Diese Klassenlogik ist eine Erweiterung der Prädikatenlogik und eignet sich besonders zur Darstellung der Mengenlehre.