Although implementation is ubiquitous in computer science, there is no systematic philosophical analysis of its metaphysical structure. In this article, I argue that the conceptual resources of analytical metaphysics can be very helpful in laying the foundations for a metaphysics of implementation and, by extension, of computer science. More specifically, I hold that implementation is a form of metaphysical grounding, and I show that, by combining the properties of grounding with the specific constraints of computer science, one can clarify what (...) a metaphysics of computer science could look like. In sections 2 and 3 of the article, I discuss various meanings of implementation, while in section 4, I submit my central claim that implementation is a form of metaphysical grounding. I substantiate this claim by showing that implementation and grounding share the same formal properties. If this is correct, then issues of ontological dependence, metaphysical explanation, hyperintensionality, and foundedness, typically associated with grounding, can be re-formulated in computer science using the concept of implementation. This is what I do in sections 5.1-5.4. I conclude with some general remarks about the future development of computer science's metaphysics. (shrink)

It is often claimed that epistemic bubbles and echo chambers foster post-truth by filtering our access to information and manipulating our epistemic attitude. In this paper, I try to add a further level of analysis by adding the issue of belief formation. Building on cognitive psychology work, I argue for a dual-system theory according to which beliefs derive from a default system and a critical system. One produces beliefs in a quasi-automatic, effortless way, the other in a slow, effortful way. (...) I also argue that digital socio-epistemic environments tend to inculcate disvalues in their agent's epistemic identity, a process that causes the cognitive shortcircuits typical of conspiracy theories. (shrink)

The Kolmogorov-Sinai entropy is a fairly exotic mathematical concept which has recently aroused some interest on the philosophers’ part. The most salient trait of this concept is its working as a junction between such diverse ambits as statistical mechanics, information theory and algorithm theory. In this paper I argue that, in order to understand this very special feature of the Kolmogorov-Sinai entropy, is essential to reconstruct its genealogy. Somewhat surprisingly, this story takes us as far back as the beginning of (...) celestial mechanics and through some of the most exciting developments of mathematical physics of the 19th century. (shrink)

The recent use of typicality in statistical mechanics for foundational purposes has stirred an important debate involving both philosophers and physicists. While this debate customarily focuses on technical issues, in this paper I try to approach the problem from an epistemological angle. The discussion is driven by two questions: (1) What does typicality add to the concept of measure? (2) What kind of explanation, if any, does typicality yield? By distinguishing the notions of `typicality-as-vast-majority' and `typicality-as-best-exemplar', I argue that the (...) former goes beyond the concept of measure. Furthermore, I also argue that typicality aims at providing us with a form of causal explanation of equilibrium. (shrink)

Most philosophical accounts on scientific theories are affected by three dogmas or ingrained attitudes. These dogmas have led philosophers to choose between analyzing the internal structure of theories or their historical evolution. In this paper, I turn these three dogmas upside down. I argue (i) that mathematical practices are not epistemically neutral, (ii) that the morphology of theories can be very complex, and (iii) that one should view theoretical knowledge as the combination of internal factors and their intrinsic historicity.