Aktuelle Seite:
Übung: 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 Weiterführende Hilfe
Sie sind nicht angemeldet.

Einführung in die formale Logik

Allgemeine Informationen

Veranstaltungsnummer 016
Semester WS 2018/19
Heimat-Einrichtung Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
beteiligte Einrichtungen Philosophie
Veranstaltungstyp Übung in der Kategorie Lehre
Erster Termin Fr , 19.10.2018 10:00 - 11:30, Ort: 2110 Gebäude D
Leistungsnachweis 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
Sonstiges - Nebenfachmodul/Pool (Einzelnachweise durch Schein):
BacMath 710, BacInfo 835, MaMath 712

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

Lehrende

Zeiten

Freitag: 10:00 - 11:30, wöchentlich (ab 19.10.2018)

Veranstaltungsort

2110 Gebäude D

Studienbereiche

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

Teilnehmerzahlen

Aktuelle Anzahl der Teilnehmenden 42