Lehrende: Dr. Ali Behboud
Veranstaltungsart: Proseminar
Anzeige im Stundenplan:
Semesterwochenstunden: 2
Credits: 3,0
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: 1 | 28
Kontingentschema: Phil_Standard_WS1415
Weitere Informationen: Für den erfolgreichen Besuch dieser Veranstaltung im Rahmen des Fachspezifischen Wahbereichs werden 3 LP angerechnet.
Kommentare/ Inhalte: Das Proseminar soll all denen, die das Einführungsseminar zur Logik erfolgreich absolviert haben, Gelegenheit bieten, diese Kenntnisse ein wenig weiter zu vertiefen. Dazu wird es nötig sein, sich u. a. mit den wichtigsten Grundbegriffen der (naiven) Mengenlehre vertraut zu machen, die das unentbehrliche Werkzeug für die moderne Logik bilden. Wir werden uns dann mit dem Begriff eines formalen Systems, dem Begriff der (Un-)Entscheidbarkeit und der Idee einer formalen, mengentheoretischen Semantik für die klassische Junktoren- und Quantorenlogik beschäftigen. Als Ausblick soll auch die Bedeutung von einigen berühmten Metatheoremen (von Löwenheim-Skolem, Gödel, Tarski) skizziert werden. Eine Zusammenstellung der Literaturauszüge, die wir lesen wollen, werde ich im Seminar bekannt geben. Wer sich vorher etwas orientieren möchte, profitiert z. B. von einem Blick in die Bücher von Steinhart und Papineau.
Literatur:
Zusätzliche Hinweise zu Prüfungen: Studienleistungen: