Modul: Einführung in die Grundzüge der Logik

Modulname Einführung in die Grundzüge der Logik
Gebiet
Profil Profil Freie Studien
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 Termin der 1. Sitzung: Trotz Raumbuchung beginnt dieses Modul erst in der 2. Vorlesungswoche.
Blockseminar Nein
Vorkenntnisse
Veranstaltungszeit Montag 16:00 - 18:00, Montag 10:00 - 12:00
Dozenten Christian Straßer
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 [030027] Übung zur Vorlesung: "Grundzüge der Logik: Logik I" - SS 2025, [030028] Übung zur Vorlesung: "Grundzüge der Logik: Logik I" - SS 2025, [030026] Übung zur Vorlesung: "Grundzüge der Logik: Logik I" - SS 2025, [030005] Grundzüge der Logik: Logik I - SS 2025
Modultyp
Modulanbieter Fakultät für Philosophie und Erziehungswissenschaft, Lehreinheit Philosophie
Inhalt Teil 1: Grundzüge der Logik (Vorlesung), SoSe 2025 Teil 2a/b: Übung zur Vorlesung: Grundzüge der Logik, SoSe 2025 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 natürlichen Schließens 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 Studierenden werden befähigt, die aussagen- und prädikatenlogische Struktur von Schlussfolgerungen zu analysieren. Sie werdenmit dem Begriff der gültigen Schlussfolgerung vertraut gemacht 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.