|
PS Logische Propädeutik (54002, 53001)
- Dozent/in
- Inga Bones, M.A.
- Angaben
- Proseminar
2 SWS, Schein, ECTS-Studium, 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)
Zeit und Ort: Mi 14:15 - 15:45, KH 1.019
- Inhalt
- 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.
- Empfohlene Literatur
- 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-Informationen:
- Credits: 5
- Zusätzliche Informationen
- Institution: Lehrstuhl für Theoretische Philosophie (N.N.)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|