Proseminar: Nichtklassische Logiken

Dozenten: Prof. Johannes Köbler und Olaf Beyersdorff

Termin:	`PS Do 13-15 (RUD 25, 4.111) J. Köbler / O. Beyersdorff`

Zuordnung:	Grundstudium, Proseminar

Am 19.12.02 findet das Seminar nicht statt.

Inhalte und Lernziele

Nichtklassische Logiken (als Gegenstück zu der in der VL Theoretische Informatik I betrachteten klassischen Aussagen- und Prädikatenlogik) finden wegen ihrer Ausdrucksstärke in vielen Gebieten der Informatik Anwendung. Im Proseminar werden verschiedene Ansätze nichtklassischer Aussagenlogik einführend besprochen.
Themen des Seminars: Modallogik, mehrwertige Logik, Relevanzlogik, Fuzzy-Logik u.a.

Themen

Klassische Aussagenlogik und die Tableaux- Methode
Modale Logik
Normale Modale Logik
Nicht normale Welten
Konditionale und ihre aussagenlogische Repräsentation
Konditionale Logik
Intuitionistische Logik
Mehrwertige Logik
Relevanzlogik
Fuzzy Logik

Vortragstermine

17.10.	Themenvorstellung

7.11.	Klassische Aussagenlogik und die Tableaux- Methode (1.1-1.5 und 1.11-1.14)	Olaf Beyersdorff
14.11.	Modale Logik (Kap. 2 und Blackburn)	Hagen Möbius	(Beyersdorff)
21.11.	Normale Modale Logik (Kap. 3 und Blackburn)	Peter Adolphs	(Beyersdorff)
28.11.	Nicht normale Welten (4.1-4.4 und Blackburn)	Uwe Lorenz	(Beyersdorff )
5.12.	Konditionale und ihre aussagenlogische Repräsentation (1.7-1.10 und 4.5 - 4.9)	Uwe Leonhardt	(Beyersdorff)
12.12.	Konditionale Logik (Kap. 5)
19.12.	Intuitionistische Logik (Kap. 6)	Dieter König	(Köbler)
9.1.	Mehrwertige Logik (Kap. 7, Malinowski, Gottwald, Bolc)	Christian Rothe	(Beyersdorff)
16.1.	Weitere mehrwertige Logiken (Malinowski, Gottwald, Bolc)	Robert Göttsch	(Beyersdorff)
23.1.	First Degree Entailment FDE (Kap. 8)
30.1.	Relevanzlogik (Kap. 9)	Thomas Wessendorf	(Köbler)
6.2.	Relevanzlogik (Kap. 10)
13.2.	Fuzzy Logic (Kap. 11)	Alexander Platonow	(Köbler)
20.2.	Multi- Agenten- Systeme (Fagin)	Aram Altschudjian	(Beyersdorff)

Die Kapitelangaben beziehen sich auf das Buch von G. Priest.

Empfohlene Literatur

Das Seminar orientiert sich hauptsächlich an dem Lehrbuch "An Introduction to Non-Classical Logic" von Graham Priest.

P. Blackburn, M. de Rijke, Y. Venema, Modal Logic, Cambridge University Press, 2001.
L. Bolc, P. Borowik: Many valued Logics 1, Springer, 1992.
R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning about Knowledge, MIT Press,1996.
S. Gottwald, Mehrwertige Logik, Akademie Verlag, Berlin, 1989.
D. Harel, D. Kozen, J. Tiuryn, Dynamic Logic, MIT Press, 2000.
G. Malinowski, Many-Valued Logics, Oxford, 1993.
G.Priest, An Introduction to Non-Classical Logic,Cambridge University Press, 2001.
W. Rautenberg, Klassische und nichtklassische Aussagenlogik, Vieweg, 1979.
W. Rautenberg, Einführung in die Mathematische Logik, Vieweg, 2.Aufl, 2002.