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.

Dr. Ludwig Neidhart studierte von 1982 bis 1987 katholische Theologie und Philosophie in Münster und Würzburg, und von 1994 bis 2002 Mathematik mit Nebenfach Physik an der Universität Augsburg. Dort promovierte er 2005 über das Thema Unendlichkeit im Schnittpunkt von Mathematik und Theologie und habilitierte sich 2015 für das Fach Philosophie. Als Lehrbeauftragter am Lehrstuhl für Analytische Philosophie der Universität Augsburg hält er regelmäßig Logikseminare ab.