Digicampus
Übung: Einführung in die formale Logik - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.

Allgemeine Informationen

Veranstaltungsname Übung: Einführung in die formale Logik
Veranstaltungsnummer 009
Semester WS 2017/18
Aktuelle Anzahl der Teilnehmenden 19
Heimat-Einrichtung Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie
beteiligte Einrichtungen Philosophie
Veranstaltungstyp Übung in der Kategorie Lehre
Erster Termin Donnerstag, 19.10.2017 11:45 - 13:15, Ort: 2105 Geb. D (44 Pl.) [PhilSoz]
Leistungsnachweis Prüfungsform/Scheinerwerb: Klausur
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
Literaturhinweise Hoyningen-Huene, Paul: Formale Logik. Eine philosophische Einführung. Stuttgart 1998
Kneale, William / Kneale, Martha: The Development of Logic. Oxford 1978
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
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 22002
Weitere Literatur wird im Verlauf der Veranstaltung bekanntgegeben.
Sonstiges - Nebenfachmodul/Pool (Einzelnachweise durch Schein):
BacMath 710, BacInfo 835, MaMath 712

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

Kommentar/Beschreibung

Die (formale) Logik ist ein elementarer Bestandteil der Philosophie und hat in einer ersten Näherung die Klärung des korrekten Denkens zur Aufgabe, womit sie auch einen zentralen Beitrag zur Argumentationstheorie leistet. In der „Einführung in die formale Logik“ stehen die systematische Untersuchung der Form von Schlüssen bzw. Argumenten sowie, als Bedingung hierfür, die Arbeit mit den logisch-semantischen Voraussetzungen im Vordergrund. Ein wesentliches Ziel ist, gültige Schlüsse bzw. schlüssige Argumente von ungültigen bzw. nicht schlüssigen zu unterscheiden, wobei zu diesem Zweck mit abstrakten Symbolen gearbeitet wird.

Der Kern der „Einführung in die formale Logik“ besteht aus:
(A) Logisch-semantische Propädeutik
(B) Aussagenlogik
(C) Prädikatenlogik

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "WS 2017/18".
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist möglich von 01.08.2017, 00:00 bis 18.10.2017, 06:59.