LFU:online

Institut für Philosophie Institut für Philosophie

Priv.-Doz. Dr. Ulrich Metschl Priv.-Doz. Dr. Ulrich Metschl

602014

Formale Logik

VO 2

4

wöch.

keine Angabe

Deutsch

Vermittlung vertiefter formallogischer Kenntnisse, Einführung in die Metalogik und Diskussion philosophischer Fragen der Logik.

Prädikatenlogik, axiomatische Darstellung formaler Systeme, Gödelsches Unvollständigkeitstheorem, Beweistheorie, Modallogik.

Vorlesung mit Übungsaufgaben

Schriftliche Bearbeitung von Aufgaben

Bell, J.L./Machover, M.: A Course in Mathematical Logic; Amsterdam ²1986 Berka, K./Kreiser, L. (Hg.): Logiktexte; Berlin 1986 Boolos, George: The Unprovability of Consistency; Cambridge 1979 Cameron, Peter, J.: Sets, Logic, and Categories; New York/Berlin 1999

Die Vorlesung schließt an die Einführung in die formale Logik vom Sommersemester an und setzt elementare Logikkenntnisse oder die Bereitschaft, sich diese zügig anzueignen, voraus.
Beginn: 6.10.2010