Allgemeine Informationen

Veranstaltungsname	Übung: Einführung in die formale Logik
Veranstaltungsnummer	009
Semester	WS 2026/27
Aktuelle Anzahl der Teilnehmenden	8
Heimateinrichtung	Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
Beteiligte Einrichtungen	Philosophie
Veranstaltungstyp	Übung in der Kategorie Lehre
Nächster Termin	Donnerstag, 15.10.26, 11:45 - 13:15 Uhr
Leistungsnachweis	Prüfungsform/Scheinerwerb: entsprechend der jeweiligen Prüfungsordnung
Veranstaltung findet online statt / hat Remote-Bestandteile	Ja
Hauptunterrichtssprache	deutsch
Literaturhinweise	• Beckermann, Ansgar (2011): Einführung in die Logik. 3. Aufl. Berlin, New York: de Gruyter. • Kutschera, Franz von / Breitkopf, Alfred (2007): Einführung in die moderne Logik. 8., neu bearb. Aufl. Freiburg, München: Alber. • Schurz, Gerhard (2018): Logik. Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik. Berlin, Boston: de Gruyter. • Strobach, Niko (2019): Einführung in die Logik. 5. akt. Aufl. Darmstadt: WBG. • Tugendhat, Ernst / Wolf, Ursula (1993): Logisch-semantische Propädeutik. Durchges. Ausg. Stuttgart: Reclam. • Zoglauer, Thomas (2008): Einführung in die formale Logik für Philosophen. 4., überarb. Aufl. Göttingen: Vandenhoeck & Ruprecht.

Lehrende

Dr.phil. Thomas Heichele

Räume und Zeiten

Ohne Raum

Donnerstag, 11:45 - 13:15, Wöchentlich (ab dem 15.10.26)

Studienbereiche

Philosophisch-Sozialwissenschaftliche Fakultät > Philosophie > Einführung in die Philosophie > Basismodul Methoden (PHI-0002)

Modulzuordnungen

EWS Erziehungwissenschaftliches Studium im Lehramt an Grund- und Mittelschulen (LPO UA 2023), 1. Version gültig ab WS 2023/24 > 778 Erziehungswissenschaftliches Studium - Wahlpflichtbereich (LPO UA 2023): Bereich I Gesellschaftwissenschaften & Bereich II Theologie/Philosophie (5 LP) > PHI-0029 - Philosophie II (EwS) (gültig ab WS 2023/24) > Philosophie II (EwS)
Geoinformatik Master Geoinformatik, 4. Version gültig ab WS 2022/23 > MScGI_Module > GEO-5146 (=MScGI_WA) - Wissenschaftliches Arbeiten (MScGI) (gültig ab WS 2015/16) > Wissenschaftstheorie / Formale Logik
EWS Erziehungswissenschaftliches Studium für Lehramt Grundschule/ Mittelschule (LPO UA 2012), 5. Version gültig ab SS 2025 > 007 EWS-Wahlpflichtbereich (5LP) (LPO UA 2012) > PHI-0023 (=GsHsPTh-31-Phi 2) - Philosophie (gültig ab WS 2015/16) > Philosophie in den Gesellschaftswissenschaften (EwS) - GsHs-PTh-31-Phi2
EWS Erziehungswissenschaftliches Studium für Lehramt Grundschule/ Mittelschule (LPO UA 2012), 5. Version gültig ab SS 2025 > 006 EWS-Wahlpflichtbereich (3LP) (LPO UA 2012) > PHI-0022 (=GsHsPTh-31-Phi 1) - Philosophie (gültig ab WS 2015/16) > Philosophie in den Gesellschaftswissenschaften (EwS) - GsHs-PTh-31-Phi1
EWS Erziehungwissenschaftliches Studium im Lehramt an Grund- und Mittelschulen (LPO UA 2023), 1. Version gültig ab WS 2023/24 > 777 Erziehungswissenschaftliches Studium - Wahlpflichtbereich (LPO UA 2023): Bereich I Gesellschaftwissenschaften & Bereich II Theologie/Philosophie (3 LP) > PHI-0028 - Philosophie I (EwS) (gültig ab WS 2023/24) > Philosophie I (EwS)
Mathematik Bachelorstudiengang Mathematik, 23. Version gültig ab WS 2026/27 > Bachelor Mathematik N-Phil: Nebenfach Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2018, 17. Version gültig ab WS 2026/27 > Nebenfach Philosophie A > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2024), 2. Version gültig ab SS 2025 > Wahlfachmodul D1 - Studium Generale > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2024), 5. Version gültig ab WS 2026/27 > Wahlfachmodul D1 - Studium Generale > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Philosophie BA Philosophie Hauptfach 120 LP, 3. Version gültig ab SS 2017 > HPhil - Basismodule > PHI-0002 (=BacPhil 01-BM) - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2013, 22. Version gültig ab SS 2025 > Nebenfächer des B.Sc. Informatik - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2016), 18. Version gültig ab WS 2026/27 > Wahlfach- und Sprachenmodul 2016 - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Nebenfach Philosophie A > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
BA Wahlbereich Wahlpflichtbereich (1-Fach B.A. KuK/VL) (Nebenfach) Bachelor Wahlbereich Phil.-Hist., 17. Version gültig ab WS 2025/26 > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Philosophie (Nebenfach) Bachelor Philosophie Nebenfach 60 LP, 2. Version gültig ab SS 2016 > NPhil - Basismodule > PHI-0002 (=BacPhil 01-BM) - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Mathematik Bachelorstudiengang Mathematik, 21. Version gültig ab WS 2025/26 > Bachelor Mathematik N-Phil: Nebenfach Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Mathematik Bachelorstudiengang Mathematik, 20. Version gültig ab SS 2025 > Bachelor Mathematik N-Phil: Nebenfach Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2013, 23. Version gültig ab WS 2025/26 > Nebenfächer des B.Sc. Informatik - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2024), 1. Version gültig ab WS 2024/25 > Wahlfachmodul D1 - Studium Generale > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
BA Wahlbereich Wahlpflichtbereich (1-Fach B.A. KuK/VL) (Nebenfach) Bachelor Wahlbereich Phil.-Hist., 14. Version gültig ab SS 2024 > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Mathematik Bachelorstudiengang Mathematik, 19. Version gültig ab WS 2024/25 > Bachelor Mathematik N-Phil: Nebenfach Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Nebenfach Philosophie A > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2024), 3. Version gültig ab WS 2025/26 > Wahlfachmodul D1 - Studium Generale > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Nebenfach Philosophie A > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2016), 16. Version gültig ab WS 2025/26 > Wahlfach- und Sprachenmodul 2016 - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
BA Wahlbereich Wahlpflichtbereich (1-Fach B.A. KuK/VL) (Nebenfach) Bachelor Wahlbereich Phil.-Hist., 19. Version gültig ab WS 2026/27 > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik Bachelor Informatik, FPO 2026, 2. Version gültig ab WS 2026/27 > L1. Nebenfach Philosophie: Pflichtmodule > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
BA Wahlbereich Wahlpflichtbereich (1-Fach B.A. KuK/VL) (Nebenfach) Bachelor Wahlbereich Phil.-Hist., 16. Version gültig ab SS 2025 > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2013, 25. Version gültig ab WS 2026/27 > Nebenfächer des B.Sc. Informatik - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Informatik B.Sc. Informatik, PO 2013, 21. Version gültig ab WS 2024/25 > Nebenfächer des B.Sc. Informatik - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik
Sozialwissenschaften BA Sozialwissenschaften (PO 2016), 15. Version gültig ab SS 2024 > Wahlfach- und Sprachenmodul 2016 - Philosophie > PHI-0002 - Basismodul Methodik (gültig ab WS 2015/16) > Einführung in die formale Logik

Kommentar/Beschreibung

Die formale Logik ist seit Aristoteles ein elementarer Bestandteil der Philosophie und in ihrer Ende des 19. Jahrhunderts entstandenen modernen Ausprägung ebenso Grundlage von Mathematik und Informatik. Sie ist ein eine formal betriebene Wissenschaft reiner Strukturen und befasst sich in diesem Kontext als Metadisziplin mit Denk- und Folgerungsnotwendigkeiten. Damit leistet sie auch einen zentralen Beitrag zur Argumentationstheorie. In der „Einführung in die formale Logik“ liegt der Fokus auf drei Aspekten: (1) Logisch-semantische Propädeutik, (2) Aussagenlogik und (3) Prädikatenlogik.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "WS 2627 Zeitgesteuerte Anmeldung".

Folgende Regeln gelten für die Anmeldung:

Die Anmeldung ist möglich ab 01.09.2026, 00:00.

Übung: Einführung in die formale Logik - Details

Ohne Raum