Dr. J. Wolfgang Degen

Member of Research Staff at the Department of Computer Science 1 of the University of Erlangen-Nürnberg, Germany.

How to contact me...

At Informatik 1:

+49 9131 85 27927

+49 9131 8528781

degen@informatik.uni-erlangen.de

Martensstraße 3 · D-91058 Erlangen · Germany

Room 06.132

Research interests:

• Mathematical Logic, in particular Axiomatic Set Theory, Model Theory and Proof Theory.
• Theoretical Computer Science, in particular Automata Theory, Complexity Theory and Program Logics.
• Philosophy, in particular Ancient Philosophy, Philosophy of German Idealism, Analytic philosophy, Formal Ontology and Metaphysics.
• Medieval Logic

Some work in progress:

• Sceptical Reflections about Ontology --- towards Anti-Ontology (pdf).