Wintersemester 2012/2013
Uwe.Scheffler[@]tu-dresden.de
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
10.10.Mengen, Theorie und Terminologie
17.10.Die Sprache der Prädikatenlogik
24.10.Sprache, Formalisieren, Klammern
07.11.Semantik I
14.11.Semantik II, Tarski
28.11.Semantik III, Allgemeingültigkeit
05.12.Semantik IV, Begriffe, Verfahren
12.12.Natürliches Schließen I
19.12.So Sachen, auf Januar verschoben
09.01.Natürliches Schließen II
16.01.Logik -- was ist das?
23.01.Ein paar nichtklassische Logiken
30.01.Fragen
Logiklogo