Zurück
| Semester | Herbstsemester 2018 |
| Angebotsmuster | Jedes Herbstsemester |
| Dozierende | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn) |
| Inhalt | In dieser Vorlesung geht es um die Rolle der Beweise in der Logik, um informelle und formale Beweise, und schliesslich um Inhalt und Bedeutung des ersten substanziellen Resultats der modernen Logik, nämlich um Gödels Vollständigkeitssatz für die Logik 1. Stufe. |
| Lernziele | Den Inhalt der Vorlesung gut zu verstehen sowie das Beweisen zu lernen und zu üben: das informelle und das formale Beweisen, in der Junktorenlogik und in der Quantorenlogik. |
| Literatur | Vorlesungsskript J. Barwise, J. Etchemendy, Sprache, Beweis und Logik, Bd. I und ev. Bd. II, Paderborn, mentis, 2006 |
| Teilnahmebedingungen | Nur für Studierende, die den Grundkurs Logische Propädeutik oder vergleichbare Kenntnisse in der Logischen Propädeutik vorweisen können. |
| 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 |
| Hinweise zur Leistungsüberprüfung | Schriftliche Prüfung |
| 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 |