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

Allgemeine Informationen

Veranstaltungsname	Übung: Einführung in die formale Logik
Veranstaltungsnummer	013
Semester	WS 2024/25
Aktuelle Anzahl der Teilnehmenden	25
Heimat-Einrichtung	Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
beteiligte Einrichtungen	Philosophie
Veranstaltungstyp	Übung in der Kategorie Lehre
Nächster Termin	Freitag, 10.01.2025 10:00 - 11:30, Ort: 2105 Geb. D (44 Pl.) [PhilSoz]
Leistungsnachweis	Prüfungsform/Scheinerwerb: entsprechend der jeweiligen Prüfungsordnung
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch
Literaturhinweise	Copi, Irving: Einführung in die Logik. München 1998 Gerster, Hans-Dieter: Aussagenlogik, Mengen, Relationen. Hildesheim 1998 Hoyningen-Huene, Paul: Formale Logik. Eine philosophische Einführung. Stuttgart 1998 Kneale, William / Kneale, Martha: The Development of Logic. Oxford 1978 Lightstone, A.H., Mathematical Logic, New York , 1978 Löffler, Winfried, Einführung in die Logik, Stuttgart 2008 Mates, Benson: Elementare Logik. Prädikatenlogik der ersten Stufe. Göttingen 21978. Unveränd. Nachdr. 1997 Rosenkranz, Sven: Einführung in die Logik. Stuttgart-Weimar 2006 Oberschelp, Arnold, Logik für Philosophen, 2. Aufl. Stuttgart 1997 Spies, Marcus: Einführung in die Logik. Heidelberg-Berlin 2004 Strobach, Niko: Einführung in die Logik. Darmstadt 2005 Tetens, Holm: Philosophisches Argumentieren. Eine Einführung. München 2004 Tugendhat, Ernst / Wolf, Ursula: Logisch-semantische Propädeutik. Stuttgart 1997 Zoglauer, Thomas: Einführung in die formale Logik für Philosophen. Göttingen 2002 Neidhart, Ludwig: Einführung in die formale Logik, Neukirchen-Seelscheid: Editiones Scholasticae, 2020

Lehrende

• PD Dr. Ludwig Neidhart

Räume und Zeiten

2105 Geb. D (44 Pl.) [PhilSoz]

Freitag: 10:00 - 11:30, wöchentlich (14x)

Studienbereiche

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

Modulzuordnungen

• Philosophie BA Philosophie Hauptfach 120 LP, 3. Version gültig ab SS 2017 > HPhil - Basismodule > PHI-0002 (=BacPhil 01-BM) - Basismodul Methodik > 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 > 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 > 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 > 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 > 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 > Einführung in die formale Logik
• BA Wahlbereich Wahlpflichtbereich (1-Fach B.A. KuK/VL) (Nebenfach) Bachelor Wahlbereich Phil.-Hist., 15. Version (WS 2024/25) > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik > 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 > 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 > Einführung in die formale Logik
• 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) > Philosophie I (EwS)
• 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) > Philosophie II (EwS)
• EWS Erziehungswissenschaftliches Studium für Lehramt Grundschule/ Mittelschule (LPO UA 2012), 4. Version (SS 2019 - WS 2024/25) > 006 EWS-Wahlpflichtbereich (3LP) (LPO UA 2012) > PHI-0022 (=GsHsPTh-31-Phi 1) - Philosophie in den Gesellschaftswissenschaften (EwS) - GsHs-PTh-31-Phi1 > Philosophie in den Gesellschaftswissenschaften (EwS) - GsHs-PTh-31-Phi1
• EWS Erziehungswissenschaftliches Studium für Lehramt Grundschule/ Mittelschule (LPO UA 2012), 4. Version (SS 2019 - WS 2024/25) > 007 EWS-Wahlpflichtbereich (5LP) (LPO UA 2012) > PHI-0023 (=GsHsPTh-31-Phi 2) - Philosophie in den Gesellschaftswissenschaften (EwS) - GsHs-PTh-31-Phi2 > Philosophie in den Gesellschaftswissenschaften (EwS) - GsHs-PTh-31-Phi2
• Geoinformatik Master Geoinformatik, 4. Version gültig ab WS 2022/23 > MScGI_Module > GEO-5146 (=MScGI_WA) - Wissenschaftliches Arbeiten (MScGI) > Wissenschaftstheorie / Formale Logik

Kommentar/Beschreibung

Logik beschäftigt sich mit den spezifischen Gesetzmäßigkeiten des folgerichtigen Denkens. Formale Logik erarbeitet diese Gesetzmäßigkeiten, indem sie die allgemeinen Strukturen des richtigen Denkens betrachtet. Zu diesem Zweck ordnet formale Logik den im Denken unterscheidbaren Inhalte sowie den Beziehungen zwischen diesen Inhalten abstrakte Symbole zu. Das führt zu einem mathematisch-technischen Erscheinungsbild der formalen Logik und lässt Befürchtungen aufkommen, es handle sich dabei um ein rein mechanisches, dem Denken fernes Instrument. Aber: Gegenstand und Ziel auch der formalen Logik ist und bleibt das konkrete richtige Denken. Die Formalisierung ist tatsächlich nur ein Instrument, das wir zu dem Zweck verwenden, die Strukturen dieses Denkens zu erkennen. – Behandelt werden insbesondere die Themenbereiche:
1. Logisch-semantische Propädeutik
2. klassische Syllogistik
3. Aussagenlogik
4. Prädikatenlogik der ersten Stufe