Seminar: 4.03.3301 Nicht-klassische Logik - Details

Seminar: 4.03.3301 Nicht-klassische Logik - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Seminar: 4.03.3301 Nicht-klassische Logik
Untertitel
Veranstaltungsnummer 4.03.3301
Semester WiSe22/23
Aktuelle Anzahl der Teilnehmenden 26
erwartete Teilnehmendenanzahl 30
Heimat-Einrichtung Institut für Philosophie
Veranstaltungstyp Seminar in der Kategorie Lehre
Erster Termin Freitag, 28.10.2022 14:15 - 15:45, Ort: V03 2-A215
Art/Form Seminar
Voraussetzungen Für die Teilnahme werden fundierte Kenntnisse in der Aussagen- und Grundkenntnisse der Prädikatenlogik vorausgesetzt.
Leistungsnachweis Leistungsnachweise können ausschließlich (!) durch Referate erworben werden.
Lehrsprache deutsch und englisch

Räume und Zeiten

V03 2-A215
Freitag: 14:15 - 15:45, wöchentlich (12x)

Modulzuordnungen

Kommentar/Beschreibung

Auf die Inhalte der Logik-Vorlesung aufbauend wird in diesem Seminar ein alternatives formales System / Beweisverfahren, Tableau-Kalküle, am Beispiel der klassischen Aussagen- und Prädikatenlogik eingeführt. Auf dieser Grundlage werden dann schrittweise Erweiterungen der Kalküle zu unterschiedlichen Modallogiken und – abhängig vom Lernfortschritt im Seminar – gegebenenfalls auch weiteren nicht-klassischen Logiken (mehrwertige (Modal-)Logiken, Fuzzy-Logic, Logiken mit Wahrheitswertlücken, …) vorgenommen.

Auch wenn im Seminar die technische Seite im Vordergrund steht und den Studierenden ein kompetenter und souveräner Umgang mit formalen Verfahren vermittelt werden soll, werden im Rahmen der Diskussion von Anwendungsfällen und Übungen auch die philosophischen Hintergründe und Konsequenzen der behandelten Systeme erörtert.

Textgrundlage für das Seminar ist Graham Priests *An Introduction to Non-
Classical Logic. From If to Is* in der zweiten, überarbeiteten Auflage von 2008.

Literatur:
Graham Priest: *An Introduction to Non-Classical Logik. From If to Is*, 2. Auflage, Cambridge University Press. Bitte beachten: Die nur noch antiquarisch erhältliche deutsche Übersetzung aus dem Mentis-Verlag basiert auf der ersten Auflage und ist für das Seminar nicht geeignet.

Weitere Texte werden im Laufe des Semesters digital zur Verfügung gestellt.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.