202709 VU Formal Logic

summer semester 2023 | Last update: 07.06.2022 | Place course on memo list

Department:

Department of Christian Philosophy

Instructor:

Mag. Karl Heinz Sager

Course number:

202709

Title:

VU Formal Logic

Type/hours:

VU 2

ECTS credits:

Period:

weekly

Mode of repetition:

not applicable

Language of instruction:

German

Learning Outcome:

The students can identify argumentative texts, they can choose the appropriate tools for their formal analysis and assess their logical validity.

Contents:

Introduction to important formal languages of logic (propositional logic, predicate logic, modal logics), to the conditions of their applicability, and to the scope of elementary techniques of checking the validity of arguments.

Methods:

Lecture, discussion and exercises.

Assessment:

Written exam.

Literature:

W. Löffler, Einführung in die Logik (Stuttgart 2008).

Prerequisites:

None.

Remarks:

This course is organized in cooperation with the Philosophisch-Theologische Hochschule Brixen. Please note that for admission you have to be a registered student of the Philosophisch-Theologische Hochschule Brixen (incl. tuition fee), additionally to the admission requirements of the University of Innsbruck. More information on the admission in Brixen: https://www.pthsta.it/de/studium/immatrikulation-und-inskription.html.

Start:

02.03.2023

Time, location:

Termine werden bekannt gegeben, Philosophisch-Theologische Hochschule Brixen

allocated to study field

Faculty of Catholic Theology

Bachelor's Programme in Philosophy at the Faculty of Catholic Theology according to the Curriculum 2021 (180 ECTS-Credits, 6 semesters)

Compulsory Modules (150 ECTS-Credits)

Compulsory Module 7: Logic and Philosophy of Language (10 ECTS-Credits, 4 h)

Sustainable development goals

SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.