Current page:
Exercises: Einführung in die formale Logik - Details

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • link-extern Further help
You are not logged in.

Einführung in die formale Logik

General information

Course number 016
Semester WS 2018/19
Home institute Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
participating institutes Philosophie
Courses type Exercises in category Teaching
First appointment Fri , 19.10.2018 10:00 - 11:30, Room: 2110 Gebäude D
Performance record Prüfungsform/Scheinerwerb: entsprechend der jeweiligen Prüfungsordnung
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
Miscellanea - Nebenfachmodul/Pool (Einzelnachweise durch Schein):
BacMath 710, BacInfo 835, MaMath 712

- Weitere Zuordnungen:
D Phy, D Info, D Math, EF Philosophie/Ethik

Lecturers

Times

Friday: 10:00 - 11:30, weekly (from 19/10/18)

Course location

2110 Gebäude D

Fields of study

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

attendance

Current number of participants 42