Wintersemester 2011/12
Uwe.Scheffler[@]tu-dresden.de
Vorlesung
dienstags 14:50, ABS Hörsaal 3


Übung
mitwochs 14:50, ASB 120


Literatur:

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
11.10.Einführung
18.10.Mengentheorie
25.10.Sprache der Prädikatenlogik
01.11. Sprache, Modelle
08.11. Modelle
15.11. Modelle
22.11. Allgemeingültigkeit, Folgebeziehung
29.11. Semantik -- Schluß
06.12.Natürliches Schließen
13.12.Beweisen
20.12.
10.01.
17.01.Identität (2x)
24.11.
31.01.Berichtigung
Mal reinschauen
Wichtige Nachrichten
Logiklogo