Exercises: Einführung in die formale Logik - Details

General information

Course name	Exercises: Einführung in die formale Logik
Course number	010
Semester	WS 2023/24
Current number of participants	36
Home institute	Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
participating institutes	Philosophie
Courses type	Exercises in category Teaching
First date	Thursday, 19.10.2023 11:45 - 13:15
Performance record	Prüfungsform/Scheinerwerb: entsprechend der jeweiligen Prüfungsordnung
Veranstaltung findet online statt / hat Remote-Bestandteile	Yes
Hauptunterrichtssprache	deutsch

Lecturers

• Dr.phil. Thomas Heichele

Rooms and times

No room preference

Thursday: 11:45 - 13:15, weekly

Fields of study

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

Module assignments

• Mathematik Bachelorstudiengang Mathematik, 17. Version (WS 2023/24) > Bachelor Mathematik N-Phil: Nebenfach Philosophie > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik
• 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
• Sozialwissenschaften BA Sozialwissenschaften (PO 2016), 14. Version (SS 2023 - WS 2023/24) > Wahlfach- und Sprachenmodul 2016 - Philosophie > PHI-0002 - 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
• BA Wahlbereich Wahlpflichtbereich (1-Fach B.A. KuK/VL) (Nebenfach) Bachelor Wahlbereich Phil.-Hist., 13. Version (WS 2023/24) > Wahlbereich Philosophie (Pflichtmodule) > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik
• Informatik B.Sc. Informatik, PO 2013, 19. Version (WS 2023/24) > Nebenfächer des B.Sc. Informatik - Philosophie > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik
• Informatik B.Sc. Informatik, PO 2018, 11. Version (WS 2023/24) > Nebenfach Philosophie A > PHI-0002 - Basismodul Methodik > Einführung in die formale Logik
• 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)
• 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 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

Comment/Description

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.
Literatur (Auswahl):
• 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 2007,
• 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, und
• ZOGLAUER, THOMAS (2008): Einführung in die formale Logik für Philosophen. 4., überarb. Aufl. Göttingen: Vandenhoeck & Ruprecht.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

The following rules apply for the admission:

• Admission locked.