Informationen zum Proseminar Einführung in die Logik
P. Schroeder-Heister / B. Więckowski
Sommersemester 2004
1. Kursbeschreibung
Als Philosophinnen und Philosophen sind wir darauf bedacht, unsere jeweilige Position bezüglich einer philosophischen Fragestellung (z.B. einer ethischen oder einer erkenntnistheoretischen) möglichst klar und verständlich zu formulieren, sie mit Hilfe von Argumenten möglichst gut zu begründen, und dafür zu sorgen, dass sie nicht widersprüchlich ist.
Die Logik hilft uns, diese Anliegen umzusetzen, insofern sie uns hilft, Mehrdeutigkeiten in philosophischen Behauptungen ausfindig zu machen und insofern sie uns Methoden an die Hand gibt, mit deren Hilfe wir zum Beispiel überprüfen können, ob ein philosophisches Argument gültig ist oder ob eine philosophische Theorie widerspruchsfrei ist.
Im Seminar werden wir uns unter anderem mit der Syntax und der Semantik der Aussagenlogik und der Prädikatenlogik beschäftigen, mit der Paraphrase und der Symbolisierung umgangssprachlicher Sätze, mit einigen logischen Eigenschaften und Beziehungen (z.B. logische Wahrheit, Konsistenz, Folgerung), mit einigen Methoden (Wahrheitstafelverfahren, Tableauverfahren), mit dem Kalkül des natürlichen Schließens und mit einigen wichtigen metalogischen Resultaten (z.B. funktionale Vollständigkeit, Korrektheit und Vollständigkeit).
Das Proseminar, das im Stil einer Vorlesung (gehalten von B. Wieckowski) ablaufen wird, wird auf einem Skript basieren. Seminarbegleitend wird eine Übung (durch T. Piecha) abgehalten.
2. Termine
Seminar: Di, 16.15 - 17.45 Uhr, Hörsaal 6 in der Neuen Aula.
Übungen: Fr, 14.15 - 15.45 Uhr und 16.15 - 17.45 Uhr, Raum X in der Alten Burse.
3. Kriterien für den Scheinerwerb
Ein Seminarschein kann aufgrund einer erfolgreichen Teilnahme an einer Abschlußklausur erworben werden. Die Klausur findet voraussichtlich am 21. 7. 2004 statt.
4. Kontakt
Thomas Piecha: piecha@cs.uni-tuebingen.de
Peter Schroeder-Heister: psh@informatik.uni-tuebingen.de
Bartosz Więckowski
5. Vorläufiger Seminarplan
- Sitzung (20. 4.): Einführung
- Sitzung (27. 4.): Aussagenlogik.
Paraphrase und Symbolisierung - Sitzung (4. 5.): Aussagenlogik.
Syntax und Semantik - Sitzung (11. 5.): Aussagenlogik.
Wahrheitstafelverfahren: logische Eigenschaften und Beziehungen - Sitzung (18. 5.): Aussagenlogik.
Tableauverfahren: Regeln - Sitzung (25. 5.): Aussagenlogik.
Tableauverfahren: logische Eigenschaften und Beziehungen - Sitzung (1. 6.): Aussagenlogik.
Natürliches Schließen: Regeln - Sitzung (8. 6.): Aussagenlogik.
Natürliches Schließen: logische Eigenschaften und Beziehungen - Sitzung (15. 6.): Prädikatenlogik.
Syntax; Paraphrase und Symbolisierung - Sitzung (22. 6.): Prädikatenlogik.
Semantik - Sitzung (29. 6.): Prädikatenlogik.
Natürliches Schließen: Regeln - Sitzung (6. 7.): Prädikatenlogik.
Natürliches Schließen: logische Eigenschaften und Beziehungen - Sitzung (13. 7.): Aussagenlogik.
Metatheorie: Induktion und funktionale Vollständigkeit - Sitzung (20. 7.): Aussagenlogik.
Metatheorie: Korrektheit und Vollständigkeit
Literatur
[Seebohm, 1991] Thomas M. Seebohm. Elementare formalisierte Logik. Alber, Freiburg i. Br., 1991.