Zurück
| Semester | Herbstsemester 2011 |
| Angebotsmuster | unregelmässig |
| Dozierende | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn) |
| Inhalt | In dieser Vorlesung werden die informalen Beweismethoden für a) die Prädikatzeichen, b) Junktoren und c) Quantoren eingeführt. Parallel dazu wird das formale logische System F (von Fitch) mit den formalen Beweisregeln, welche den informalen Beweismethoden entsprechen, dargestellt. Im folgenden Teil wird in die formale bzw. mengentheoretische Semantik eingeführt, was in einem dritten und letzten Teil erlaubt, das erste substanzielle Ergebnis der formalen Logik, das Gödelsche Vollständigkeitstheorem für die Logik 1. Stufe, zu beweisen oder zumindest dessen Beweis zu skizzieren. Falls die Zeit reicht, soll auf einige wichtige Folgerungen aus diesem Vollständigkeitstheorem hingewiesen werden. |
| Lernziele | Ein Studierender, der diesen Kurs erfolgreich absolviert hat, kennt die wichtigsten Methoden des Nachweises der Ungültigkeit und insbesondere der Gültigkeit eines Arguments; er/sie versteht, informale und formale Beweise im Rahmen der Junktoren- und Quantorenlogik (1. Stufe) zu führen; und er/sie kennt die berühmte Tarskische Wahrheitsdefinition und einige Grundbegriffe der Modelltheorie, kann die Schlüsselbegriffe der Korrektheit und Vollständigkeit eines formalen logischen Systems erläutern und ist in der Lage, die Grundideen des Beweises des Gödelschen Vollständigkeitstheorems für PL1 darzulegen. |
| Bemerkungen | HörerInnen sind zugelassen, wenn der Grundkurs logische Propädeutik besucht wurde oder äquivalente Kenntnisse vorhanden sind. |
| Teilnahmebedingungen | Erfolgter Besuch einer Lehrveranstaltung zur Einführung in die Prädikatenlogik 1. Stufe oder äquivalente Kenntnisse. |
| Unterrichtssprache | Deutsch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul Probleme der Theoretischen Philosophie (Bachelor Studienfach: Philosophie) |
| Leistungsüberprüfung | Leistungsnachweis |
| An-/Abmeldung zur Leistungsüberprüfung | Anmelden: Belegen; Abmelden: nicht erforderlich |
| Wiederholungsprüfung | eine Wiederholung, Wiederholung zählt |
| Skala | Pass / Fail |
| Wiederholtes Belegen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Historische Fakultät, studadmin-philhist@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Philosophie |