Einführung in die Logik
Vorlesung
mittwochs, 14:50, ASB 120
Übung
dienstags, 14:50, HSZ 02
Klausuranmeldung:
Unter dem folgenden Link können Sie sich zur Klausur anmelden. Bitte melden Sie sich unbedingt an, melden Sie sich bitte bis zum 30. Januar und nur zu einem Termin an.
Klausuranmeldung
Evaluationsergebnisse:
Unter den folgenden Links finden Sie die offizielle Auswertung (nichtverbale Antworten) Ihrer Bewertung meiner Vorlesung und Übung. Vergleichswert ist der Durchschnitt aller bewerteten Veranstaltungen der Fakultät. Falls Sie Fragen, Kommentare oder Hinweise haben, schreiben Sie mir bitte!
Vorlesung
Übung
Literatur:
Unter der Bezeichnung Quantorenlogik oder Prädikatenlogik wird überall das gleiche Material angeboten, es gibt keine zwei (oder gar mehr) verschiedene Sorten davon. Allerdings unterscheiden sich die Präsentationen des Stoffs in der verwendeten Symbolik, in der Reihenfolge und dem Aufbau, in der Auswahl konkreter Systeme. Dazu kommt, daß unterschiedlich viel angeboten werden kann. Für die Motivation siehe Carnap und Wessel, für einen schnell zu lesenden Überblick beispielsweise Hoyningen-Huene, für philosophische Probleme unter anderem Kamlah/Lorenzen und Wessel, für anspruchsvolle und eher technische Darstellung Mendelson und Urchs. Grundsätzlich läßt sich in allen Büchern von allem etwas finden. Arbeiten Sie regelmäßig mit den Vorlesungsfolien und den Übungsblättern, sollte das allerdings schon reichen.
Rudolf Carnap: Philosophy and Logical Syntax. Kegan Paul, London, 1935
Paul Hoyningen-Huene: Formale Logik. Eine philosophische Einführung. Reclam, Stuttgart, 1998
Wilhelm Kamlah, Paul Lorenzen: Logische Propädeutik. Bibliographisches Institut, Mannheim, 1967
Elliott Mendelson: Introduction to Mathematical Logic. D, Van Nostrand Company, New York u.a., 1964
Arnold Oberschelp: Logik für Philosophen. Metzler, Stuttgart, Weimar, 1997
Horst Wessel: Logik. Logos, Berlin, 1998
Max Urchs: Klassische Logik. Akademie Verlag, Berlin, 1993
|
|