180020 PS On the Relation between Philosophy and Logic (2011S)

Als Universalgelehrter verband Leibniz wie kein anderer Philosophie, Metaphysik und Mathematik. Sein philosophisches Denken beeinflusste sein mathematisches und umgekehrt. So versuchte Leibniz das menschliche Denken als Rechenvorgang ab zu bilden, bzw. zu formalisieren und eine logische Symbolsprache für begriffliches Denken zu entwickeln. G.W. Leibniz (1646-1716) versuchte als Philosoph und Mathematiker die klassische Logik zu reformieren, und gilt damit als einer der ersten, der die traditionelle Logik, welche seit Aristoteles vorherrschend war, auf formale Grundlagen stellte.

Nach Leibniz ist Gottlob Frege (1848-1925) eine weitere wichtige Figur in der Entwicklungsgeschichte der modernen Logik. Frege gilt vor allem als Begründer der Prädikatenlogik. Nachdem die durch Aristoteles begründete Logik und Syllogistik mehr als 2000 Jahre lang als die exakteste Form logischen Schließens gegolten hatte, beginnt mit der Begriffsschrift von 1879 die neue Ära der modernen Logik, da in dieser Frege erstmals (nach Leibniz) eine Logik in formaler und axiomatischer Form vorgelegt wurde.

Die Zusammenschau von Leibniz und Fege ist besonders gut geignet, die Entwicklungsgeschichte der modernen formalen Logik nach zu vollziehen und das Verhältnis von Philosophie und Logik zu vermitteln. Der Textlektüre-Kurs wird sich mit diesem Thema anhand ausgewählter Texte und in Form von Close Reading, Referaten und ausgiebigen Diskussionen eingehend befassen.