602016 Formale Logik I

Sommersemester 2015 | Stand: 12.12.2014 LV auf Merkliste setzen
602016
Formale Logik I
VO 2
3,5
wöch.
jährlich
Deutsch
Vermittlung grundlegender Kenntnisse der Logik und verwandter formaler Methoden in der Philosophie
Einführung in das logische Schließen; Syllogistik und traditionelle Logik; moderne Aussagenlogik mit Wahrheitstafeln, formalen Beweisverfahren und nicht-klassischen Varianten der Logik; Formalisierung und Ausblick in die Prädikatenlogik.
Vorlesung mit Besprechung von Übungsaufgaben.

Regelmäßige Bearbeitung von Übungsaufgaben; Bearbeitung von Abschlussaufgaben.

Winfried Löffler; Einführung in die Logik; Stuttgart, Kohlhammer, 2008 - Wesley Salmon: Logik; Stuttgart, Reclam, 1983 - Peter J. Cameron: Logic, Sets and Categories; New York, Berlin, Springer Verlag, 1999 - Ian Chiswell/Wilfrid Hodges: Mathematical Logic; Oxford University Press, 2007.

Keine

 Die Vorlesung setzt keine formalen Vorkenntnisse voraus. Ein erhöhter Zeitaufwand für die Bearbeitung von Übungsaufgaben ist zu berücksichtigen.

04.03.2015
Gruppe 0
Datum Uhrzeit Ort
Mi 04.03.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 11.03.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 18.03.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 25.03.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 15.04.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 22.04.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 29.04.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 06.05.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 13.05.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 20.05.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 27.05.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 03.06.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 10.06.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 17.06.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei
Mi 24.06.2015
15.30 - 17.00 Hörsaal 3 Hörsaal 3 Barrierefrei