-
16Wittgenstein, Turing, and the Intelligence of GamesPhilosophies 11 (1): 10. 2026.One of Wittgenstein’s most quoted passages from his Remarks on the Philosophy of Psychology concerns Turing’s “machines” and says verbatim: “These machines are humans who calculate. And one might express what he [Turing] says also in the form of games.” This passage not only captures the kernel of Turing’s conceptual argument for the adequacy of his definition of “computability”, as presented in his article On Computable Numbers (1936), but also helps clarify Turing’s idea of “mechanical intelli…Read more
-
12Tetsugaku Companion to Modern Physics and Kyoto School PhilosophySpringer Nature Switzerland. 2026.This volume draws attention to the encounter between physics and Japanese philosophy during the last century. While a remarkable global network of Japanese philosophy has been growing and enhancing connections with the arts, religion, hermeneutics, aesthetics, the prevailing opinion is that there is no common ground for a meaningful dialogue between theoretical physics and Japanese philosophy. With a special focus on Nishida Kitarō's engagement with scientific thought, this book invites readers …Read more
-
45Quantum Monadology: Glimmers of a Metaphysics of Universal HarmonyDiogenes 65 (3): 324-340. 2024.Despite its extraordinary predictive power, quantum mechanics has been hailed as a paradoxical, self-contradictory theory of nature. How does it question the intelligibility of physical worldview? The wave-particle dualism, the incompatibility of physical quantities, the complementarity between the space-time description and the causal description of phenomena question key-notions of the traditional metaphysics, such as substance and cause, but they also call attention to the vital dialectical c…Read more
-
120A Philosophical Path from Königsberg to Kyoto: The Science of the Infinite and the Philosophy of NothingnessSophia 60 (4): 851-868. 2020.‘Mathematics is the science of the infinite, its goal the symbolic comprehension of the infinite with human, that is finite, means.’ Along this line, in The Open World, Hermann Weyl contrasted the desire to make the infinite accessible through finite processes, which underlies any theoretical investigation of reality, with the intuitive feeling for the infinite ‘peculiar to the Orient,’ which remains ‘indifferent to the concrete manifold of reality.’ But a critical analysis may acknowledge a val…Read more
-
79Ways of AbstractionCulture and Dialogue 4 (1): 83-112. 2016.The invention of “artificial perspective” revealed the ideal character of Euclidean geometry already in the Renaissance Europe of the fifteenth century. To the extent to which it made painting a “science” relying on mathematical rules, it made mathematics an “art” independent of the “geometry of nature.” It was the artistic vision emerging from perspective drawing that paved the way for scientific abstraction. However, it was only in the nineteenth century that the discovery of non-Euclidean geo…Read more
-
20Any thorough discussion of computing machines requires the examination of rigorous concepts of computation and is facilitated by the distinction between mathematical, symbolic and physical computations. The delicate connection between the three kinds of computations and the underlying questions, "What are machines?" and "When are they computing?", motivate an extensive theoretical and historical discussion. The relevant outcome of this..
-
55Deduction, Computation, Experiment: Exploring the Effectiveness of Proof (edited book)Springer. 2008.The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.
-
355Machines, logic and quantum physicsBulletin of Symbolic Logic 6 (3): 265-283. 2000.§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, and then tested by experiment, and this requires it to be expressed in a language appropriate for making precise, empirically testable predictions. That language is mathematics.This in turn constitutes a statement about what the physical world must be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is writt…Read more
-
156Hilbert's Axiomatics as ‘Symbolic Form’?Perspectives on Science 22 (1): 1-34. 2014.Both Hilbert's axiomatics and Cassirer's philosophy of symbolic forms have their roots in Leibniz's idea of a 'universal characteristic,' and grow on Hertz's 'principles of mechanics,' and Dedekind's 'foundations of arithmetic'. As Cassirer recalls in the introduction to his Philosophy of Symbolic Forms, it was the discovery of the analysis of infinity that led Leibniz to focus on "the universal problem inherent in the function of symbolism, and to raise his 'universal characteristic' to a truly…Read more
Bologna, Emilia-Romagna, Italy
Areas of Specialization
| Metaphysics and Epistemology |
| Science, Logic, and Mathematics |
| Philosophical Traditions |