851-0144-12L
Philosophie der Logik
| Semester | Frühjahrssemester 2012 |
| Dozierende | G. Sommaruga |
| Periodizität | einmalige Veranstaltung |
| Lehrsprache | Deutsch |
| |
| Kurzbeschreibung | Philosophie der Logik ist eine philosophische Reflexion über einige Schlüsselbegriffe und -themen der formalen bzw. mathematischen Logik. In diesem Seminar werden einerseits die technischen logischen Grundlagen erarbeitet, andererseits wird auf diesen Grundlagen in die philosophische Diskussion von Themen wie Wahrheit, logische Folgerung, Existenz, mögliche Welten oder Konstruktivismus eingeführt |
| Lernziel | 1. der Erwerb von grundlegenden Kenntnissen der Prädikatenlogik 1. Stufe (einschliesslich Gödelscher Vollständigkeit, Löwenheim-Skolem und Kompaktheit), der Modallogik und der intuitionistischen Logik
2. das Kennenlernen von philosophischen Fragen und Problemen der formalen Logik (welche oftmals bis in die Antike zurückreichen) sowie von einigen Versuchen, die unternommen wurden, um diese Fragen zu beantworten bzw. Probleme zu lösen. |
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig
benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren.
Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest
you upgrade to the newer browser.
Übersicht