|
|
PS Logische Propädeutik (54002, 53001)- Lecturer
- Inga Bones, M.A.
- Details
- Proseminar
2 cred.h, certificate, ECTS studies, ECTS credits: 5
für Anfänger geeignet, Bachelor, 6 ECTS nach alter Prüfungsordnung; Nachschreibetermin für Logik-Klausur: 06.04.2018, 14:00 - 16:00 Uhr, Raum KH 2.016 (Kollegienhaus)
Time and place: Wed 14:15 - 15:45, KH 1.019
- Contents
- Das Proseminar vermittelt die Grundlagen der formalen Aussagen- und Prädikatenlogik.
Themen des Proseminars sind (u.a.):
Grundbegriffe der formalen Logik (Argument, Gültigkeit, Schlüssigkeit, Objekt- und Metasprache, etc.)
Natürliche und formale Sprachen, Formalisierung natürlichsprachlicher Argumente
Wahrheitsfunktionen und Wahrheitstafeln
Kalkül des natürlichen Schließens für Aussagen- und Prädikatenlogik
In den begleitenden Tutorien werden Übungsaufgaben bearbeitet und die Inhalte des Seminars erläutert und vertieft.
- Recommended literature
- Ein Skript und Folien werden vorlesungsbegleitend zur Verfügung gestellt.
Einen ersten Überblick über die formale Logik können Sie sich (unter anderem) verschaffen mit:
Graham Priest (2000): Logic: A Very Short Introduction, Oxford/New York: Oxford University Press. (Dieses englischsprachige Büchlein ist kein Lehrbuch, sondern soll in erster Linie das Interesse an formaler Logik und ihren Anwendungsfeldern wecken. Zwar werden auch logische Grundbegriffe knapp eingeführt, der Fokus liegt jedoch auf logischen Rätseln und Paradoxien.) Wesley Salmon (1983): Logik, Stuttgart: Reclam. (Dieser etwas umfangreichere Reclam-Band behandelt Grundbegriffe der formalen Logik und Argumentationstheorie und führt sowohl in die deduktive als auch in die induktive Logik ein.)
- ECTS information:
- Credits: 5
- Additional information
- Department: Chair of Philosophy (N.N.)
|
|
|