Die vorliegende Einführung in die formale Logik behandelt neben den klassischen Themen der logische Propädeutik und der Syllogistik ein breites Spektrum von Themen der modernen Logik: Gleichheitslogik, Mengenlehre (mit echten Klassen), Aussage- und Prädikatenlogik, wobei die Prädikatenlogik durch klassenlogische Ausdrucksmittel erweitertet wird, was zu einer für Anwendungen in Philosophie und Mathematik äußerst flexiblen und ausdrucksstarken logischen Sprache führt.