Author

Ken Kubota

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).

Quick Links: Overviews • Publications • Projects • Online • Resources • Scientists • Mailing Lists • Websites • Politics

Systematic Overviews (direct links)

• Philosophy (update)
• Economics (German) (English)
• Mathematics
• Literature Recommendations for Students

Publications (selection, in reverse chronological order)

• The Dialectical Presentation of the General Notion of Capital in the Light of Hegel’s Philosophy. On the Logical Analysis of Political Economy with Special Consideration of Adorno and the Research Results of Rubin, Backhaus, Reichelt, Uno, and Sekine (2020, online, translation of German article from 2009)
• Philosophical Bibliography (2017, first online 2018, with attachments, print edition 2019, literature recommendations for students 2019, update)
• 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. Zur logischen Analyse der politischen Ökonomie unter besonderer Berücksichtigung Adornos und der Forschungsergebnisse von Rubin, Backhaus, Reichelt, Uno und Sekine (2009, first online 2018)

Non-scientific Publications

• 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)

Projects

• The Mathematical Logic R0 (a further development of the higher-order logic Q0 by Peter B. Andrews)

Online Contributions (selection, in reverse chronological order)

• Hegel and the Left: Hegel-Marx (dialectics, method), Hegel-Adorno (identity, non-identity), Oct. 2020.
• Thomas T. Sekine and Marx’s Approach (with announcement of The Dialectic of Capital), Oct. 2020.
• 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 structure of Sekine: The Dialectic of Capital [Sekine, 1986], Jun. 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.)
• Further Online Contributions

Scientific Internet Resources

Scientists

• Philosophy/Economics: Arndt, Backhaus, Berger, De Vos, Froeb, Hartmann († 1991), Hoff, Iber, Reichelt, Rohs, Schick, Schubert, Sekine, Stapelfeldt, Uno († 1977), Wagenknecht, Wirsing, Wolff, Žižek
• Mathematics: Andrews, Buzzard (article, Twitter), Coquand, Gordon († 2017), Harrison, Melham, O’Connor (blog, proof), Paulson, Pitts, Wiedijk
• Music: Metzger († 2009)
• Psychology: Mausfeld, Miller († 2010), Willi († 2019)

Mailing Lists

• Philosophy: Marxist philosophy, Hegel, Hegel-Gesellschaft, others
• Mathematics: HOL, Isabelle, Coq, Metamath, Lean

Websites

• Hegel: hegel.net (English), hegel-system.de (German), Reflexion in sich (German)
• Kôzô Uno: The Uno Newsletter
• The Stanford Encyclopedia of Philosophy (SEP)

Politics

• Personal homepage (German)

Ken Kubota
doi.org/10.4444/100