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)

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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it (...) changes, such as when a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

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)

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.

The doctrine of God’s absolute simplicity denies the possibility of real distinctions in God. It is, e.g., impossible that God have any kind of parts or any intrinsic accidental properties, or that there be real distinctions among God’s essential properties or between any of them and God himself. After showing that some of the counter-intuitive implications of the doctrine can readily be made sense of, the authors identify the apparent incompatibility of God’s simplicity and God’s free choice (...) as a special difficulty and associate it with two others: the apparent incompatibilities between essential omnipotence and essential goodness, and between perfect goodness and moral goodness. Since all three of these difficulties are associated with a certain understanding of the nature of God’s will, the authors base their resolution of them on an account of will in general and of God’s will in particular, drawing on Aquinas’s theory of will.Taking creation as their paradigm of divine free choice, the authors develop a solution of the principal incompatibility based on three claims: God’s acts of choice are both free and conditionally necessitated; the difference between absolutely and conditionallynecessitated acts of will is not a real distinction in God; and the conditional necessity of God’s acts of will is compatible with contingency in the objects of those acts. The heart of their solution consists in their attempt to make sense of and support those claims.The authors extend their solution to cover the two associated apparent incompatibilities as well.The article concludes with observations on the importance of the doctrine of God’s absolute simplicity for resolving problems in religious morality and in the cosmological argument. (shrink)

Essentialism can be defined as a metaphysical theory according to which things have essential and accidental properties. In this paper, I will address Avicennian essentialism, that is, essentialism...

This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous to Abusch’s (1985) WOLL. (...) I offer St’át’imcets-internal evidence (of a kind not previously adduced) that the WOLL-like operator is modal in nature. It follows from the analysis presented here that there are only two (probably related) differences between St’át’imcets and English in the area of tense. The first is that St’át’imcets lacks tense morphemes which are pronounced. The second is that the St’át’imcets tense morpheme is semantically underspecified compared to English ones. In each of these respects, the St’át’imcets tense morpheme displays similar properties to pronouns, which may be covert and which may fail to distinguish person, number or gender. Along the way, I point out several striking and subtle similarities in the interpretive possibilities of St’át’imcets and English. I suggest that these similarities may reveal non-accidental properties of tense systems in natural language. I conclude with discussion of the implications of the analysis for cross-linguistic variation, learnability and the possible existence of tenseless languages. (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)

Ellis argues that certain essential properties of objects in the world not only determine the nature of these objects but also how they will behave in any situation. In this paper I will critique Ellis's essentialism from the perspective of the philosophy of chemistry, arguing that our current knowledge of chemistry in fact does not lend itself to essentialist interpretations and that this seriously undercuts Ellis's project. In particular I will criticize two key distinctions Ellis draws between internal vs. (...) external properties and essential vs. accidental properties, showing that at the chemical level such distinctions are insupportable. If essential properties only exist at the level of sub-atomic physics, then Ellis's hopes that essentialism will provide a theoretical basis for a philosophy of chemistry are at best hopes for a very distant future, since the argument that chemical structure and dynamics can be explained at the quantum level derived is purely from analogy to much simpler systems than those chemists actually study. This suggests that we have very little scientific evidence that scientific essentialism is a viable ontology. †To contact the author, please write to: Department of Philosophy, University of Notre Dame, Notre Dame, IN 46556; e-mail: [email protected]. (shrink)

Fairchild (2019) advertised the humility of material plenitude, arguing that despite the profligate ontology of coincident objects it entails, the best version of plenitude is one that takes no stand on a range of nearby questions about modality and coincidence. Roughly, the thought is that plenitude says only that there are coincident objects corresponding to every consistent pattern of essential and accidental properties. Plenitude says (or should say) nothing about which patterns those might be, and so should be (...) compatible with any reasonable hypothesis about which combinations of properties it is possible for something to have. I argued in the earlier paper that a particular formulation of the target view (Global Plenitude) has exactly that virtue. But, unfortunately, Global Plenitude turns out not to be very humble at all. Global Plenitude is incompatible with an exceptionally compelling hypothesis about coincidence: that there are some things which coincide, but might not have. Scandal ensues. (shrink)

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic (...) idea is that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted. (shrink)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind‐dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of modal (...) truth. (shrink)

Must we choose between reducing material substances to collections of properties, a’ la Berkeley and Hume or positing bare particulars, in the manner of Locke? Having repudiated the notion that a substance could simply be a collection of properties existing on their own, is there a viable alternative to the Lockean notion of a substratum, a being essentially devoid of character? E.J. Lowe and Michael Loux would answer here in the affirmative. Both recommend hylomorphism as an upgrade on (...) the metaphysics of the British empiricists: treating a material substance as its essential 'form,' this embodied 'substance' universal being, in turn, the substratum in which its 'accidents' inhere. Here, I evaluate this Aristotelian metaphysics, identifying the advantages it enjoys over the empiricist's alternatives pertaining to dependence, unity, identity, change, and the distinction between essential and accidental properties. I also develop solutions to the two problems that Loux sees it posing. (shrink)

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties (...) and the range of its accidental properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (shrink)

Kind representations, concepts like table, triangle, dog, and planet, underlie generic language. Here, we investigate the formal structure of kind representations—the structure that distinguishes kind representations from other types of representations. The present studies confirm that participants distinguish generic‐supporting properties of individuals (e.g., this watch is made of steel) and accidental properties (e.g., this watch is on the nightstand). Furthermore, work dating back to Aristotle establishes that only some generic‐supporting properties bear a principled connection to the (...) kind, that is, are true of an individual by virtue of its being a member of a specific kind (e.g., telling time for a watch). The present studies tested the hypothesis that principled connections are part of the formal structure of kind representations. Specifically, they tested whether they structure a newly learned kind representation. Experiment 1 found that introducing a property of a newly encountered novel kind in any one of four linguistic frames that provide evidence that a property has a principled connection to a kind (e.g., “It has fur because it is a blick”) led participants to infer a different conceptual consequence of principled connections (i.e., “There is something wrong with this blick, which does not have fur”) for which they had no direct evidence. Two introduction frames that provided no evidence for principled connections (e.g., “Almost all blicks have fur”) did not generate the same consequence. Experiment 2 found that all of the targeted properties were generic licensing, irrespective of the introduction frame. That the distinction between properties that bear principled connections to their kinds, and merely generic‐supporting properties structures novel kind representations, provides strong evidence that this distinction is part of the formal structure of kind representations. (shrink)

The thought experiment is a seemingly indispensable tool in the armchair philosopher’s toolbox. One wonders, for example, how philosophers could come to think that justified true belief isn’t knowledge, that reference isn’t determined by an expression’s associated description, or that moral responsibility doesn’t require the ability to do otherwise, without the use of thought experiments. But even if thought experiments play an integral role in philosophical methodology, their legitimacy is at least initially puzzling: one would think that significant knowledge of (...) the world requires extensive empirical investigation. But since thought experiments are done from the armchair, how can they tell us about the world? -/- A standard account of the nature and utility of thought experiments provides an answer to this question, and in a way that fits naturally with a standard picture of the nature of the facts philosophers investigate: Philosophers are about the business of investigating the essences of things and kinds. But a thing’s essential and accidental properties are modal properties. Thus, one can discern a thing’s essence by discovering its modal profile. But if so, then thought experiments are naturally suited as tools for the armchair philosopher. For thought experiments shed light on modal facts. Therefore, since philosophers investigate essences, facts about essence are modal facts, and the thought experiment is one of the few tools they have for discerning such facts, thought experiments play a legitimate and indispensable role in philosophical methodology. In my dissertation, I argue that the standard account of the nature and utility of thought experiments is inadequate, and sketch a more promising account. -/- First, I argue that our knowledge of possibility is restricted to the relatively humdrum. And if so, then since the standard account ties the utility of thought experiments to our knowledge of possibility, too many thought experiments will be ruled out as useless, which raises serious concerns about the significance, and perhaps even the legitimacy, of armchair philosophy. Thus, there is pressure for armchair philosophers to reject the standard account. -/- Second, I sketch an alternative picture of the nature of facts philosophers investigate – one that’s more fine-grained than the standard modal-profile picture. Relatedly, I sketch a correspondingly fine-grained semantics for claims about such facts. This alternative picture underwrites the legitimacy of a hitherto underappreciated sort of thought experiment, which I call the non-modal thought experiment. Such thought experiments shed light on facts about the world that are more fine-grained than what can be discerned by merely examining their modal profiles. I argue that non-modal thought experiments often succeed at just the points where the more familiar modal thought experiments fail, and thus that the two are naturally suited to complement one another in the philosopher’s practice. -/- Finally, I exploit the points mentioned above to sketch an account of the variety and utility of thought experiments that’s much more nuanced than that of the standard account. I then illustrate some of its virtues by indicating its ability to account for a wide range of epistemically forceful thought experiments – both humdrum and exotic –, and by demonstrating how it can be used to make progress in debates that have reached a stalemate due to conflicting modal intuitions. -/- . (shrink)

The aim of the paper is to shed light on the problem of identity of particulars over time within the framework of Quinean analysis. First, it focuses on the relationship between essential and accidental property changes as a criterion for distinguishing cases when objects retain their identity from cases when they loose it. In this part it is shown, that a coherent distinction between essential and accidental properties is problematic. Quinean approach indicates that we do not need (...) to look for any kind of criterion of identity of particulars over time. Hence, the conclusion is that the identity of particulars over time should not be viewed as a problem of how to understand the concept of identity, but rather as a problem of how to understand certain general concepts, i.e. how to individualize certain parts of the world by the use of certain general terms. (shrink)

Thought experiments are often employed by philosophers who try to differentiate between essential and accidental properties. These experiments are said to stimulate the intuition of the reader (be it eidetic, linguistic or any other type of intuition). But sometimes they rather persuade the reader than test his intuition. How can we test the readers without revealing to them the role of test subjects they play? I suggest that some works of fiction can be treated as massive thought experiments (...) because they are very similar to the stories philosophers use. The trouble is, that in the case of fiction our intuition is much more liberal and we accept things we would have certainly called impossible had they been presented to us in a philosophical article. I use some examples to show that our notion of impossibility depends on our naive, commonsense preconceptions of what objects and technologies exist in the world we are talking about. But this is exactly the type of knowledge philosophers ask us to suspend when they present their thought experiments. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:31 Hunie on Intuitive and Demonstrative Inference This paper is divided into four sections. The first section deals with Hume's attempt to resolve a dilemma concerning the objects of intuitive and demonstrative inference. In the second section I try to show that his resolution of the dilemma is hard to reconcile with his phenomenalist doctrine of the origin of ideas. In the third section I examine tne meaning of (...) "intuition" in Hume. Finally, in the fourth section I compare his view of mathematical inference with his view of causal inference, a kind of inference to which he tends to assimilate the former. What are the objects of intuitive and demonstrative inference in Hume supposed to be? In the Treatise they are co-extensive with four kinds of philosophical relations resemblance, contrariety, degrees in quality and proportions in quantity or numbers. The distinguishing characteristic of the group, according to Hume, is that they all depend entirely on the ideas which we compare together. Tne example he gives is that of a triangle 2 whose three angles are equal to two right ones. And this presumably is at the same time an example of a relation of proportion in quantity or numbers. Needless to say, what cries out for explanation here, apart from the notion of comparison with which we shall deal later, is the phrase "depend entirely upon the ideas." Hume himself does not provide the explanation. Consequently, a certain amount of speculation becomes inevitable. One fairly plausible although, as we shall see, not entirely satisfactory interpretation of the phrase in question would associate it with a thesis concerning the reducibility of relations between exemplars of properties to relations between the properties themselves. Thus it may 32 be argued that the equality holding between the three angles of a triangle and two right angles is reducible to an equality holding between certain of their properties. The properties would be the 180° that each set of angles exemplifies. Indirect evidence for this interpretation is provided by Hume's account of the relations of contiguity and distance, species presumably of relations of time and place, which do not, according to him, depend upon the ideas wnich are compared together. Indeed, these relations may be changed by "an alteration of their place, without any change on the objects themselves or on their 3 ideas." "The place" in its turn "depends on a hundred 4 different accidents which cannot be foreseen by the mind." Leaving aside Hume's failure or refusal to draw a clear distinction here between ideas and objects which probably has to do with his belated realization that only the latter have places and are contiguous to or distant from one another, one notes his insistence that an object's place is not an essential property of the object. For his use of the word "accident" in the above-quoted passage has very little to do with its ordinary use and everything to do with its logical one where it is contrasted with "essential." Furthermore, the sentence immediately preceding the one containing that passage gives some indication of what Hume takes its logical use to be : A determinate property is an accidental one if loss of that property does not affect the object's identity or, as he would put it, the object itself. Nor is the accidental nature of the property anything but reinforced by its dependence logical or otherwise upon other accidental properties which like all such properties require an appeal to observation and induction in order to determine whether they are exemplified by that object. The loss of an essential property, on the other hand, would affect the object's identity because such properties are contained in the very definition of the object. And it suffices to understand the definition - Hume's foreseeing by the 33 7 mind comes in here - in order to determine that the property is exemplified by the object. How does this account provide indirect evidence for our interpretation of Hume? The answer is relatively straightforward. According to that interpretation, relations which depend entirely on the ideas which we compare together are tnose where relations between exemplars of properties are reducible to relations between... (shrink)

Essentialists claim that we can distinguish between an object's essential and its accidental properties. Following important developments in modal logic during the 1960s and 70s, the orthodox view was that the essential properties of an object are its necessary properties. In his influential 1994 paper "Essence and Modality", Kit Fine argues that the orthodox view is wrong. His two main claims are that first, essentiality cannot be defined in terms of necessity and second, that necessity should (...) instead be defined in terms of essentiality. In my dissertation, I aim to undermine both of his claims in order to defend a variation of the orthodox view. To do this, I first develop Fine's proposal for an essentialist definition of necessity into a more general essentialist theory of modality. I then raise a series of problems for the resulting theory. Finally, I introduce and defend a novel definition of essentiality in terms of metaphysical necessity and a notion of metaphysical dependence. (shrink)

How should we interpret the declaration in I John 4:8 and 16 that God not only loves, but is love? Many philosophically trained Christians will no doubt interpret this, as I do, to mean that love is part of God's very essence; that loving kindness is an essential, not merely an accidental, property of God. Of course the author of I John was not a philosopher and did not, fortunately, employ philosophical jargon in his writings; nor was he likely (...) even familiar with the philosophical distinction between essential and accidental properties. He nonetheless seems clearly to employ "God" as a proper name (as opposed to a title), the name of a distinct person whom we ought to adore and worship, and he says concerning this person that he is love. The point, then, hardly seems to be that the person who is God just happens to love us, as if it were a happy accident that he does; the point seems to be that it is his very nature to love us. In a broadly logical (or metaphysical) sense, it couldn't have been otherwise.1 That this is, at the very least, a natural interpretation seems indisputable. Commenting upon I John 4:8, the conservative New Testament scholar, Leon Morris, thus writes: God is love. This means more than `God is loving'. It means that God's essential nature is love. He loves, so to speak, not because he finds objects worthy of His love, but because it is His nature to love. His love for us depends not on what we are, but on what He is. He loves us because He is that kind of God. (shrink)

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential (...) and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created. (shrink)