Exercises: Einführung in die formale Logik - Details

General information

Course name	Exercises: Einführung in die formale Logik
Course number	013
Semester	WS 2024/25
Current number of participants	21
Home institute	Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
participating institutes	Philosophie
Courses type	Exercises in category Teaching
Next date	Friday, 18.10.2024 10:00 - 11:30, Room: 2105 Geb. D (44 Pl.) [PhilSoz]
Performance record	Prüfungsform/Scheinerwerb: entsprechend der jeweiligen Prüfungsordnung
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Yes
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

Lecturers

• PD Dr. Ludwig Neidhart

Rooms and times

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

Friday: 10:00 - 11:30, weekly (14x)

Fields of study

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

Module assignments

• EWS Erziehungswissenschaftliches Studium für Lehramt Grundschule/ Mittelschule (LPO UA 2012), 4. Version valid from SS 2019 > 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 valid from SS 2019 > 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 valid from WS 2022/23 > MScGI_Module > GEO-5146 (=MScGI_WA) - Wissenschaftliches Arbeiten (MScGI) > Wissenschaftstheorie / Formale Logik
• EWS Erziehungwissenschaftliches Studium im Lehramt an Grund- und Mittelschulen (LPO UA 2023), 1. Version valid from 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 Erziehungwissenschaftliches Studium im Lehramt an Grund- und Mittelschulen (LPO UA 2023), 1. Version valid from 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)
• Philosophie BA Philosophie Hauptfach 120 LP, 3. Version valid from 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 valid from SS 2016 > NPhil - Basismodule > PHI-0002 (=BacPhil 01-BM) - Basismodul Methodik > Einführung in die formale Logik
• Sozialwissenschaften BA Sozialwissenschaften (PO 2024), 1. Version valid from 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 valid from SS 2024 > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik
• Mathematik Bachelorstudiengang Mathematik, 19. Version valid from 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 valid from 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 valid from WS 2024/25 > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik
• Informatik B.Sc. Informatik, PO 2013, 21. Version valid from 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 valid from SS 2024 > Wahlfach- und Sprachenmodul 2016 - Philosophie > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik

Comment/Description

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