55-01.202.302 Ergänzungen und Vertiefungen zur Logikeinführung (T)

Veranstaltungsdetails

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:


  • David Papineau: Philosophical Devices (Oxford UP 2012).
  • Eric Steinhart: More Precisely (Broadview 2009).

Zusätzliche Hinweise zu Prüfungen:
Studienleistungen:


  • aktive Teilnahme
  • sorgfältige Vor-/Nachbereitung der Seminarsitzung
  • weitere Studienleistungen werden ggf. am Anfang der Veranstaltung bekannt gegeben

Prüfungsleistung:

  • Hausarbeit (o.ä.)

Termine
Datum Von Bis Raum Lehrende
1 Do, 2. Apr. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
2 Do, 9. Apr. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
3 Do, 16. Apr. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
4 Do, 23. Apr. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
5 Do, 30. Apr. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
6 Do, 7. Mai 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
7 Do, 14. Mai 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
8 Do, 28. Mai 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
9 Do, 11. Jun. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
10 Do, 18. Jun. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
11 Do, 25. Jun. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
12 Do, 2. Jul. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
13 Do, 9. Jul. 2020 10:15 11:45 Ü35 - 03080 Dr. Ali Behboud
Prüfungen im Rahmen von Modulen
Modul (Startsemester)/ Kurs Leistungs­kombination Prüfung Datum Lehrende Bestehens­pflicht
Phil BA4 Aufbaumodul Theoretische Philosophie (WiSe 16/17) / PhilK_PS-BA4_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 9  Einzelprüfung Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BA4 (EF-Math) Aufbaumodul Theoretische Philosophie (SoSe 17) / PhilK_PS-BA4_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 7  Hausarbeit Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
8  Hausarbeit Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BA4 (EF-VWL) Aufbaumodul Theoretische Philosophie (SoSe 17) / PhilK_PS-BA4_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 7  Hausarbeit Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
8  Hausarbeit Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BA4 (LG) Aufbaumodul Theoretische Philosophie (WiSe 16/17) / PhilK_PS-BA4_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 8  Einzelprüfung Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BA4 (WB-Phys) Aufbaumodul Theoretische Philosophie (SoSe 17) / PhilK_PS-BA4_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 7  Hausarbeit Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
8  Hausarbeit Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BAP Profilmodul (WiSe 16/17) / PhilK_PS-BAP_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 9  Einzelprüfung Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BP1 (LG) Profilmodul 1 (WiSe 16/17) / PhilK_PS-BP1_Kern  Ergänzungen und Vertiefungen zur Logikeinführung (T) Hausarbeit 8  Einzelprüfung Mi, 30. Sep. 2020, 00:01 - 23:59 Dr. Ali Behboud Ja
Veranstaltungseigene Prüfungen
Beschreibung Datum Lehrende Pflicht
1. Studienleistung k.Terminbuchung Nein
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
Lehrende
Dr. Ali Behboud