Zurück
| Semester | Frühjahrsemester 2020 |
| Angebotsmuster | Jedes Frühjahrsem. |
| 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. |
| 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 |