Hauptseminar (SS 08):

Modallogik (S2)

Dr. P. Harrenstein, Priv.-Doz. Dr. M. Lange

Inhaltsverzeichnis dieser Seite

• Aktuelles
• Organisatorisches
• Inhalt
• Literatur
• Links

Aktuelles

• Das Seminar wird zeitlich und räumlich verlegt und wird Mittwochs jetzt von 16-18 (statt 14-16) im Raum Oet 1.13 stattfinden. Zur selben Zeit und im selben Raum wird auch das Seminar Geteiltes Wissen" stattfinden, welches sich mit sehr ähnlichen Themen beschäftigt. Eine erfolgreiche Teilnahme an dem Modallogik-Seminar setzt somit auch Anwesenheit bei den Vorträgen des anderen Seminars voraus.

Organisatorisches

	Zeit	Ort	Beginn
Vorlesung:	Mi 16-18	Oet 1.13

Zuordnung:

T

Vorkenntnisse:

Vordiplom

Hörerkreis:

Studierende der Informatik im Hauptstudium

Studierende mit Nebenfach Informatik

Schein:

Schein gilt für Diplomprüfung in Haupt- und Nebenfach Informatik

Scheinerwerb durch Ausarbeitung, Vortrag und Teilnahme

zurück zum Inhaltsverzeichnis dieser Seite

Inhalt

Modallogik bietet einen einfachen aber ausdrucksstarken logischen Rahmen mit einer großen Anzahl von Anwendungen in verschiedenen Bereichen, wie z.B. der Philosophie, Mathematik, Linguistik und nicht zuletzt der Informatik und der künstlichen Intelligenz. Ursprünglich wurde Modallogik konzipiert, um über Notwendigkeit und Möglichkeit zu argumentieren, z.B. um Fragen wie die folgende zu beantworten: Wenn A notwendigerweise der Fall ist, ist es dann auch notwendig, dass A notwendig ist?

Formal erweitet Modallogik die Aussagenlogik um die Operatoren □A ("A ist notwendig") und ◇A ("A ist möglich"). In den 50-ern wurde dann eine natürliche und einflussreiche Semantik für Modallogik von den Philosophen Kripke, Kanger und Hintikka vorgeschlagen, die auf relationalen Strukturen basiert. Seither (und auch daher) hat die Modallogik eine große Entwicklung erlebt. So kann man die Modallogik anwenden, um z.B. über zeitliche Abläufe (temporale Logik), über Programme (dynamische Logik), über Erkenntnis und Glauben (epistemische Logik) etc. zu argumentieren, aber auch um z.B. Wissen zu repräsentieren (Beschreibungslogiken).

Dieses Seminar behandelt die syntaktischen und semantischen Grundbegriffe der Modallogik sowie ihre logische Theorie. Daneben sollen die verschiedenen Anwendungen der Modallogik besprochen werden.

Material

• Die Folien von Paul Harrensteins Überblick in der Vorbesprechung sind als PDF erhältlich.
• Die Folien des ersten Vortrags, Einführung Modallogik, sind als PDF erhältlich.
• Für die Erstellung von Folien können wir das LaTeX Paket Beamer empfehlen. Die Anleitung dieses Pakets finden Sie hier. Beispiele von Vorträgen und sonstige hilfreiche Hinweise finden Sie hier.

Literatur

• P. Blackburn, M. de Rijke and Y. Venema. Modal Logic. Cambridge U.P., 2001.
• P. Blackburn, J.F.A.K. van Benthem and F. Wolter. Handbook of Modal Logic. North-Holland, 2006.
• B.F. Chellas. Modal Logic, an Introduction. Cambridge U.P., 1980.
• R. Goldblatt. Logics of Time and Computation (Second Edition). CSLI Publications, 1992.
• S. Popkorn. First Steps in Modal Logic. Cambridge U.P., 1994.

Links

• Eintrag "Modal Logic" in der Stanford Encyclopedia of Philosophy
• Eintrag "Modal Logic" in Wikipedia
• Eintrag "Propositional Dynamic Logic" in der Stanford Encyclopedia of Philosophy
• John McCarthy's Modal Logic Page

zurück zum Inhaltsverzeichnis dieser Seite