Later Gödel on the Formalization of Mathematics: A Comment on Hanna’s “Rational Human Mindedness and The Hierarchy of Increasingly Rich Formal Systems.”

Dear Robert, I have noticed that in your paper “Rational Human Mindedness…”[i] you do not consider [later] Gödel’s argument that, while by his first incompleteness theorem it is “impossible to formalize all of mathematics in a single formal system,” nevertheless “everything mathematical is formalizable” (Gödel 1986–2002, I, 389). It is formalizable not in a single … [continue reading]

Philosophy at a Crossroads: Escaping from Irrelevance.

APP Editors’ Note: Carlo Cellucci is a professor emeritus of philosophy at the Sapienza University of Rome. You can read more about his work, HERE. This essay was previously published in Syzetesis 5 (2018), HERE. As professional academic philosophy goes down into the ash-heap of history, il faut cultiver notre jardin. Abstract: Although there have … [continue reading]