Ontology of Specific Domains, Misc

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)

In this review, I specify the metametaphysical background against which Alastair Wilson’s “_The Nature of Contingency_” (Oxford University Press, 2020) should be properly understood. Metaphysics, as a philosophical discipline, is standing on thin ice. The caricature of the situation is polarized, and is often presented as follows: metaphysics is either entirely extracted from science or it is entirely independent of science. There is a recent trend that focuses on the middle ground between these extremes, searching the philosophical literature for metaphysical (...) theories that can fill the gap, i.e., leaving metaphysics as a free discipline to produce spoils for the eventual needs of philosophers of science. We can appreciate it better with the following distinction between the tasks of ontology and metaphysics, as complementary disciplines. If, on the one hand, we understand ontology as dealing with what exists, we can somehow extract the entities that are existentially postulated by scientific theories. Metaphysics, on the other hand, would be located as an extra layer, in charge of investigating questions about the nature of the entities obtained in this “naturalized ontology”. As a tailor, Wilson adjusts a metaphysical theory in order to perfectly dress the physical and ontological nuances of Everettian quantum mechanics, thus creating a metaphysical theory that gives us intelligibility, with the concept of modality, in two areas: in quantum mechanics, and analytic metaphysics. (shrink)

(English translation from the text in Korean) -/- The assertion that both humanity and the external world share a fundamental unity has gained increasing recognition, particularly in light of the growing discourse surrounding quantum physics. This perspective draws parallels with conceptual frameworks found in Western idealism, Eastern Buddhism, and the philosophy of Zhuangzi. In examining the current state of scientific inquiry, one cannot overlook the profound impact of quantum mechanics on the field of physics, alongside the rising influence of quantum (...) technology in shaping our information-driven culture. These developments are ushering our contemporaries into an era of heightened engagement with an extended reality. -/- However, amidst this transformative landscape, a notable tension emerges. While we have made significant strides in understanding the world through the lens of classical mechanics, the central thesis positing the essential unity of ourselves and the world seems to encounter unease and perplexity. A conspicuous discord arises when we consider that our lived experiences of humans and objects occur solely within the confines of three dimensions, while we are confronted with the assertion that these three dimensions are considered 'abstract,' while eleven dimensions are held to be 'fundamental.' This disjunction between our experiential reality and its explanatory framework gives rise to a pressing question that beckons exploration. -/- In response to this challenge, various endeavors have been undertaken to bridge the perceptible gap. One such undertaking is exemplified in the work of A. Ney, titled "The World in the Wave Function: A Metaphysics for Quantum Physics." Ney takes as her primary inquiry the profound question of how the macroscopic realm can be intricately constructed from the microscopic realm, a question that stands at the forefront of quantum physics. In her pursuit, Ney endeavors to illuminate her thesis, positing that both we and the objects that populate our reality are composed of wave functions. -/- This review aims to provide a comprehensive overview of Ney's work, encapsulating the content of its initial half. Subsequently, it will offer a critical analysis in the latter portion, engaging with the merits and potential limitations of her proposed metaphysical framework. (shrink)

‘Shallow’ and ‘deep’ versions of scientific realism may be distinguished as follows: the shallow realist is satisfied with belief in the existence of the posits of our best scientific theories; by contrast, deep realists claim that realism can be legitimate only if such entities are described in metaphysical terms. We argue that this methodological discussion can be fruitfully applied in Everettian quantum mechanics, specifically on the debate concerning the existence of worlds and the recent dispute between Everettian actualism and quantum (...) modal realism. After presenting what is involved in such dispute, we point to a dilemma for realists: either we don’t have the available metaphysical tools to answer the deep realist’s demands, and realism is not justified in this case, or such demands of metaphysical dressing are not mandatory for scientific realism, and deep versions of realism are not really required. (shrink)

The paper is an introduction to the third issue of the Journal for the Philosophy of Language, Mind and the Arts. The authors give an account of the theories that have most enriched the study of images since the second half of the twentieth century: analytical philosophy and visual culture studies. A distinction is made between the two philosophical traditions. On the one hand, in particular within the context of analytic philosophy, images have been studied as single entities in relationship (...) with both a referent and the perceptual or interpretive abilities of an observer. On the other hand, thanks in particular to the iconographic tradition inaugurated by Aby Warburg, images have been analyzed in their multiplicity, in their mutual relationship, both synchronically and diachronically. (shrink)

From the very beginning of ancient Greek philosophy up to the present day a puzzling correlation is found between rationality and reality. In this study this relation is examined with emphasis on the philosophical tradition of Aristotle and Aquinas. A comparison is made with the virtual reality created by computers and actual reality of our universe. The view expressed in the scientific neopositivism of Jordan and Mach is found to be an adequate approach to avoid contradictions in the interpretation of (...) modern physics. A challenging hypothesis is made by updating the Laplacian Demon by a powerful creative intellect in line with Judeo-Christian tradition. With this hypothesis a new light is shed on several fundamental issues in modern science. (shrink)

This chapter is a work in applied metaphysics. Recent discussions of monism and metaphysical dependence are deployed to develop a view—the doctrine of divine priority (DDP)—that is a viable alternative to the doctrine of divine simplicity (DDS). DDS and the traditional motivation for it are discussed, then DDP is introduced by way of an analogy involving Jonathan Schaffer’s distinction between two forms of monism. It is argued that DDP is an alternative to DDS by showing that it is consistent with (...) the traditional motivation for the latter view, and argued that DDP is a viable alternative by showing that objections to its peculiar implications rest on assumptions that can reasonably be rejected. In the concluding section, the findings of the main discussion are summarized and DDP’s potential theological import is illustrated with a brief discussion of a possible solution to the Problem of the Trinity it affords. (shrink)

I argue against the Primary Sound Account of Echoes (PSAE) – the view that an echo of a sound just is that sound. I then argue that if my case against PSAE is successful, distal theories of sound are false. The upshot of my arguments, if they succeed, is that distal theories are false. Towards the end, I show how some distal theories can be modified to avoid this conclusion and note some open questions to which the modified theories give (...) rise. (shrink)

The aim of this paper is an ontological clarification of the concept of artefact. The following questions are addressed: 1. Do artefacts constitute an ontological category of objects in its own right, and if so, how could this category be characterized? 2. How do artefacts come into existence? 3. What kind of artefacts are there, and in which relations do they stand to each other? It is argued that artefacts are characterized essentially through their genesis and that they owe their (...) existence to mental acts of a particular kind, which I call “acts of creation”. It is maintained that there are not only concrete, material artefacts, but also abstract artefacts, that is, artefacts that cannot be perceived through the senses and are not located in space. Furthermore, it shall be claimed that in a sense those abstract artefacts are even primary to the concrete, material artefacts. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)