Klassenlogik

Klassenlogik, derjenige Teil der Logik, der sich mit den durch Prädikaten beschriebenen Klassen und ihren Beziehungen beschäftigt. Bevorzugter Gegenstand der traditionellen Klassenlogik war die Syllogistik. Heute versteht man unter Klassenlogik auch die verbandstheoretisch orientierte Untersuchung der mengentheoretischen Operationen (boolesche Algebra).