Philosophische Logiken - Ein Überblick über klassische und nicht-klassische Konzepte der formalen Logik

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).

meine Homepage


letzte Änderung:  Friday, 15-Mar-2013 16:49:20 CET