VL	Titel der Veranstaltung Grundlagen der traditionellen und modernen Logik
Leitung Prof. Dr. E. Brendel		Ort P5	Beginn 29.10.	Wochentag Di	Zeit 11-13
Gegenstand der Veranstaltung Gegenstand dieser Vorlesung ist die Entwicklung der philosophischen Logik in historischer und systematischer Hinsicht. Nach einer Einführung in die traditionelle Logik, die ihren Ursprung in der Aristotelischen Syllogistik besitzt, wird zunächst die auf Frege zurückgehende moderne Auffassung von Logik als widerspruchsfreiem und vollständigem System des gültigen Schließens behandelt. Neben der Darstellung der klassischen Aussagen- und Prädikatenlogik werden auch die wichtigsten nicht-klassischen Logiksysteme und deren philosophische Anwendungen diskutiert. Insbesondere wird hierbei die Modallogik und ihre Implikationen für ontologische und metaphysische Fragen hinsichtlich der Begriffe der Notwendigkeit, der Existenz und der möglichen Welt erörtert. Des weiteren wird die intuitionistische Logik diskutiert, die den zweiwertigen Wahrheitsbegriff durch einen Beweisbarkeitsbegriff ersetzt und daher bestimmten Formen des Konstruktivismus und Antirealismus Rechnung zu tragen versucht. Abschließend werden Systeme der sogenannten Parakonsistenzlogik behandelt, in welchen sogar – im radikalen Unterschied zu allen klassischen Systemen der Logik – Widersprüche toleriert werden.
Die Veranstaltung ist geeignet für Hörerinnen ohne Vorkenntnisse mit Grundkenntnissen in Philosophie im Grundstudium mit Vorkenntnissen bez. der Thematik im Hauptstudium mit fundierten Vorkenntnissen
Artikel/Literatur zur Einführung Essler/Martinez/Labude: Grundzüge der Logik Bd. I : Das logische Schließen, Frankfurt am Main 2001 (5. Aufl.) Essler/Brendel: Grundzüge der Logik Bd. II: Klassen, Relationen, Zahlen, Frankfurt am Main 1993 (4. Aufl.) Stelzner/Stöckler (Hrsg.): Zwischen traditioneller und moderner Logik, Paderborn 2001. R. Stuhlmann-Laeisz: Philosophische Logik, Paderborn 2002. M. Bremer: Wahre Widersprüche: Einführung in die parakonsistente Logik, Sankt Augustin 1998.