602018 Formale Logik I
Wintersemester 2013/2014 | Stand: 22.04.2014 | LV auf Merkliste setzen602018
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
Keine
Die Vorlesung setzt keine formalen Vorkenntnisse voraus. Ein erhöhter Zeitaufwand für die Bearbeitung von Übungsaufgaben ist zu berücksichtigen.
11.10.2013
Gruppe 0
|
||||
---|---|---|---|---|
Datum | Uhrzeit | Ort | ||
Fr 11.10.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 18.10.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 25.10.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 08.11.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 15.11.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 22.11.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 29.11.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 06.12.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 13.12.2013
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 10.01.2014
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 17.01.2014
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 24.01.2014
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei | |
Fr 31.01.2014
|
10.15 - 11.45 | Hörsaal 3 Hörsaal 3 | Barrierefrei |