According to genuine modal realism, some things (including numbers and properties) lack distinct counterparts in different worlds. So how can they possess any of their properties contingently? Egan (2004) argues that to explain such accidental property possession, the genuine modal realist must depart from Lewis and identify properties with functions, rather than with sets of possibilia. We disagree. The genuine modal realist already has the resources to handle Egan's proposed counterexamples. As we show, she does not (...) need to amend her analysis of possibility statements, or her theory of what properties are. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of (...) necessity/possibility. In the characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

In this chapter, I discuss the distinction between essential and accidental properties from a contemporary perspective. I first distinguish between the modal notion and the Aristotelian notion of essence. I present various ways of cashing out the modal notion, and then I turn to the Aristotelian notion, which has been at the centre of metaphysical enquiry over the past thirty years or so. I present and discuss simple modal accounts of that notion, then sophisticated accounts and finally non-modal (...) accounts. In the very last part of the chapter, I briefly go through various topics: individual essences; the question of what is essential to what; the use of essence in the characterisation of other notions; so-called generic essence and other generalizations of the standard, objectual notion of essence; and finally, scepticism and anti-realism about essence. (shrink)

A series of experiments was performed in which subjects indicated whether two four-dot patterns were the same, although possibly viewed from different directions, or different, paired at random. Analyses of responses times and error rates suggest that the subjects' performance in this affine matching task is based on non-accidental properties such as convexity, parallelism, collinearity, and proximity, rather than on real affine invariants such as the ratio of triangular areas.

Jeffrey Brower argues that Aquinas’s hylomorphic account of change entails a distinction between “property” possession and “property” characterization. Given that and Brower’s assumption that Aquinas’s fundamental hylomorphic compounds are material substances and accidental unities, it follows that material substances are not characterized by the accidents they possess. In order to avoid that counterintuitive consequence, Brower stipulates a form of derivative property characterization and a numerical sameness without identity relation, which together enable him to affirm that material substances are derivatively (...) characterized by the accidents they possess. I argue that, by affirming a plausible alternative to Brower’s account of Aquinas’s fundamental hylomorphic compounds, we can maintain that accidents characterize material substances in the primary sense without having to affirm the real existence of accidental unities or Brower’s objectionable numerical sameness without identity relation. (shrink)

Jeffrey Brower argues that Aquinas’s hylomorphic account of change entails a distinction between “property” possession and “property” characterization. Given that and Brower’s assumption that Aquinas’s fundamental hylomorphic compounds are material substances and accidental unities, it follows that material substances are not characterized by the accidents they possess. In order to avoid that counterintuitive consequence, Brower stipulates a form of derivative property characterization and a numerical sameness without identity relation, which together enable him to affirm that material substances are derivatively (...) characterized by the accidents they possess. I argue that, by affirming a plausible alternative to Brower’s account of Aquinas’s fundamental hylomorphic compounds, we can maintain that accidents characterize material substances in the primary sense without having to affirm the real existence of accidental unities or Brower’s objectionable numerical sameness without identity relation. (shrink)

This is an examination of Aristotle's notion of an "accidental being" -- something intermediate between a substance and a property. An accidental being (sometimes called "accidental compound" or "kooky object") is an ephemeral object, typically the compound of a substance and a property, that exists for only as long as its components are united. I set out the role that accidental beings play in Aristotle's solutions to several philosophical problems. I also investigate the similarity between these (...) beings and the individual non-substances of Aristotle's Categories. Finally, I propose that accidental beings can be assimilated into a more contemporary conceptual scheme as events -- the states or conditions that substances are in or undergo. (shrink)

Nowadays the traditional quest for certainty seems not only futile but pointless. Resisting skepticism no longer seems to require meeting the Cartesian demand for an unshakable foundation for knowledge. True beliefs can be less than maximally justified and still be justified enough to qualify as knowledge, even though some beliefs that are justified to the same extent are false. Yet a few philosophers suggest that there is a special sort of justification that only true beliefs can have. Call it 'full (...) justification' or simply 'warrant.' One such philosopher is Trenton Merricks. He takes warrant to be "that, whatever precisely it is, which together with truth makes the difference between knowledge and mere true belief," and argues that only true beliefs can have it.1 In his view, then, warrant makes the difference between knowledge and mere belief. Interestingly, Merricks does not concern himself with the nature of this remarkable property. He prefers a "formal characterization" of warrant as the "gap filler" between knowledge and mere true belief. Whatever warrant is exactly, a warranted belief cannot be true accidentally, for then the belief would not qualify as knowledge. (shrink)

Our prominent definitions of cognition are too vague and lack empirical grounding. They have not kept up with recent developments, and cannot bear the weight placed on them across many different debates. I here articulate and defend a more adequate theory. On this theory, behaviors under the control of cognition tend to display a cluster of characteristic properties, a cluster which tends to be absent from behaviors produced by non-cognitive processes. This cluster is reverse-engineered from the empirical tests that (...) comparative psychologists use to determine whether a behavior was generated by a cognitive or a non-cognitive process. Cognition should be understood as the natural kind of psychological process that non-accidentally exhibits the properties assessed by these tests (as well as others we have not yet discovered). Finally, I review two plausible neural accounts of cognition's underlying mechanisms?one based in localization of function to particular brain regions and another based in the more recent distributed networks approach to neuroscience?which would explain why these properties non-accidentally cluster. While this notion of cognition may be useful for a number of debates, I here focus on its application to a recent crisis over the distinction between cognition and association in comparative psychology. (shrink)

Do properties have intrinsic properties of their own? If so, which second-order properties are intrinsic? This paper introduces two competing views about second-order intrinsicality: generalism, according to which the intrinsic–extrinsic distinction cuts across all orders of properties and applies to the properties of properties as well as the properties of objects, and objectualism, according to which intrinsicality is a feature exclusive to the properties of objects. The case for generalism is then surveyed (...) along with some proposals for distinguishing intrinsic second-order properties from extrinsic ones. After addressing these broad questions about the nature of second-order intrinsicality, the Problem of Accidental Intrinsic Properties of Properties is introduced and put to work as a case study for the significance of second-order intrinsicality. The connection between this problem and the metaphysics of quantitative properties is then examined. (shrink)

Our prominent definitions of cognition are too vague and lack empirical grounding. They have not kept up with recent developments, and cannot bear the weight placed on them across many different debates. I here articulate and defend a more adequate theory. On this theory, behaviors under the control of cognition tend to display a cluster of characteristic properties, a cluster which tends to be absent from behaviors produced by non-cognitive processes. This cluster is reverse-engineered from the empirical tests that (...) comparative psychologists use to determine whether a behavior was generated by a cognitive or a non-cognitive process. Cognition should be understood as the natural kind of psychological process that non-accidentally exhibits the properties assessed by these tests (as well as others we have not yet discovered). Finally, I review two plausible neural accounts of cognition's underlying mechanisms—one based in localization of function to particular brain regions and another based in the more recent distributed networks approach to neuroscience—which would explain why these properties non-accidentally cluster. While this notion of cognition may be useful for a number of debates, I here focus on its application to a recent crisis over the distinction between cognition and association in comparative psychology. (shrink)

ABSTRACT In ‘The Pro‐Life Argument from Substantial Identity: A Defence’, Patrick Lee argues that the right to life is an essential property of those that possess it. On his view, the right arises from one's ‘basic’ or ‘natural’ capacity for higher mental functions: since human organisms have this capacity essentially, they have a right to life essentially. Lee criticises an alternative view, on which the right to life arises from one's ‘developed’ capacity for higher mental functions (or development of some (...) other accidental property). I argue that his criticisms of this alternative view are misguided or self‐defeating, and that there are good reasons to hold we have a right to life accidentally rather than essentially. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate (...) on these issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

Alvin Plantinga defends Theological Compatibilism (TC) and Essential- ism about property possession (E). TC is the claim that human freedom to act otherwise and God’s essential omniscience are compatible, while E is the claim that every individual entity whatsoever has a modal profile consisting in having both essential and accidental properties. I purport to show that, if E is assumed in the argument for TC, then the latter leads to a very puzzling upshot. I also intend to show (...) that, even if TC is suitably fixed in order to avoid that upshot, TC is still unconvincing in that it merges into one the de re and the de dicto rendering of ‘human freedom to act otherwise’; I end up by briefly sketching why the two renderings should instead be kept well apart. (shrink)

A novel treatment of an issue central to much current work in metaphysics: the distinction between the essential and accidental properties of individuals. Mackie challenges widely held views, and arrives at what she calls "minimalist essentialism," an unorthodox theory according to which ordinary individuals have relatively few interesting essential properties. Mackie's clear and accessible discussions of issues surrounding necessity and essentialism mean that the book will appeal as much to graduate students as it will to seasoned metaphysicians.

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force (...) us--to give up this theory as well, and to identify properties with functions from world, time pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force (...) us--to give up this theory as well, and to identify properties with functions from ⟨world, time⟩ pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

Frictions between work and family life have increased during the COVID-19 pandemic, causing negative consequences on the mental health and quality of life of workers. Without validated instruments, it is not possible to determine the impact of Work-Family and Family-Work conflict. To date, no studies have been conducted to provide evidence of the validity and reliability of The Survey Work-Home Interaction Nijmegen in the population of Argentine workers. The SWING was administered to 611 Argentine workers of both sexes aged between (...) 18 and 70 years selected from a non-probabilistic accidental sampling. The confirmatory factor analysis showed satisfactory fit indices of the original four-factor model. The level of reliability was acceptable. The relationships of the subscale scores with the engagement and burnout variables were as expected according to previous studies. Having an instrument adequately adapted to the population of Argentine workers facilitates the development of studies aimed at evaluating the role of W-F or F-W interactions and their implications for health and productivity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Why Can't a First Mover Be Accidentally Moveable?Bolstering Aquinas's Case for Divine Immutability in the Face of Objections from Theistic PersonalistsMats WahlbergIntroductionIn his book An Introduction to the Philosophy of Religion, Brian Davies coined the term "theistic personalism" in order to have a name for a kind of monotheism that is quite widespread, but that differs significantly from the "classical theism" of the Church Fathers, the great medieval theologians, (...) and the Reformers.1 Theistic personalists claim that the personal nature of the biblical God cannot be reconciled with some of the core tenets of classical theism, in particular the doctrines of divine immutability, timelessness, and simplicity. Although personalists typically agree with the classical tradition that God exists necessarily and is the ultimate explanatory principle, they also claim that he is changeable and metaphysically composed. God's attributes or properties are distinct from each other and from God himself, and God can be causally affected by events in the created world. Some of the most influential figures within contemporary analytic philosophy of religion—thinkers like Richard Swinburne, Alvin Plantinga, and William Lane Craig—defend personalism of various shades.Within contemporary systematic theology, theistic personalism is also [End Page 1305] dominant. The long-standing tendency to contrast (unfavorably) a "Hellenistic," "static" conception of God with a "biblical," "dynamic" conception is evidence of this, as is the common tendency to historicize God's being along Hegelian lines. Karl Barth, Dietrich Bonhoeffer, Wolfhart Pannenberg, Robert Jenson, Eberhart Jüngel, Jürgen Moltmann, and many other theologians have rejected core elements of classical theism, such as God's immutability and impassibility. It is fair to say that most contemporary theologians regard the idea that God suffers alongside his creation as almost axiomatically true, and this view entails that God can change.2In book I of the Summa contra gentiles [SCG], St. Thomas Aquinas attempts to build a philosophical case for classical theism. He starts with two Aristotelian arguments from motion, presented in chapter 13, whereby he claims to establish that there is an immutable First Mover. Taking himself to have proved this, Aquinas then systematically unfolds the other doctrines of classical theism, using divine immutability as a key premise. In chapter 14, St. Thomas describes his modus operandi: "In order to proceed by the way of remotion about knowledge of God, let us take as principle that which is already manifest by what we have said above, namely that God is altogether unchangeable [quod Deus sit omnino immobilis]."3Prima facie, this seems to be a promising method. If divine changelessness can be proved at the outset from the mere fact that there is motion, then the road to classical theism lies open. Given divine immutability, it readily follows that God lacks beginning and end, and perhaps also that God is eternal in the sense of being altogether timeless, as Aquinas argues in chapter 15. At the very least it follows that God lacks passive potentiality, since change is the actualization of some potential (ch. 16). From the lack of potentiality, furthermore, it follows that God is pure act, and from this it follows that he lacks any kind of composition whatsoever, so he is altogether simple.This is basically how Aquinas argues in SCG I. The success of Aquinas's case for classical theism depends, however, on whether the crucial premise of divine immutability can be proved without reliance on any of the other divine attributes that I have just mentioned. Theistic personalists claim that [End Page 1306] this cannot be done, and that the controversial divine attributes of classical theism can be proved only in a circular way, relying on one attribute (such as divine simplicity) in order to prove another (such as divine immutability), and vice versa.In this article, I will try to show that this accusation is false, and that God's changelessness can be demonstrated without assuming divine simplicity, eternity, or any other divine attribute that is at issue between classical theists and personalists. Immutability can, if this is true, function as the cornerstone in a case for classical theism, in the way that Aquinas suggests. In what follows, I will do... (shrink)

In this paper I interpret Newton’s speculative treatment of gravity as a relational, accidental property of matter that arises through what Newton calls “the shared action” of two bodies of matter. In doing so, I expand and extend on a hint by Howard Stein. However, in developing the details of my interpretation I end up disagreeing with Stein’s claim that for Newton a single body can generate a gravity/force field. I argue that when Newton drafted the first edition of (...) the Principia in the mid 1680s, he thought that (at least a part of) the cause of gravity is the disposition inherent in any individual body, but that the force of gravity is the actualization of that disposition; a necessary condition for the actualization of the disposition is the actual obtaining of a relation between two bodies having the disposition. The cause of gravity is not essential to matter because God could have created matter without that disposition. Nevertheless, at least a part of the cause of gravity inheres in individual bodies and were there one body in the universe it would inhere in that body. On the other hand, the force of gravity is neither essential to matter nor inherent in matter, because (to repeat) it is the actualization of a shared disposition. A lone part-less particle would, thus, not generate a gravity field. Seeing this allows us to helpfully distinguish among a) accepting gravity as causally real; b) the cause(s) (e.g. the qualities of matter) of the properties of gravity; c) making claims about the mechanism or medium by which gravity is transmitted. This will help clarify what Newton could have meant when he insisted that gravity is a real force. I present my argument in opposition to Andrew Janiak’s influential and fine 2007 paper. Along the way, I call attention to my disagreement with Janiak on a number of secondary issues (e.g. Janiak’s attribution to Newton of a distinction between ‘local’ and ‘distant’ action; Janiak’s reading of the “Letter to Bentley,” etc). (shrink)

This chapter gives a broad description of the nature of properties and explains the foundations of metaphysics. It provides general statements about properties and how they describe parts of a metaphysical environment. These properties are used to develop the theory of causal powers. The chapter also attempts to address the ‘rights’ and ‘wrongs’ of nominalism and realism, including selective realism and its properties. The chapter also introduces conceptual distinctions such as derivative-basic, first-order-higher-order, simple-complex, essential-necessary-accidental, extrinsic-intrinsic, (...) and transferable-non-transferrable. Secondary definitions are also given. (shrink)

Gödel’s Ontological argument is distinctive because it is the most sophisticated and formal of ontological arguments and relies heavily on the notion of _positive property_. Gödel uses a third-order modal logic with a property abstraction operator and property quantification into modal contexts. Gödel describes _positive property_ as "independent of the accidental structure of the world"; "pure attribution," as opposed to privation; "positive in the 'moral aesthetic sense.'" _Pure attribution_ seems likely to be related to the Leibnizian concept of perfection. (...) By a careful examination of the formal semantics of third-order modal logic with property abstraction together with a Completeness result for third-order modal logic with property abstraction for faithful models that I previously developed in 2000 in my work, _Gödel’s Ontological Argument_, I argue that it is not possible to develop a sufficient applied third-order modal semantics for Gödel’s ontological argument. As I explore possible approaches for an applied semantics including anti-Realist accounts of the semantics of modal logic compatible with Actualism, I argue that Gödel makes implicit philosophical assumptions which commit him to both possibilism and modal realism. (shrink)

Gödel’s Ontological argument is distinctive because it is the most sophisticated and formal of ontological arguments and relies heavily on the notion of positive property. Gödel uses a third-order modal logic with a property abstraction operator and property quantification into modal contexts. Gödel describes positive property as "independent of the accidental structure of the world"; "pure attribution," as opposed to privation; "positive in the 'moral aesthetic sense.'" Pure attribution seems likely to be related to the Leibnizian concept of perfection.By (...) a careful examination of the formal semantics of third-order modal logic with property abstraction together with a Completeness result for third-order modal logic with property abstraction for faithful models that I previously developed in 2000 in my work, Gödel’s Ontological Argument, I argue that it is not possible to develop a sufficient applied third-order modal semantics for Gödel’s ontological argument. As I explore possible approaches for an applied semantics including anti-Realist accounts of the semantics of modal logic compatible with Actualism, I argue that Gödel makes implicit philosophical assumptions which commit him to both possibilism (the belief in merely possible objects) and modal realism (the belief in possible worlds). (shrink)

There are three outstanding issues raised by my critics in this volume. The first concerns the nature and status of universals (John Heil). The second is ‘the essential problem’, which is the issue of how to distinguish the essential properties of natural kinds from their accidental ones, and the related question of whether we really need to believe in the essences of natural kinds (Stephen Mumford). The third is that of strong versus weak dispositional essentialism (Alexander Bird), or (...) equivalently, whether there is any place for categorical properties in an essentialist metaphysic (John Heil). This paper addresses these three issues. (shrink)

Third-party property insurance (TPPI) protects insured drivers who accidentally damage an expensive car from the threat of financial ruin. Perhaps more importantly though, TPPI also protects the victims whose losses might otherwise go uncompensated. Ought responsible drivers therefore take out TPPI? This paper begins by enumerating some reasons for why a rational person might believe that they have a moral obligation to take out TPPI. It will be argued that if what is at stake in taking responsibility is the ability (...) to compensate our possible future victims for their losses, then it might initially seem that most people should be thankful for the availability of relatively inexpensive TPPI because without it they may not have sufficient funds to do the right thing and compensate their victims in the event of an accident. But is the ability to compensate one's victims really what is at stake in taking responsibility? The second part of this paper will critically examine the arguments for the above position, and it will argue that these arguments do not support the conclusion that injurers should compensate their victims for their losses, and hence that drivers need not take out TPPI in order to be responsible. Further still, even if these arguments did support the conclusion that injurers should compensate their victims for their losses, then (perhaps surprisingly) nobody should to be allowed to take out TPPI because doing so would frustrate justice. (shrink)

This paper analyzes Paul of Venice’s theory of measurement of natural properties and changes. The main sections of the paper correspond to Paul’s analysis of the three types of accidental changes, for which the Augustinian philosopher sought to provide rules of measurement. It appears that Paul achieved an original synthesis borrowing from both Parisian and Oxfordian sources. It is also argued that, on top of this theoretical synthesis, Paul managed to elaborate a quite original theory of intensive (...) class='Hi'>properties that marks him out not only from the nominalist framework of his Parisian sources but also from the usual realist treatments of the problem. Finally, it is shown that, to a certain extent, Paul undertook to apply the mathematical and logical tools inherited from the Calculatores tradition to empirical problems of natural philosophy, leading to reevaluate his role in the evolution of scientific thought in early 15th-century Italy. (shrink)

Is it possible that there are extended simples—material objects extended in space or spacetime that have no proper parts? The most commonly cited argument for this possibility is based on a version of the Humean principle: namely (and with some qualifications), any pattern of instantiation of a fundamental relation is possible. In this paper, we make the Humean argument fully explicit, and criticise it from three aspects—the Disjunction problem, the Pluralist problem, and the Accidentality problem. First, the original argument only (...) shows a disjunctive thesis: either extended simples are possible, or unextended complexes are possible. In order to reach the desired conclusion, some additional premise is needed. Yet, even though we agree that the Disjunction problem can be met, we argue that the Humean argument fails to establish the possibility of extended simples, for two reasons: the first comes from compositional pluralism, and the second is about the definition of accidental properties. We contend that the latter two problems put the proponents of the Humean argument in serious difficulty. Thus, metaphysicians who hold that there are extended simples should find better arguments for this view. (shrink)

Margaret Wise Brown's The Important Book, which is a childrens' picture book, provides an excellent opportunity to discuss metaphysics. The book opens up for our reflection the viability of a certain metaphysical account of the nature of objects. In making a distinction between the important feature or property of an object and all the others that it simply is or has, The Important Book operates with the assumption that all objects have what metaphysicians call an essential property. As the book (...) has it, while there are many things that are true of any object, only one is essential to it. These other things are accidents or non‐essential properties of the object. Essentialism is the metaphysical view that objects have one property — their essential property — that cannot change while the object remains the same thing. (shrink)

Machine learning and essentialism have been connected in the past by various researchers, in order to state that the main paradigm in machine learning processes is equivalent to choosing the “essential” attributes for the machine to search for. Our goal in this paper is to show that there are connections between machine learning and essentialism, but only for some kinds of machine learning, and often not including deep learning methods. Similarity-based approaches, more connected to the overall prototype theory, spanning from (...) psychology and linguistics, seem more suited for pattern recognition and complex deep-learning issues, while for classification problems, mostly for unsupervised learning, essentialism seems like the best choice. In order to illustrate the difference better, we will connect both paths to their sources in other disciplines and see how human psychology influences our decision in machine-learning modeling as well. This leads to a philosophically very interesting consequence: even in the setting of supervised machine learning, essences are not present in data, but in targets, which in turn means that the categories which purport to be essences are in fact human-made, and hand-coded in the targets. The success of machine learning, therefore, does not give any substantial evidence for the independent existence of essential properties. Our stance here is to state that neither the existence nor the lack of “essential” properties in machine learning can lead to metaphysical, i.e., ontological claims. (shrink)

Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and (...) the existence of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. (...) Essential bundle theory delivers a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)