UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Veranstaltungskalender

 
 
Vorlesungsverzeichnis >> Fakultät Geistes- und Kulturwissenschaften >> Institut für Klassische Philologie und Philosophie >>

  Universelle Logik & Universelles Schließen [Import]

Dozentinnen/Dozenten
Prof. Dr. Christoph Benzmüller, Dr. Andrea Vestrucci, David Fuenmayor, Daniel Kirchner

Angaben
Vorlesung
Rein Präsenz
2 SWS, Vorlesung: 2 SWS Übung: 2 SWS Prüfung : Klausur
Zeit und Ort: Mi 14:00 - 16:00, WE5/04.004

Voraussetzungen / Organisatorisches
BA-Studiengang: Vertiefungsmodul 2 MA-Studiengang: Freie Spezialisierung 1+2

Inhalt
Knowledge representation and reasoning applications in computer science, AI, philosophy and math typically employ very different logic formalisms. Instead of a single logic that serves it all (as envisioned already by Leibniz) an entire logic zoo has been developed, in particular, during the last century. Logics in this zoo, e.g., include modal logics, conditional logics, deontic logics, multi-valued logics, temporal logics, dynamic logics, hybrid logics, etc. In this lecture course I will introduce, discuss and demonstrate a recent attempt at a meta logical approach to universal logical reasoning that addresses this logical pluralism. The core message is this: While it might not be possible to come up with a universal object logic as envisioned by Leibniz, it might in fact be possible to have a universal meta logic in which we can semantically model, analyze and apply various species from the logic zoo. I will argue and demonstrate that classical higher order logic (HOL) is particularly suited to serve as such a universal meta logic, and that existing reasoning tools for HOL can fruitfully be reused and applied in this context.
The lecture course will introduce HOL and the SSE technique, provide some hands-on introduction to Isabelle/HOL, study and demonstrate some concrete semantical embeddings of non-classical in HOL, and conduct practical exercises regarding the application of the SSE technique in philosophy, mathematics and artificial intelligence, including, normative reasoning and machine ethics. As far as time permits, the course will also explain and train the application of the LogiKEy methodology for designing normative theories of ethical and legal reasoning.

Englischsprachige Informationen:
Title:
Universal Logic & Universal Reasoning

Credits: 3

Institution: Lehrstuhl für Philosophie II

Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:

Link zur eigenständigen Verwendung

Link zur Verwendung in Typo3

UnivIS ist ein Produkt der Config eG, Buckenhof