Dieses Seminar richtet sich an alle an Logik interessierten
Studierenden und insbesondere an jene, die ihre Logikkenntnisse aus
dem Basiskurs „Einführung in die Logik“ vertiefen und erweitern
möchten. Wir werden verschiedene logische Systeme kennenlernen, die
über die Aussagen- und Prädikatenlogik hinausgehen, um deren
Anwendung zur Lösung philosophischer Probleme sowie logische
Grundlagenfragen diskutieren zu können. Schwerpunkte liegen auf
logischen Analysen des Möglichkeitsbegriffs, des Zeitbegriffs, des
hypothetischen Schließens und auf dem rationalen Schlussfolgern
unter Unsicherheit.
Neben der
Beschäftigung mit Dreiwertiger Logik, Temporallogik, Modallogik,
Konditionallogik, konnexiver Logik
und Wahrscheinlichkeitslogik
widmen wir uns auch Formalisierungsfragen, die für logische
Begriffsanalysen essentiell sind. Zudem
streifen wir experimentalphilosophische Aspekte des schlussfolgernden
Denkens:
Dabei geht es um deskriptive Fragen, also
inwiefern Logik den
Strukturen des menschlichen Denkens entspricht.