Vorlesung, WS 2012-13
Christian Damböck
Di 15h (pünktlich!) bis 16:30, HS 2G, erster Termin: 2.10.2012
ZWEITER PRÜFUNGSTERMIN: Di, 19. März, 15:30, Projektraum des Instituts Wiener Kreis (Campus, Hof 1, Eingang 1.2)
AUDIOTHEK: Die gesamte Lehrveranstaltung (wegen eines technischen Problems, mit Ausnahme der 10. Vorlesung) ist auch auf der Audiothek des Instituts zum Anhören verfügbar. (Vielen Dank an Bibiane Blauensteiner für die Erstellung des Mitschnitts!)
In dieser Lehrveranstaltung soll ein Überblick vermittelt werden, über die unterschiedlichen klassischen und nicht-klassischen Systeme der formalen Logik, wobei der Schwerpunkt auf der Herausarbeitung einfacher formaler Grundkonzepte sowie deren philosophischer Interpretation liegt; verzichtet wird dagegen auf Theorembeweise. Die Absolvierung der Logik-Einführung von Kollegin Ramharter oder eine vergleichbare Qualifikation sind Voraussetzung für den Zeugniserwerb in dieser Lehrveranstaltung!
Der Zeugniserwerb erfolgt über eine schriftliche Prüfung am Ende des Semesters (weitere Termine sind, bei Bedarf, im Folgesemester möglich). Zur Orientierung siehe diese Beispielfragen.
Das Skriptum zur Vorlesung ist unverändert gegenüber der Vorlesung im Sommersemester 2011. Bitte das Skriptum downloaden und ausdrucken. (Falls kein Drucker verfügbar ist, kann man die Datei auch in der Bibliothek des Philo-Instituts mit Copycard ausdrucken.)
Die Stoffaufteilung in der Vorlesung wird ungefähr so aussehen (wobei sich die einzelnen Themen sicher zeitlich nach vorne oder hinten verschieben bzw. auch einzelne Themen wegfallen oder hinzukommen werden):
| 1. Vorlesung | 02.10.12 | Mengentheoretische Grundbegriffe | klassische Logik | S.5-14 (Skriptum) |
| 2. Vorlesung | 09.10.12 | Aussagenlogik, Prädikantenlogik erster Stufe | S.15-28 | |
| 3. Vorlesung | 16.10.12 | Prädikatenlogik erster Stufe | S.29-34 | |
| 4. Vorlesung | 23.10.12 | Logik und Philosophie | S.34-45 | |
| 5. Vorlesung | 30.10.12 | Logik zweiter Stufe, einfache Typenlogik | Logik höherer Stufe | S.63-67, 49-52 |
| 6. Vorlesung | 06.11.12 | Intensionale Typenlogik | S.52-58 | |
| 7. Vorlesung | 13.11.12 | Intensionale Typenlogik (Fortsetzung) | S.58-62 | |
| 8. Vorlesung | 20.11.12 | Grundideen der modalen Aussagenlogik | Modallogik | S.73-82 |
| 9. Vorlesung | 27.11.12 | Zeitlogik, epistemische Logik, deontische Logik | S.82-88 | |
| 10. Vorlesung | 04.12.12 | Konditionale Logik, Relevanzlogik, intuitionistische Logik | S.88-94 | |
| 11. Vorlesung | 11.12.12 | nicht-normale Modallogik, Parakonsistente Logik I | S.94-102 | |
| 18.12.12 | VORLESUNG ENTFÄLLT | |||
| 12. Vorlesung | 08.01.13 | Quantifizierte Modallogik | S.102-109 | |
| 13. Vorlesung | 15.01.13 | Grundbegriffe der mehrwertigen Logik, Partielle Logik | mehrwertige Logik | S.117-125 |
| 14. Vorlesung | 22.01.13 | Parakonsistente Logik II, Fuzzy Logic | S.125-130 | |
| 29.01.13 | Schriftliche Prüfung |
Die im Skriptum mit * gekennzeichneten Abschnitte dienen der zusätzlichen Information. Sie werden in der Vorlesung voraussichtlich nicht behandelt und sind auch kein Prüfungsstoff.
Für Literaturhinweise siehe das Skriptum. Außerdem stelle ich hier einige elektronische Ressourcen zur Verfügung (Kennwort wird in der Vorlesung bekanntgegeben).