Einführung in die formale Logik

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.