LFU:online

Institut für Philosophie Institut für Philosophie

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

602013

Formale Logik I

VO 2

3,5

Block

keine Angabe

Deutsch

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

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

Vorlesung mit Besprechung von Übungsaufgaben.

Abschlussaufgaben

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

Online-Anmeldung erforderlich 6.2.-2.3.2012! Bitte Veranstaltungszeiten beachten. Die Vorlesung setzt keine formalen Vorkenntnisse voraus. Ein erhöhter Zeitaufwand für die Bearbeitung von Übungsaufgaben ist zu berücksichtigen.
Beginn: 16.03.2012