Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden.
Veranstaltung ist aus dem Semester
SoSe 2020
, Aktuelles Semester: SoSe 2024
| |||||||||||
|
|||||||||||
SE Ontologie/Metaphysik: Weiterführende Logik Sprache: Deutsch Belegpflicht | |||||||||||
(Keine Nummer) Seminar SoSe 2020 2 SWS keine Übernahme | |||||||||||
Lehreinheit: | Philosophie | ||||||||||
Zugeordnete Lehrperson: | Ender | ||||||||||
|
|||||||||||
Termin: |
Dienstag
12:00
-
14:00
wöch.
Beginn : 21.04.2020 Ende : 14.07.2020 | ||||||||||
Kommentar: | Nach einer (kurzen) Rekapitulation der Prädikatenlogik erster Stufe (insbesondere Natürliches Schließen und Semantische Bäume), wird sich das Seminar Erweiterungen des logischen Apparates widmen, welche (zusammen genommen) erstmals die Analyse, Formalisierung und Überprüfung von Argumenten erlauben, die logisch sehr komplexe Aussagen wie beispielsweise die folgende enthalten: "Sokrates ist weise, und weise zu sein ist möglicherweise eine Tugend, die lobenswerter ist als manche Tugend, die jeder gute Philosoph haben muss." Im Einzelnen werden wir im Seminar behandeln: 1. Höherstufige Prädikatenlogik (Quantifizieren und Prädizieren über Eigenschaften und Relationen, einfache Typentheorie) 2. Logik der Gleichheit (Identität) 3. Modallogik (modelltheoretische Semantik, Semantische Bäume und Natürliches Schließen). |
||||||||||
Literatur: | Wird in der ersten Sitzung bekannt gegeben. |
||||||||||
Bemerkung: | B.A. LA GyGe: M5: SE Ontologie/Metaphysik |
||||||||||