| Modulname |
Einführung in die Grundzüge der Logik |
| Gebiet |
|
| Profil |
Profil Freie Studien
Profil Liberal Arts Education
|
| CPs |
5 CP |
| Campus |
Hier geht
es zum Vorlesungsverzeichnis |
| Voraussetzungen |
Es werden keine Philosophiekenntnisse vorausgesetzt. Das Angebot richtet sich an philosophisch interessierte Studierende aller Fächer. Studierende des Faches Philosophie dürfen an diesem Modul nicht teilnehmen! |
| Besonderheiten |
Teilnehmer für den Optionalbereich: 30 |
| Blockseminar |
Nein |
| Vorkenntnisse |
|
| Veranstaltungszeit |
Mittwoch 12:00 - 14:00, Dienstag 18:00 - 20:00 |
| Dozenten |
Dolf Rami |
| Arbeitsaufwand |
Regelmäßige Teilnahme, Vor- und Nachbereitung der Sitzungen sowie erfolgreiche Teilnahme an der Modulabschlussklausur. Zusammensetzung der Endnote: Note der Modulabschlussklausur |
| Literatur |
Arnold Oberschelp, Logik für Philosophen, Metzler, Stuttgart, 1997. Theodor Sider, Logic for Philosophy, Oxford University Press, 2010. Neil Tennant, Natural Logic, Edinburgh University Press, Edinburgh, 2. Aufl. 1990. Jan von Plato, Elements of Logical Reasoning, Cambridge University Press, 2013. Gerhard Schurz, Logik - Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik, De Gruyter, 2018 |
| Modulteil |
[030030] Übung zur Vorlesung: "Grundzüge der Logik: Logik I" - WS 22/23, [030029] Übung zur Vorlesung: "Grundzüge der Logik" - WS 22/23, [030003] Grundzüge der Logik I - WS 22/23, [030031] Übung zur Vorlesung: "Grundzüge der Logik" - WS 22/23 |
| Modultyp |
|
| Modulanbieter |
Fakultät für Philosophie und Erziehungswissenschaft, Lehreinheit Philosophie |
| Inhalt |
Teil 1: Grundzüge der Logik (Vorlesung), WS 2022/23 Teil 2a/b: Übung zur Vorlesung: Grundzüge der Logik, WS 2022/23 Aktuelle Termine und Änderungen siehe Punkt "Veranstaltungen"! Grundkenntnisse der modernen Logik sind unerlässlich, um sich mit historischen sowie aktuellen philosophischen Texten selbstständig und kritisch auseinanderzusetzen. Dieses Modul vermittelt den Studierenden einen zentralen Bereich philosophischer Methoden anhand einer Einführung in die Grundzüge der Logik. Die Vorlesung "Grundzüge der Logik" bietet eine elementare Einführung in die klassische Aussagen- und Prädikatenlogik. Die Syntax der Aussagen- und Prädikatenlogik wird motiviert und eingeführt. Das Konzept einer modelltheoretischen Semantik wird erörtert und die Wahrheitsbedingungen der klassischen Junktoren und der Quantoren werden erläutert. Die Ausdrucksstärke der klassischen Aussagenlogik wird eingehend behandelt. In die Beweistheorie der klassischen Logik wird durch ein System des Baumkalküls eingeführt. Die Begriffe der Korrektheit und Vollständigkeit eines Beweissystems werden erklärt. Die Studierenden erwerben zentrale begriffliche und methodische Voraussetzungen, die ihnen ein tieferes Verständnis philosophischer Argumentation ermöglichen. Die Studentinnen und Studenten werden befähigt, die aussagen- und prädikatenlogische Struktur von Schlussfolgerungen zu analysieren. Sie sind mit dem Begriff der gültigen Schlussfolgerung und sind in der Lage, die Methode der Wahrheitstabellen für unterschiedliche Zwecke anzuwenden. In der Übung zur Vorlesung "Grundzüge der Logik" werden wöchentliche Übungsaufgaben eingehend erörtert. Es werden Lösungen und Lösungswege diskutiert und Fragen zur Vorlesung beantwortet. Die Übung dient der Vertiefung der in der Vorlesung behandelten Themen und der Vorbereitung auf die Abschlussklausur. |
| Lernziele |
Die Studierenden erwerben zentrale begriffliche und methodische Voraussetzungen, die ihnen ein tieferes Verständnis philosophischer Argumentation ermöglichen. Die Studentinnen und Studenten werden befähigt, die aussagen- und prädikatenlogische Struktur von Schlussfolgerungen zu analysieren, die in die Sprache der klassischen Aussagen- bzw. Prädikatenlogik übersetzbar sind. Sie sind mit dem Begriff der gültigen Schlussfolgerung und der Wahrheitsdefinition für prädikatenlogische Sprachen vertraut und sind in der Lage, die Methode der Wahrheitstabellen für unterschiedliche Zwecke anzuwenden. |
