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:
Zusätzliche Hinweise zu Prüfungen: Studienleistungen: