602015 Formal Logic I

summer semester 2017 | Last update: 28.06.2017 | Place course on memo list

Department:

Department of Philosophy

Instructor:

assoz. Prof. Dr. Ulrich Metschl, +43 512 507 40206

Course number:

602015

Title:

Formal Logic I

Type/hours:

VO 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

German

Learning Outcome:

Introduction to formal logic and related formal methods in philosophy

Contents:

Introduction to logical deduction, syllogisms and traditional logic; modern propositional logic: truth-tables and formal proof procedures, non-classical variants of logic; basic steps in predicate logic.

Methods:

Lecture with detailed discussions of exercises.

Assessment:

Written end-term examination.

Literature:

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.

Prerequisites:

None.

Remarks:

No previous knowledge in formal methods required. The exercises might require some investment in time.

OLAT:

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

Start:

08.03.2017

Course allocation

Faculty of Humanities 1 (Philosophy and History)

Bachelor's Programme Philosophy according to the curriculum 2009 (180 ECTS-Credits, 6 semesters)

Elective Modules (100 ECTS-Credits)

Elective Module 5: Formal Logic (10 ECTS-Credits, 4 h)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Wed 2017-03-08	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-03-15	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-03-22	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-03-29	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-04-05	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-04-26	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-05-03	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-05-10	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-05-17	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-05-24	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-05-31	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-06-07	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-06-14	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-06-21	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Wed 2017-06-28	13.45 - 15.15	Hörsaal 6 Hörsaal 6	Barrier-free
Mon 2017-07-17	15.00 - 16.30	Hörsaal 6 Hörsaal 6	Barrier-free