LFU:online

Vertiefte Kenntnis logischer Techniken (Kalküle, Entscheidungsverfahren), ihrer metalogischen Eigenschaften und ihrer Anwendbarkeitsbedingungen.

Aussagenlogische Deduktion, Prädikatenlogik ohne und mit Identität.

Vorlesung mit Übungsphasen und Heimaufgaben.

Schriftliche Prüfung.

Allgemeine Informationen zu Prüfungen, Terminen und Anmeldung am Institut auf: https://www.uibk.ac.at/philtheol/pruefungen/index.html.de.

W. Löffler: Einführung in die Logik, Stuttgart u. a. 2008.

Für BA Philosophie an der Katholisch-Theologischen Fakultät (C 033 194): positive Beurteilung des Pflichtmoduls 2.