Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden. Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden. Diese Klassenlogik ist daher eine Verallgemeinerung der Mengenlehre, die nur eine eingeschränkte Klassenbildung erlaubt.