[Important information on the Coronavirus.]
is a philosopher currently focusing on theoretical philosophy. One of his research interests is formal logic and the foundations of mathematics. He is the creator of the logic R0, a further development of Andrews’ logic Q0.
In his spare time he managed his friend, the writer Edgar Hilsenrath († 2018), well-known in particular for the novel The Nazi and The Barber (Der Nazi & der Friseur); for a personal impression please watch the video about his novel Fuck America. He remains to be responsible for Edgar Hilsenrath’s work after the author passed away in December 2018.
For other activities, please visit Ken’s personal homepage (in German).
Systematic Overviews (direct links)
Publications (selection, in reverse chronological order)
- Philosophical Bibliography (2017, first online 2018, with attachments, print edition 2019, literature recommendations for students 2019)
- The R0 Software Implementation (2017; R0 Logic, FAQ)
- Mathematical Formulae (2017, both print and online; R0 Logic, FAQ)
- Foundations of Mathematics. Genealogy and Overview (first online 2016, update)
- Die dialektische Darstellung des allgemeinen Begriffs des Kapitals im Lichte der Philosophie Hegels (2009, first online 2018)
- Zum Leben und Werk von Edgar Hilsenrath. Nachruf anlässlich seines Todes am 30. Dezember 2018 (2018, obituary also available as automated English and French translation)
- The Mathematical Logic R0 (a further development of the higher-order logic Q0 by Peter B. Andrews)
Online Contributions (selection, in reverse chronological order)
- Representing type dependencies in Isabelle/HOL and in dependent type theory, Jul. 2020.
- Homology between Hegel’s Logic and Marx’s Capital, Jul. 2020.
- Type abstraction, Sep. 2018.
- The two characteristics of an antinomy: self-reference and negation, Jun. 2018. (Other mailing lists: HOL and Metamath.)
- Binding the type variable in the Axiom of Choice, Mar. 2018. (Other mailing lists: HOL.)
- The structure of Sekine: The Dialectic of Capital [Sekine, 1986], Jun. 2018.
- Further Online Contributions
Scientific Internet Resources
- Hegel: hegel.net (English), hegel-system.de (German), Reflexion in sich (German)
- Kôzô Uno: The Uno Newsletter
- The Stanford Encyclopedia of Philosophy (SEP)
- Philosophy/Economics: Arndt, Backhaus, De Vos, Froeb, Hartmann († 1991), Hoff, Iber, Reichelt, Rohs, Schick, Schubert, Sekine, Uno († 1977), Wagenknecht, Wirsing, Wolff
- Mathematics: Andrews, Coquand, Gordon († 2017), Harrison, Melham, Paulson, Pitts, Wiedijk
- Personal homepage (German)