55-01.211.303 Mengen, Kalküle, Modelle (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.

Bitte beachten Sie, dass diese Veranstaltung aufgrund der Corona-Pandemie als Online-Veranstaltung beginnt.

Diese Angaben können sich aufgrund neuer Umstände ändern. Bitte lesen Sie regelmäßig unsere aktuellen Meldungen für eventuelle Änderungen. Allgemeine Updates der Universität Hamburg finden Sie hier: https://www.uni-hamburg.de/newsroom/intern/2020/0131-corona-faq.html.
 

Kommentare/ Inhalte:
Im Logik Einführungsseminar haben Sie die (formale) Semantik für die Junktorenlogik kennengelernt; meist reicht aber die Zeit nicht, um auch für die Quantorenlogik eine präzise, formale Semantik zu besprechen. Die grundlegenden Ideen hierzu sind für alle weiteren Studien, in denen moderne Logik eine Rolle spielt, unumgänglich und werden im Mittelpunkt unseres Proseminars stehen.

Außerdem werden wir einiges über alternative Ableitungskalküle, ihre Vor- und Nachteile, kennenlernen. Grundbegriffe und Notationen aus der Mengenlehre erleichtern dabei die Darstellung sowohl der Semantik als auch der Kalküle und bilden mit diesen einen Grundpfeiler der modernen Logik. Darüber hinaus zählen die elementaren mengentheoretischen Begriffe inzwischen in den meisten wissenschaftlichen Gebieten zum üblichen Vokabular. Wir werden daher das Seminar mit einem kurzen Exkurs in die Grundideen der Mengenlehre beginnen.

Vermutlich wird das Wintersemester wieder im „Fernunterricht“ stattfinden. Ich werde dazu wöchentlich Texte zum Studieren in STiNE hochladen. Aufgaben für alle sollen dann helfen, die Texte intensiv zu bearbeiten und das Verständnis zu festigen. Außerdem werde ich jede Woche Lösungsvorschläge von einigen Teilnehmerinnen und Teilnehmern des Seminars zum Vergleich sowie Musterlösungen hochladen.

Wer sich vorher etwas orientieren möchte, profitiert z. B. von einem Blick in die Bücher von Steinhardt, Bostock oder Papineau.

Literatur:


  • David Bostock, Intermediate Logic (Oxford Clarendon Press 1997).
  • 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, 5. Nov. 2020 10:15 11:45 digital Dr. Ali Behboud
2 Do, 12. Nov. 2020 10:15 11:45 digital Dr. Ali Behboud
3 Do, 19. Nov. 2020 10:15 11:45 digital Dr. Ali Behboud
4 Do, 26. Nov. 2020 10:15 11:45 digital Dr. Ali Behboud
5 Do, 3. Dez. 2020 10:15 11:45 digital Dr. Ali Behboud
6 Do, 10. Dez. 2020 10:15 11:45 digital Dr. Ali Behboud
7 Do, 17. Dez. 2020 10:15 11:45 digital Dr. Ali Behboud
8 Do, 7. Jan. 2021 10:15 11:45 digital Dr. Ali Behboud
9 Do, 14. Jan. 2021 10:15 11:45 digital Dr. Ali Behboud
10 Do, 21. Jan. 2021 10:15 11:45 digital Dr. Ali Behboud
11 Do, 28. Jan. 2021 10:15 11:45 digital Dr. Ali Behboud
12 Do, 4. Feb. 2021 10:15 11:45 digital Dr. Ali Behboud
13 Do, 11. Feb. 2021 10:15 11:45 digital Dr. Ali Behboud
14 Do, 18. Feb. 2021 10:15 11:45 digital 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  Mengen, Kalküle, Modelle (T) Hausarbeit 10  Einzelprüfung Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
11  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
12  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
Phil BA4 (EF-Math) Aufbaumodul Theoretische Philosophie (SoSe 17) / PhilK_PS-BA4_Kern  Mengen, Kalküle, Modelle (T) Hausarbeit 8  Hausarbeit Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
9  Hausarbeit Fr, 31. Dez. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
10  Hausarbeit Do, 31. Mär. 2022, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BA4 (EF-VWL) Aufbaumodul Theoretische Philosophie (SoSe 17) / PhilK_PS-BA4_Kern  Mengen, Kalküle, Modelle (T) Hausarbeit 8  Hausarbeit Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
9  Hausarbeit Fr, 31. Dez. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
10  Hausarbeit Do, 31. Mär. 2022, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BA4 (LG) Aufbaumodul Theoretische Philosophie (WiSe 16/17) / PhilK_PS-BA4_Kern  Mengen, Kalküle, Modelle (T) Hausarbeit 9  Einzelprüfung Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
10  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
11  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
Phil BA4 (WB-Phys) Aufbaumodul Theoretische Philosophie (SoSe 17) / PhilK_PS-BA4_Kern  Mengen, Kalküle, Modelle (T) Hausarbeit 8  Hausarbeit Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
9  Hausarbeit Fr, 31. Dez. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
10  Hausarbeit Do, 31. Mär. 2022, 00:01 - 23:59 Dr. Ali Behboud Ja
Phil BAP Profilmodul (WiSe 16/17) / PhilK_PS-BAP_Kern  Mengen, Kalküle, Modelle (T) Hausarbeit 11  Einzelprüfung Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
12  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
13  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
Phil BP1 (LG) Profilmodul 1 (WiSe 16/17) / PhilK_PS-BP1_Kern  Mengen, Kalküle, Modelle (T) Hausarbeit 9  Einzelprüfung Do, 30. Sep. 2021, 00:01 - 23:59 Dr. Ali Behboud Ja
10  Einzelprüfung k.Terminbuchung Dr. Ali Behboud Ja
11  Einzelprüfung k.Terminbuchung 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
  • 14
  •  
Lehrende
Dr. Ali Behboud