602016 Formale Logik

Sommersemester 2019 | Stand: 02.10.2019 | LV auf Merkliste setzen

Institut:

Institut für Philosophie

Lektor/in/n/en:

Priv.-Doz. Dr. Ulrich Metschl

LV-Nummer:

602016

Titel:

Formale Logik

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

Lernergebnis:

Vermittlung grundlegender Kenntnisse der Logik und verwandter formaler Methoden in der Philosophie

Inhalt:

Einführung in das logische Schließen; Syllogistik und traditionelle Logik; moderne Aussagenlogik mit Wahrheitstafeln, formalen Beweisverfahren und nicht-klassischen Varianten der Logik; Formalisierung von naturlich-sprachlichen Aussagen und Ausblick in die Prädikatenlogik.

Methoden:

Vorlesung mit Besprechung von Übungsaufgaben.

Prüfungsmodus:

Schriftlich (Abschlussklausur)

Literatur:

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 - Peter Smith: An Introduction to Formal Logic; Cambridge University Press, 2003 - Ian Chiswell/Wilfrid Hodges: Mathematical Logic; Oxford University Press, 2007.

Voraussetzungen:

Keine

Anmerkungen:

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

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/4466606434

Beginn:

06.03.2019

Studienzuordnung(en)

Philosophisch-Historische Fakultät

Bachelorstudium Philosophie laut Curriculum 2009 (180 ECTS-AP, 6 Semester)

Wahlmodule (100 ECTS-AP)

Wahlmodul 5: Formale Logik (10 ECTS-AP, 4 SSt.)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mi 06.03.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 13.03.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 20.03.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 27.03.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 03.04.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 10.04.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 08.05.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 15.05.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 22.05.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 29.05.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 05.06.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 12.06.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 19.06.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Mi 26.06.2019	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrierefrei
Do 31.10.2019	15.30 - 17.00	4DG14 SR 4DG14 SR		Klausur WS 18/19 602013 Wissenschaftstheorie und SS 19 602016 Formale Logik