Central  Views:

Logic: contextually applied classical and non-classical logics, but one universal framework (adaptive logical universalism); minimal dialetheism (in semantics)

Formal Ontology: set theoretical fictionalism, accepting ZFC as standard; modal ersatzism and language dependent modalities

Metaphysics: structural realism and further on: metaphysical agnosticism; language dependent ontologies (e.g. as modelling proposals put forth by reflection on science and languages)

Semantics: Conceptual Atomism (disquotational semantics) coupled with (not meaning constitutive) justification rules of concept application, and conceptual link postulates yielding analytic sentences

cf. True Contradictions for the Sober Minded

cf. Believing and Asserting Contradictions, Logique et Analyse, 2007

cf. The Inexpressibility of Gaps in Ordinary Language

cf. Conceptual Atomism

cf. How are Semantic Metarepresentations Built and Processed? Kriterion, 26 (2012).

cf. Meaning and Justification

Computation

Beyond the Turing Limit?

Landin's Thesis and the Issue of 'Syntactic Sugar'

What is an Algorithm?

'Oscar Reloaded' (zip-file), a collection of Java classes with a partial implementation or illustration of John Pollock's Cognitive Carpentry project.

How to Understand 'Superhuman Intelligence' in the Debate about AI?

Constructing Possible Worlds Algorithmically

Information and Information Flow. An Introduction (Frankfurt a.M., 2004, Download), co-author Daniel Cohnitz

Do Logical Truths Carry Information? Mind and Machines, 2003 

Information Flow in Distributed Systems (Slides)

vgl. Lexikalisches Wissen und Atomismus der Begriffe (Folien)

vgl. Chomskys Minimalistisches Programm (Folien)

vgl. Der Sinn des Lebens. Ein Beitrag zur Analytischen Religionsphilosophie (Frankfurt a.M., 2001): Zusammenfassung

Hinsichten in denen Logik für Philosophie relevant ist

Die Familie der nicht-deduktiven Schlüsse

Ist Verneinen Behaupten des Gegenteils? (Folien)

Negative Freie Logik

Für-möglich-Halten (Folien)

Parakonsistente Logiken

Automatisches Beweisen für die parakonsistente Logik LP (in Prolog)

Possibilia: notwendig, möglich - oder überflüssig, Metaphysica, 2000.

Epistemische Logik und die Frage, ob man wissen kann, dass man nicht weiß (Folien)

Semantische Geschlossenheit

Die Standard Deontische Logik

'Die Welt ist die Gesamtheit der Tatsachen, nicht der Dinge', Grazer Philosophische Studien, 1999.

Das Unendlichkeitsaxiom und Cantors 'Prinzip der Domäne'

 Tierisches Bewusstsein, Anthropomorphismus und Heterophänomenologie, Philosophisches Jahrbuch, 2006

Tierisches Bewusstsein als Testfall für die Kognitionswissenschaften, Bewusstsein: Interdisziplinäre Perspektiven, München, 2005

Methodologische Überlegungen zu tierischen Überzeugungen, Zeitschrift für allgemeine Wissenschaftstheorie, 2007

Wahrheit im Internen Realismus, Philosophisches Jahrbuch, 2000

Erläuterungen 'Einfachheit' und  'Kohärenz'

Was können wir vom Unendlichen erkennen?

"Es fehlt die Institution des Endes". Wittgensteinscher Finitismus und Fiktionalismus

Was will Hegels Dialektik?

Eine partielle Formalisierung von Chisholms de se Theorie des Selbstbewusstseins

Richard Hönigswalds Transzendentale Sprachphilosophie, Aufklärung und Kritik, 2001, & Richard Hönigswald über die Unhintergehbarkeit der Sprache, Aufklärung und Kritik, 2011

Eine Notiz zu den Argumentationsstrukturen in der "Widerlegung des Idealismus", Kant-Studien, 2001

Sartres Grundlegung einer Theorie des Selbstbewusstseins

Erläuterungen zu Kants Religionsphilosophie

Teilen Russell und Whitehead eine Philosophie der Mathematik?, Whitehead Studien 8 (2023)

Anti-psychologistische Konzeptionen der Logik als Beginn der Analytischen Philosophie

Ist die Transzendentalpragmatik letztbegründet oder holistisch?, Zeitschrift für allgemeine Wissenschaftstheorie, 1995

CV

Promotion: 1993, Universität Köln

Habilitation: 2001, Universität Düsseldorf