180050 SE Evidence of God and logic (2024S)

Gottesbeweise haben, obwohl heute Atheist*innen wie auch religiöse Menschen die Sinnhaftigkeit solcher Beweise bezweifeln, nach wie vor eine eigene Faszination: Sie haben sehr radikale Ansprüche (aus dem Nichts zu beweisen; etwas zu beweisen, was gar nicht beschreibbar ist,...), ihre logische Struktur ist äußert interessant, sie spielen Schlüsselrollen in vielen Philosophien (bei Descartes z.B.),... Ich hoffe, dass die Teilnehmer*innen am Ende des Seminars ein genaueres Bild davon haben, was diese Faszination ausmacht.

Im Seminar werden "klassische" Gottesbeweise, also auf jene von Anselm von Canterbury, Thomas von Aquin, Descartes, Spinoza, Leibniz, etc. ebenso ein Thema sein wie neuere - etwa der(die) Gottesbeweis(e) von Kurt Gödel. Der Fokus wird dabei auf der Logik liegen. In manchen Fällen bedeutet das, dass man anspruchsvollere Logik (Modallogik) heranziehen muss, in anderen Fällen sind die Darstellungen, die wir besprechen, nur halbformal bzw. kommen mit Syllogismen aus.

Die Auswahl der Texte liegt zu einem guten Teil bei den Teilnehmer*innen des Seminars. Logik-Kenntnisse sind empfehlenswert, aber nicht unbedingt notwendig.