Ontology of Specific Domains

(Updated 5/23/24) This unpublished paper, which readers should feel free to cite, is posted primarily for the historical record. In recent work that has, deservedly, received some attention, Paul R. Daniels presents and defends a non-standard theory of persistence that he dubs transdurantism, according to which persisting objects are temporally extended simples. This is exactly what I do in work dating back to Spring 2004. (This work includes this version of this paper, as well as later version that was presented (...) to the University of Rochester's Philosophy Department in 2005.) While this might be a total coincidence, I doubt that it is, especially given that 'transdurantism' appears as a name for a theory of persistence associated with me in at least two places in the literature, one of which includes a citation of this paper. The paper begins with a discussion of what I call 'locative relations' (the relations borne by material objects to the regions of space and time they occupy), which draws relevant distinctions that others have failed to draw. The results of this discussion are then used in constructing spatial analogues for the three established theories of persistence--endurantism, perdurantism, and exdurantism--as well as for transdurantism. Next, these four views concerning persistence are explicitly formulated and a defense of their formulation is offered. Finally, transdurantism's advantages and disadvantages relative to the other theories are discussed. The main goal of the paper is to challenge the trichotomy between the established theories by arguing that transdurantism is also a viable view concerning persistence through time. [Note: Befitting its status as a historical document, with the exception of some light editing to fix typos that might impede understanding, no changes have been made to the paper.]. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

To solve the ship of Theseus puzzle, you need several keys. First of all, we need to fix the application condition of the physical object—it is a vehicle or an object memory; then the identification criterion—the ship was named The Ship of Theseus when he boarded it; and finally the re-application criterion—a ship (or an object memory) when it is the same ship (or object memory) as before. The degree of change from the previous and reference states must be given. (...) The identity of physical objects over time can be expressed by the uniformity of the time slices of the persisting objects. Uniformity exists from the point of view that these instances are temporal cross-sections of the same object; they may differ in other characteristics; there are no general a priori principles independent of practice. The definition of identity is decided by the community of language users. The two states of an object are the same as long as the rate of change of state remains below the threshold value relative to the reference. The two states of an object are similar as long as the change is below a threshold value with respect to each other. Similarity can be described by a tolerance relationship. The mathematical relation describing uniformity is formally an equivalence relation, just as the relation describing identity is an equivalence relation. A physical object is identical to an equivalence class when we speak of the object's identity over time and identical or not identical to an element of the equivalence class when we speak of the object having changed or ceased to exist. (shrink)

The third issue of the Journal for the Philosophy of Language, Mind and the Arts is centered on a series of questions related to the nature of images. What properties characterize them? Do they exist also in our minds? What relationship do they have with phenomena such as perception, memory, language and interpretation? The authors participating in this issue have been asked to answer these and other questions starting from and in dialogue with the two philosophical perspectives that have most (...) enriched the study of our object of research since the second half of the twentieth century: analytical philosophy and visual culture studies. The first four essays address problems related to ontology (Didi-Huberman, Prinz, Bantinaki, Manzotti). In their pages the question will be asked not only about the nature of images but also about what it means for an image to represent an object or an action realistically. The second part contains discussions related to the topics of perception, appreciation and creation of pictures (Ferretti; Gavaler, Goldberg; Pigoni, Coraci, Carlenzi). The third section goes through the problems related to the very concept of representing by images (Biggs; Weichert; Derby). The last section of the issue is devoted to two cases in which images are used not so much and not only to represent something, but also to convey ethical-political values (Fasnacht; Olesiejuk). (shrink)

This interdisciplinary volume connects the philosophy of history to moral philosophy with a unique focus on time. Taking in a range of intellectual traditions, cultural, and geographical contexts, the volume provides a rich tapestry of approaches to time, morality, culture, and history. -/- By extending the philosophical discussion on the ethical importance of temporality, the editors disentangle some of the disciplinary tensions between analytical and hermeneutic philosophy of history, cultural theory, meta-ethical theory, and normative ethics. The ethical and existential character (...) of temporality reveals itself within a collection that resists the methodological underpinnings of any one philosophical school. The book's distinctive cross-cultural approach ensures a wide range of perspectives with contributions on life and death in Japanese philosophy, ethics and time in Maori philosophy, non-traditional temporalities and philosophical anthropology, as well as global approaches to ethics. -/- These new directions of study highlight the importance of the ethical in the temporal, inviting further points of departure in this burgeoning field. (shrink)

Peter Lamarque, in chapter 4 of his 2010 book Work and Object, argues that certain artworks, like musical scores and literary texts, are such that there can be no forgeries of them that purport to be of an actually existing work—what Lamarque calls “referential forgeries”. Lamarque motivates this claim via appeal to another distinction, first made by Goodman, between “allographic” and “autographic” artworks. This article will evaluate Lamarque’s argument that allographic literary works are unable to be referentially forged and will (...) find them wanting. In so doing, the distinction between allographic and autographic artworks (and therefore artforms) will be called into question. In section I, I characterize referential forgery and Lamarque’s definition of allographic and autographic artforms. Section II critically examines Lamarque’s argument against the possibility of referential forgery in allographic artforms. Section III offers a case where it appears that a putatively allographic text’s type membership is sensitive to facts about its causal-intentional provenance. This case serves as pretext for Section IV’s identification of this causal-intentional relation with the sanctioning relation as formulated by Sherri Irvin. On the basis of considerations treated in sections I through IV, section V questions the tenability of the allographic/autographic distinction. -/- . (shrink)

This paper aims at investigating the influence of biblical concepts on Søren Kierkegaard’s theory of stages. Starting with a terminological analysis on the term ‘stage’, in which several biblical references resound, I shed light on the typological structure which lies at the core of the three spheres of existence according to Kierkegaard: the aesthetic one (“first immediacy”), the ethical one (“infinite requirement”), and the religious one (“fulfillment”). Eventually, I show that a study of Kierkegaard’s biblical background can help to understand (...) the paradoxical transition from each stage to next one, which can be conceived as the ontological passage from not-being to being (creation/Adam), from being to not being (annihilating power of the law/Moses), and from not being to being again (new creation/Christ). (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails to (...) make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual reductive account (...) combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

(ESP) Éste artículo tiene como objeto hacer una re-exposición de la teoría política de Baruch Espinosa (1632-1677) a la luz de su ontología –entendida ésta como una ontología materialista. Por lo tanto, se hará una interpretación materialista de la teoría política éste filósofo, desde un acercamiento al «Materialismo Filosófico» de Gustavo Bueno –específicamente, desde su filosofía política, como «materialismo político». Para esto, exploraremos brevemente ciertas ideas de su Tratado Político –teniendo en cuenta, desde luego, la Ética y el Tratado Teológico-Político. (...) Lidiaremos con ideas como «derecho natural», «Estado» o «Libertad», u otras ideas que irán saliendo a través de estas y que junto a la construcción de unas, dialécticamente criticará y destruirá otras –como «Pueblo», «Voluntad», «monarquía absoluta» etc. (ENG)("The Political Ontology of Spinoza") The aim of this article is the reexposition of Baruch Spinoza's (1632-1677) political theory, in the light of his ontology –understood as a materialist ontology. Therefore, we will make a materialist interpretation of the political theory of this philosopher, from an approach to Gustavo Bueno's «Philosophical Materialism» –specifically, from his political philosophy, as a «political materialism». For that goal, we will briefly explore certain ideas from his Political Treatise –of course, with the help of other works, like the Tractatus Theologico-Politicus and the Ethics. We will deal with ideas like «natural law», «State», «Freedom», and other ideas that may arise from those and in which construction, they dialectically criticize and destroy others –v.g., «People», «Will», «absolute monarchy» and so on. (shrink)

This is a commentary on the article by Augusto (2022; this issue) on categories and foundation ontology (FO). We agree that the notion of categories of kinds of elements to devise a FO deserves more attention than it has received to date. From a practical point of view sensu developing domain ontologies, however, it probably does not matter much as long as a FO is used and that that one was understood.

The debate over persistence currently involves three competing theories—one three-dimensionalist theory called “endurantism” and two four-dimensionalist theories called “perdurantism” and “exdurantism.” This inner debate between the latter two persistence theories is what I aim to clarify, and ultimately, I argue that perdurantism is superior to exdurantism because exdurantism is too extravagant in counting ordinary objects in the world. Extravagant for the reason that objects in their entirety are bound to their momentary stages, and there is practically an interminable number of (...) these stages, which is not reasonable when counting in the ordinary world. (shrink)

Four-dimensionalists think that we persist over time by having different temporal parts at each of the times at which we exist. Eternalists think that all times are equally real. Deprivationists think that death is an evil for the one who dies because it deprives them of something. I argue that four-dimensionalist eternalism, conjoined with a standard deprivationist account of the evil of death, has surprising implications for what we should think about the evil of death. In particular, given these assumptions, (...) we will lack any grounds for thinking that death is an evil for some individuals for whom we would antecedently expect it to be an evil, namely those individuals who cease to exist at death. Alternatively, we will only have some grounds for thinking that death is an evil for certain individuals for whom we might antecedently be more inclined to think death is not an evil, namely those individuals who survive death, in the sense that they continue to exist after death. (shrink)

What does it mean for an object to persist through time? Consider the statement, ‘My car is filthy, I need to wash it.’ Consider the response, ‘How did it get that way?’ The answer is that dirt, dust and other particles have collected on the car’s surface thus making it filthy. Its properties have changed. At one point in the car’s career, none of that dirt and grime existed on its surface and the car was said to be clean. The (...) fact is that for a car to get dirty, the extension of time is necessary. The standard view of identity is that each thing is entirely itself at any given time. So how can an object remain identical with itself over time, if it changes its properties? In many ways I have different properties now than those I had last week. But if I am different, how then can I be the same? The objective of this article is to answer the question of what it means to say that we and other things persist through time. First I’ll lay out two popular philosophical views of persistence through time, then I will present possible problems with both views. After that, I will outline another possible answer that lies outside of these views. Finally, I will providemy own answer. (shrink)

The well-known empiricist apories of the lawfulness of nature prevent an adequate philosophical interpretation of empirical science until this day. Clarification can only be expected through an immanent refutation of the empiricist point of view. My argument is that Hume’s claim, paradigmatic for modern empiricism, is not just inconsequent, but simply contradictory: Empiricism denies that a lawlike character of nature can be substantiated. But, as is shown, anyone who claimes experience to be the basis of knowledge (as the empiricist naturally (...) does), has, in fact, always already presupposed the lawfullness of nature, i.e. has assumed the ontology of a nature lawful in itself. If lawfulness is, more closely, understood as dependency on conditions, then the functional character of the laws of nature is involved with the consequence that verification is not to be taken as a mere repetition of measurements but as clarification of the conditional structure of the physical process. Furthermore the functionality of the laws of nature also includes a statement on their invariance (relative to certain transformations) and so their lawlikeness. This throws a new light on the problem of induction. Seen in this way it is hardly surprising that the notorious neglect of the functional aspect in empiricism has led to fundamental problems with the concept of the law of nature. (shrink)

Perdurantists think of continuants as mereological sums of stages from different times. This view of persistence would force us to drop the idea that there is genuine change in the world. By exploiting a presentist metaphysics, Brogaard proposed a theory, called presentist four-dimensionalism, that aims to reconcile perdurantism with the idea that things undergo real change. However, her proposal commits us to reject the idea that stages must exist in their entirety. Giving up the tenet that all the stages are (...) equally real could be a price that perdurantists are unwilling to pay. I argue that Kit Fine ’s fragmentalism provides us with the tools to combine a presentist metaphysics with a perdurantist theory of persistence without giving up the idea that reality is constituted by more than purely present stages. (shrink)

In this paper, I tackle the problem of diachronic identity. Far from providing a criterion for identity over time, the aim of this work is to understand if this issue pertains to ontology, conceived as that part of philosophy that tries to answer the question about what entities exist, or metaphysics, conceived as that part of philosophy that tries to explain, of those entities, what they are. On the face of it, only metaphysics has the task to solve this problem, (...) but I argue that this is false. Through the analysis of different theories concerning identity through time, I show how both ontology and metaphysics are concerned with the problem of diachronic identity, and how actually ontology turns out to be primary in solving the problem. (shrink)

Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-level ontology that allows (...) expressing these modes. (shrink)

Harold Noonan has recently argued (2003) that one of Lewis’s (1983: 76– 77) arguments for the view that objects persist by perduring is flawed. Lewis’s argument can be divided into two main sections, the first of which attempts to show that it is possible that there exists a world of temporal parts or stages, and the second, which attempts to show that our world is such a world. Noonan claims that there is a flaw in each of these two stages.We (...) argue to the contrary. (shrink)

The fact that names refer to individuals is a basic assumption of referentialist theories of proper names, but the notion of individual is systematically taken for granted in those theories. The present paper follows that basic assumption, but proposes to analyze the notion of individual prior to the development of any semantic theory of proper names. It will be argued that a particular perdurantist conception of individual should be adopted, which distinguishes the notions of individual occurrence, and individual simpliciter. A (...) new theory of proper names (called the cluster-occurrence theory) is presented, according to which names refer to individual occurrences, and the intension associated with a name is an individual simpliciter. The merits of the new theory are then assessed in confrontation with its standard rival accounts. (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...) in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (shrink)

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

I introduce a puzzle about contact and de re temporal predication in relativistic spacetime. In particular, I describe an apparent counterexample to the following principle, roughly stated: if B is never in a position to say ‘I was touching A, I am touching A, and I will be touching A’, then (time travel aside) A is never in a position to say ‘I was touching B, I am touching B, and I will be touching B’. In the case I present, (...) the most that A is ever in a position to say is: ‘I am now touching B, but this is the only instant at which this will ever be so’. B, on the other hand, can say: ‘I was formerly touching A, I am currently touching A, and I will in the future be touching A’. (And neither object is a time traveler.). (shrink)

This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...) that objects persist through time by being wholly present at distinct times as numerically the same entity. Instead of endurantism, it has been argued, we have to adopt either ‘perdurantism’ or the ‘stage theory’. Perdurantism is the theory that objects are four-dimensional ‘space-time worms’ persisting through time by having distinct temporal parts at distinct times. The stage theory says that objects are instantaneous temporal parts (stages) of space-time worms, persisting by having distinct temporal counterparts at distinct times. In the thesis, it is argued that no good arguments have been provided for the conclusion that we are obliged to drop the endurance theory by acceptance of the B-theory. This conclusion stands even if the endurance theory incorporates the claim that objects endure through intrinsic change. It is also shown that perdurantism and the stage theory come with unwelcome consequences. -/- Paper I demonstrates that the main arguments for the view that objects cannot endure in B-time intrinsically unchanged fail. Papers II and III do the same with respect to the traditional arguments against endurance through intrinsic change in B-time. Paper III also contains a detailed account of the semantics of the tenseless copula, which occurs frequently in the debate. The contention of Paper IV is that four-dimensional space-time worms, as traditionally understood, are not suited to take dispositional predicates. In Paper V, it is shown that the stage theory needs to introduce an overabundance of persistence-concepts, many of which will have to be simultaneously applicable to a single object (qua falling under a single sortal), in order for the theory to be consistent. The final article, Paper VI, investigates the sense in which persistence can, as is sometimes suggested, be a ‘conventional matter’. It also asks whether alleged cases of ‘conventional persistence’ create trouble for the endurance theory. It is argued that conventions can only enter at a trivial semantic level, and that the endurance theory is no more threatened by such conventions than are its rivals. (shrink)

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

Until recently, perdurantism has been considered to be incompatible with the presentist ontology of time. However, discussions about presentist theories of perdurance are now surfacing, one of the most prominent arguments for which being Berit Brogaard’s essay: “Presentist Four-Dimensionalism”. In this paper, I examine Brogaard’s argument in contrast to Ted Sider’s arguments for (an Eternalist theory of) the “Stage View”. I then argue for another (and, I think, novel) view of presentist perdurantism, which avoids the problematic consequences that Brogaard’s view (...) faces, and which also successfully solves philosophical puzzles without the difficulties that Sider’s view faces. This view, which I call “Stage View Presentism,” thus seems to be an appealing alternative for presentists who remain impartial to both the endurantist and the worm theories of persistence. (shrink)

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

The well-known empiricist apories of the lawfulness of nature prevent an adequate philosophical interpretation of empirical science until this day. Clarification can only be expected through an immanent refutation of the empiricist point of view. My argument is that Hume’s claim, paradigmatic for modern empiricism, is not just inconsequent, but simply contradictory: Empiricism denies that a lawlike character of nature can be substantiated. But, as is shown, anyone who claimes experience to be the basis of knowledge (as the empiricist naturally (...) does), has, in fact, always already presupposed the lawfullness of nature, i.e. has assumed the ontology of a nature lawful in itself. If lawfulness is, more closely, understood as dependency on conditions, then the functional character of the laws of nature is involved with the consequence that verification is not to be taken as a mere repetition of measurements but as clarification of the conditional structure of the physical process. Furthermore the functionality of the laws of nature also includes a statement on their invariance (relative to certain transformations) and so their lawlikeness. This throws a new light on the problem of induction. Seen in this way it is hardly surprising that the notorious neglect of the functional aspect in empiricism has led to fundamental problems with the concept of the law of nature. (shrink)

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (shrink)

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 paper, we will introduce a novel argument (the "Region Argument") that objects do not have frame-independent shapes in special relativity. The Region Argument lacks vulnerabilities present in David Chalmers' argument for that conclusion based on length contraction. We then examine how views on persistence interact with the Region Argument. We argue that this argument and standard four-dimensionalist assumptions entail that nothing in a relativistic world has any shape, not even stages or the regions occupied by them. We also (...) argue that endurantists have viable ways of preserving shape despite the Region Argument. The upshot of these arguments is that contrary to conventional wisdom, considerations about shape in relativity support endurantism rather than four-dimensionalism. We conclude by examining the implications of our discussion for the debate over Edenic shapes, noting that endurantists have a satisfying response to skeptical arguments about Edenic shapes similar to the one they have against the Region Argument. (shrink)

(Updated 5/23/24) This unpublished paper, which readers should feel free to cite, is posted primarily for the historical record. In recent work that has, deservedly, received some attention, Paul R. Daniels presents and defends a non-standard theory of persistence that he dubs transdurantism, according to which persisting objects are temporally extended simples. This is exactly what I do in work dating back to Spring 2004. (This work includes this version of this paper, as well as later version that was presented (...) to the University of Rochester's Philosophy Department in 2005.) While this might be a total coincidence, I doubt that it is, especially given that 'transdurantism' appears as a name for a theory of persistence associated with me in at least two places in the literature, one of which includes a citation of this paper. The paper begins with a discussion of what I call 'locative relations' (the relations borne by material objects to the regions of space and time they occupy), which draws relevant distinctions that others have failed to draw. The results of this discussion are then used in constructing spatial analogues for the three established theories of persistence--endurantism, perdurantism, and exdurantism--as well as for transdurantism. Next, these four views concerning persistence are explicitly formulated and a defense of their formulation is offered. Finally, transdurantism's advantages and disadvantages relative to the other theories are discussed. The main goal of the paper is to challenge the trichotomy between the established theories by arguing that transdurantism is also a viable view concerning persistence through time. [Note: Befitting its status as a historical document, with the exception of some light editing to fix typos that might impede understanding, no changes have been made to the paper.]. (shrink)

Been working on this approach for years. Hope to get around to publishing it sometime soon!

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

To solve the ship of Theseus puzzle, you need several keys. First of all, we need to fix the application condition of the physical object—it is a vehicle or an object memory; then the identification criterion—the ship was named The Ship of Theseus when he boarded it; and finally the re-application criterion—a ship (or an object memory) when it is the same ship (or object memory) as before. The degree of change from the previous and reference states must be given. (...) The identity of physical objects over time can be expressed by the uniformity of the time slices of the persisting objects. Uniformity exists from the point of view that these instances are temporal cross-sections of the same object; they may differ in other characteristics; there are no general a priori principles independent of practice. The definition of identity is decided by the community of language users. The two states of an object are the same as long as the rate of change of state remains below the threshold value relative to the reference. The two states of an object are similar as long as the change is below a threshold value with respect to each other. Similarity can be described by a tolerance relationship. The mathematical relation describing uniformity is formally an equivalence relation, just as the relation describing identity is an equivalence relation. A physical object is identical to an equivalence class when we speak of the object's identity over time and identical or not identical to an element of the equivalence class when we speak of the object having changed or ceased to exist. (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)

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)

The central aim of this paper is to use a particular view about how the laws of nature govern the evolution of our universe in order to develop and evaluate the two main competing options in the metaphysics of persistence, namely endurantism and perdurantism. We begin by motivating the view that our laws of nature dictate not only qualitative facts about the future, but also which objects will instantiate which qualitative properties. We then show that both traditional doctrines in the (...) metaphysics of persistence must take on surprising further commitments in order to vindicate our universe being law-governed in this strong sense. For example, we argue that endurantists should adopt a particular version of monism, and that perdurantists should adopt a qualitativist doctrine that dispenses with all individuals at the fundamental level. (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 possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and defended a (...) definition of exact location in terms of weak location that does not entail functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (shrink)

Personites are like continuant people but shorter-lived. Johnston argues that personites do not exist since otherwise personites would have the same moral status as persons, which is untenable. I argue that Johnston’s arguments fail. To do that I propose an alternative way to understand intrinsicness and I clarify the meaning of reductionism about persons. I also argue that a plausible ethical theory is possible even if personites have the same moral status as persons. My arguments draw on Johnston’s earlier debate (...) with Parfit about personal identity and the place of ordinary concerns in a naturalistic world. I also describe an important but metaphysics-free problem that arises from Johnston’s discussion. (shrink)

The Monster Objection has often been considered one of the main reasons to explore non-standard mereological views, such as hylomorphism. Still, it has been rarely discussed and then only in a cursory fashion. This paper fills this gap by offering the first thorough assessment of the objection. It argues that different metaphysical stances, such as presentism and three- and four-dimensionalism, provide different ways of undermining the objection.

The debate over persistence currently involves three competing theories—one three-dimensionalist theory called “endurantism” and two four-dimensionalist theories called “perdurantism” and “exdurantism.” This inner debate between the latter two persistence theories is what I aim to clarify, and ultimately, I argue that perdurantism is superior to exdurantism because exdurantism is too extravagant in counting ordinary objects in the world. Extravagant for the reason that objects in their entirety are bound to their momentary stages, and there is practically an interminable number of (...) these stages, which is not reasonable when counting in the ordinary world. (shrink)

Four-dimensionalists think that we persist over time by having different temporal parts at each of the times at which we exist. Eternalists think that all times are equally real. Deprivationists think that death is an evil for the one who dies because it deprives them of something. I argue that four-dimensionalist eternalism, conjoined with a standard deprivationist account of the evil of death, has surprising implications for what we should think about the evil of death. In particular, given these assumptions, (...) we will lack any grounds for thinking that death is an evil for some individuals for whom we would antecedently expect it to be an evil, namely those individuals who cease to exist at death. Alternatively, we will only have some grounds for thinking that death is an evil for certain individuals for whom we might antecedently be more inclined to think death is not an evil, namely those individuals who survive death, in the sense that they continue to exist after death. (shrink)

There has been a growing charge that perdurantism—with its bloated ontology of very person-like objects that coincide persons—implies the repugnant conclusion that we are morally obliged to be feckless. I argue that this charge critically overlooks the epistemic situation—what I call the ‘veil of ignorance’—that perdurantists find themselves in. Though the veil of ignorance still requires an alteration of our commonsense understanding of the demands on action, I argue for two conclusions. The first is that the alteration that is required (...) isn’t a moral one, but rather an alteration of prudential reasoning. Second, and more importantly, this alteration isn’t necessarily a repugnant one. In fact, given that it prudentially pushes one towards greater impartiality, it may be seen as a point in favor of perdurantism. (shrink)

Are concrete objects in some sense made up of the properties they exemplify? A distinguished tradition holds they are. I begin by defending the distinction: there is a real and not just semantic distinction between asserting and denying that concrete objects have their properties as parts. I then argue in favor of the view that concrete objects are not made up of their parts. First, this view has less ontological baggage than its opponent. Next, the supposed advantages of the alternative (...) view—its superiority in understanding persistence, exemplification, or the possibility of diverse duplicates—dissipate under analysis. (shrink)

The recent literature on the nature of persistence features a handful of imaginative cases in which an object seems to colocate with itself. So far, discussion of these cases has focused primarily on how they defy the standard endurantist approaches to the problem of temporary intrinsics. But in this article, I set that issue aside and argue that cases of apparent self-colocation also pose another problem for the endurantist. While the perdurantist seems to have a fairly straightforward account of self-colocation, (...) the endurantist has a hard time saying exactly what it would be for an object to be self-colocated. After introducing this problem and explaining how the perdurantist can circumvent it with little difficulty, I discuss a number of tempting endurantist solutions that ultimately fail. Then I suggest an endurantist solution which I think is more promising, but which requires the endurantist to deny that apparent cases of self-colocation are genuine cases of self-colocation. (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)

Some philosophers say that in special relativity, four-dimensional stuff is invariant in some sense that three-dimensional stuff is not. I show that this claim is false.