This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

The leading account of intrinsicality over the last thirty years has arguably been David Lewis's account in terms of perfect naturalness. Lewis's account, however, has three serious problems: i) it cannot allow necessarily coextensive properties to differ in whether they are intrinsic; ii) it falsely classifies non-qualitative properties like being Obama as non-intrinsic; and iii) it is incompatible with a number of metaphysical theories that posit irreducibly non-categorical properties. I argue that, as a result of these problems, Lewis's account should (...) be rejected and replaced with an alternative account, which also analyses intrinsicality in terms of perfect naturalness, but which avoids these problems. (shrink)

In this paper I explore the implications of moral vagueness (viz., the vagueness of moral predicates) for non-naturalist metaethical theories like those recently championed by Shafer-Landau, Parfit, and others. I characterise non-naturalism in terms of its commitment to 7 theses: Cognitivism, Correspondence, Atomism, Objectivism, Supervenience, Non-reductivism, and Rationalism. I start by offering a number of reasons for thinking that moral predicates are vague in the same way in which ‘red’, ‘tall’, and ‘heap’ are said to be. I then argue that (...) the moral non-naturalist seeking to countenance moral vagueness faces a dilemma: are moral properties vague, or perfectly sharp? On either horn of the dilemma, serious problems arise for some of the central tenets of non-naturalism: vague properties seem to threaten Objectivism, Supervenience, and Non-reductivism; on the other hand, sharp properties raise problems for Supervenience and Rationalism. The difficulties on each horn of the dilemma are real, and while they may not be insuperable, they do, at the very least, drastically limit the things non-naturalists can consistently say about moral properties, facts, and reasons. (shrink)

Jaegwon Kim argues that unreduced mental causes are excluded from efficacy because physical causes are sufficient in themselves. One response to this causal exclusion argument is to embrace some form of overdetermination. In this paper I consider two forms of overdetermination. Independent overdetermination suggests that two individually sufficient causes bring about one effect. This model fails because the sufficiency of one cause renders the other cause unnecessary. Dependent overdetermination suggests that a physical cause is necessary and sufficient for a given (...) effect, but it necessitates a mental cause of the effect as well. This model fails because the necessity of the mental cause renders the physical cause individually insufficient. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

It is widely held that one can be responsible for doing something that one was unable to avoid doing. This paper focuses primarily on the question of whether one can be responsible for not doing something that one was unable to do. The paper begins with an examination of the account of responsibility for omissions offered by John Martin Fischer and Mark Ravizza, arguing that in many cases it yields mistaken verdicts. An alternative account is sketched that jibes with and (...) explains judgments about a variety of omissions cases, including intentional omissions as well as simple failures to act. (shrink)

In several recent issues of this journal, I argued for an account of property possession as strict, numerical identity. While this account has stuck some as being highly idiosyncratic in nature, it is not entirely something new under the sun, since as I will argue in this paper, it turns out to have a historic precedent in Plato⠀™ s theory of forms. Indeed, the purpose of this paper is twofold. The first is to show that my account of property (...) possession can be utilized to provide a novel interpretation of Plato⠀™ s theory of forms. And the second is to show that once it has been divorced from a variety of implausible doctrines with which it has historically been wedded, Plato⠀™ s central insight that all properties possess themselves, far from being of mere historical interest, is independently plausible, ironically enough, even from an empirical point of view. (shrink)

What makes it true when we say that something is not the case? Truthmaker maximalists think that every truth has a truthmaker—some fact in the world—that makes it true. No such facts can be found for the socalled negative truths. If a proposition is true when it has a truthmaker, then it would be false when it has no truthmaker. I therefore argue that negative truths, such as t<p>, are best understood as falsehoods, f<p>.

Within the community of philosophers who advocate a broadly realist picture of laws of nature, there remains a vexed question about truthmakers: What is it that makes statements of natural law true? One view has it that the laws of a world are true in virtue of the fact that there exist ultimate dispositions or powers at that world. Following Brian Ellis and Caroline Lierse, I call this view 'Dispositional Essentialism,' and I defend it against a recent attack from Stephen (...) Mumford who prefers the view according to which natural laws are a kind of 'brute fact'. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

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)

Entities of many kinds, not just material things, have been credited with parts. Armstrong , for example, has taken propositions and properties to be parts of their conjunctions, sets to be parts of sets that include them, and geographical regions and events to be parts of regions and events that contain them. The justification for bringing all these diverse relations under a single ‘part–whole’ concept is that they share all or most of the formal features articulated in mereology . But (...) the concept has also prompted an ontological thesis that has been expressed in various ways: that wholes are ‘no ontological addition’ to their parts ; that to list both a whole and its parts is ‘double counting’; and that there is ‘no more’ to a whole than its parts: for example, that there is no more to a conjunction than the conjuncts that are its parts, and whose truth or falsity determines whether it is true or false. For brevity, I shall express the thesis in the last of these ways, as the claim that entities with parts are ‘nothing but’ those parts. (shrink)

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

A shift in emphasis can change the truth-value of a singular causal sentence. This poses a challenge to the view that singular sentences predicate a relation. I argue that emphasized causal sentences conjoin predication of a causal relation between events with predication of a relation of causal relevance between states of affairs (or perhaps facts). This is superior to the treatments of such sentences offered by Achinstein, Dretske, Kim, Sanford, Bennett, and Levin. My proposal affords clarity regarding logical structure, at (...) least at a certain level of detail. It makes the relation between the content of an emphasized causal sentence and the unemphasized version clear. It answers some questions about the ontological requirements of the truth of emphasized causal sentences, without introducing new entities (as do some other accounts) or unacceptable consequences for identity and individuation of events. (shrink)

An intrinsic property, as David Lewis puts it, is a property "which things have in virtue of the way they themselves are", as opposed to an extrinsic property, which things have "in virtue of their relations or lack of relations to other things".1 Having long hair is an intrinsic property; having a long-haired brother is not. Intuitive as this notion is (and valuable in doing philosophy, I might add), it seems to resist analysis. Analysis, that is, to “quasi-logical” notions such (...) as necessity, spatiotemporal location: using stronger tools, Lewis has given an analysis of intrinsicality that I take to be roughly correct. Lewis initially described intrinsic properties in his 1983 paper "Extrinsic Properties" as follows. (shrink)

Since the late 1980’s Kim has presented some major reasons to abandon SC. In MIAPW at least four of these reasons are offered: under SC we lose mental causation, mental realism and psychological explanations. Moreover, supervenience cannot do the job as the cementing relation in SC.

Hempel first introduced the paradox of confirmation in (Hempel 1937). Since then, a very extensive literature on the paradox has evolved (Vranas 2004). Much of this literature can be seen as responding to Hempel’s subsequent discussions and analyses of the paradox in (Hempel 1945). Recently, it was noted that Hempel’s intuitive (and plausible) resolution of the paradox was inconsistent with his official theory of confirmation (Fitelson & Hawthorne 2006). In this article, we will try to explain how this inconsistency affects (...) the historical dialectic about the paradox and how it illuminates the nature of confirmation. In the end, we will argue that Hempel’s intuitions about the paradox of confirmation were (basically) correct, and that it is his theory that should be rejected, in favor of a (broadly) Bayesian account of confirmation. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (shrink)

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

In his two recent books on ontology, Universals: an Opinionated Introduction, and A World of States of Affairs, David Armstrong gives a new argument against nominalism. That argument seems, on the face of it, to be similar to another argument that he used much earlier against Rylean behaviourism: the Truthmaker Argument, stemming from a certain plausible premise, the Truthmaker Principle. Other authors have traced the history of the truthmaker principle, its appearance in the work of Aristotle [10], Bradley [16], and (...) even Husserl [15]. But that is not my task — in this paper I argue that Armstrong’s new argument is not logically analogous to the old, and, in particular, that it is quite possible to be a thoroughgoing nominalist, and hold a truthmaker principle. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

An argument for realism (i.E., The ontological thesis that there exist universals) has emerged in the writings of david armstrong, Fred dretske, And michael tooley. These authors have persuasively argued against traditional reductive accounts of laws and nature. The failure of traditional reductive accounts leads all three authors to opt for a non-Traditional reductive account of laws which requires the existence of universals. In other words, These authors have opted for accounts of laws which (together with the fact that there (...) are laws) entail that realism is true. This argument for realism which emerges from the work of armstrong, Dretske, And tooley is discussed and criticized. Conclusions from the discussion question the tenability of all reductive accounts of laws. (shrink)

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

Anything is similar to anything, provided the respects of similarity are allowed to be gerrymandered or gruesome, as Goodman observed.2 But similarity in non-gruesome or—as I shall say—genuine respects is much less ecumenical. Colors, it seems, provide a compelling illustration of the distinction as applied to similarities among properties.3 For instance, in innumerable gruesome respects, blue is more similar to yellow than to purple. But in a genuine respect, blue is more similar to purple than to yellow (genuinely more similar, (...) as I shall sometimes put it). (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Michael Tooley, in Plantinga & Tooley, "Knowledge of God" (Blackwell 2008) argues that, in the absence of strong evidence in favour of the existence of God, the logical probability of God's existence is extremely low. His argument focusses on rightmaking and wrongmaking properties of divine actions, and employs Carnap's inductive logic to reach his conclusion. I argue that Tooley's argument's conceptual foundations are problematic, and that his application of Carnap's inductive logic is flawed. I then provide an alternative analysis of (...) the relevant inductive issues. (shrink)

Many recent accounts of the ontology of groups, institutions, and practices have touched upon the normative or deontic dimensions of social reality (e.g., social obligations, claims, permissions, prohibitions, authority, and immunity), as distinct from any specifically moral values or obligations. For the most part, however, the ontology of such socio-deontic phenomena has not received the attention it deserves. In what sense might a social obligation or a claim exist? What is the ontological status of such an obligation (e.g., is it (...) an entity in its own right)? And how do people come to have social obligations or permissions in the first place? In this dissertation, I argue that such social-deontic phenomena can be accounted for ontologically in terms of the existence of shared prescriptive representational content that is backed by collectively held dispositions to monitor for compliance, and to punish (sanction, blame, chide, look unfavorably upon) those who fail to comply. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

The debate over whether we should believe that mathematical objects exist quickly leads to the question of how to determine what we should believe. Indispensabilists claim that we should believe in the existence of mathematical objects because of their ineliminable roles in scientific theory. Eleatics argue that only objects with causal properties exist. Mark Colyvan’s recent defenses of Quine’s indispensability argument against some contemporary eleatics attempt to provide reasons to favor the indispensabilist’s criterion. I show that Colyvan’s argument is not (...) decisive against the eleatic and sketch a way to capture the important intuitions behind both views. (shrink)

Roman Catholic and Eastern Orthodox theologians claim that the unique event of Christ’s sacrifice on Calvary is present in Eucharistic liturgies. A popular explanatory strategy for this miraculous presence suggests that due to its supernatural character the Eucharist “conquers time,” transcends its boundaries, and allows for temporal coincidence of two chronologically distant events. I discuss the four main approaches within this strategy that can be discovered in contemporary theological writings. The first approach implies a time travel of the Calvary event. (...) The second suggests the time travel of Eucharistic participants. The third eliminates the chronological distance by relocating one of the events into a timeless reality. The fourth assumes multilocation of the event across time. I argue that each of these approaches is untenable on philosophical or theological grounds. (shrink)

In this paper, it is argued that those who claim that the dispositionalist theory of color has even a prima facie advantage over color physicalism in accommodating the similarity relations that seem to hold among the colors are mistaken. The appearance that dispositionalists can handle the relevant similarity claims stems from the unexamined assumption that the similarity of two dispositions is simply a matter of the similarity of the manifestations of those dispositions. A more careful treatment of the ways in (...) which two dispositions can be similar to, or different from, one another must consider both the bases and the manifestation conditions of those dispositions in addition to their manifestations. After examining cases of dispositions from outside the domain of colors, it is argued that attention to conditions of manifestation provides a particularly strong reason for rejecting the assumption that similarity of manifestations entails similarity of dispositions. Without this assumption, dispositionalists about color are shown to be in the same position as non-dispositionalists regarding similarity relations among the colors. This way of responding to color dispositionalism is compared with two other responses [offered by Byrne :641–665, 2003) and McLaughlin ], and shown to be a candidate to strengthen, rather than replace, either one. (shrink)

That laws of nature play a vital role in explanation, prediction, and inductive inference is far clearer than the nature of the laws themselves. My hope here is to shed some light on the nature of natural laws by developing and defending the view that they involve genuine relations between properties. Such a position is suggested by Plato, and more recent versions have been sketched by several writers.~ But I am not happy with any of these accounts, not so much (...) because they lack detail or engender minor difficulties, though they do, but because they share a quite fundamental defect. My goal here is to make this defect clear and, more importantly, to present a rather different version of this general conception of laws that avoids it. I begin by considering several features of natural laws and argue that these are best explained by the view that laws involve properties, that this involvement takes the form of a genuine relation between properties, and, finally, that the relation is a metaphysically necessary one. In the second section I start at the other end, and by reflecting on the nature of properties arrive at a similar account of natural laws. In the final section I develop this account in more detail, with emphasis on the nature of the relation between properties it invokes. Along the way several natural objections to the account are answered. (shrink)

The paper claims that Hume ’s philosophy contains an ontology, i.e. an abstract exhaustive classification of what there is. It is argued that Hume believes in the existence of a mind-independent world, and that he has a classification of mind-related entities that contains four top genera: perception, faculty, principle and relation. His ontology is meant to be in conformity with his philosophy of language and epistemology, and vice versa. Therefore, crucial to Hume ’s ontology of mind-independent entities is his notion (...) of ‘supposing relative ideas ’. Entities that are referred to by means of ordinary ideas can be truly classified, whereas entities that are referred to by means of relative ideas can only be hinted at. When Hume ’s ontology is highlighted and systematised, his notion ‘the faculty of imagination’ becomes highly problematic. However, the exposition also makes it clear that Hume deserves the honorary title: the first cognitive scientist. (shrink)

The type-type reductive identity of the mental to the physical was once the dominant position in the mental causation debate. In time this consensus was overturned, largely due to its inability to handle the problem of multiple realizability. In its place a nonreductive position emerged which often included an adherence to functionalism. Functionalism construes mental properties as functional states of an organism, which in turn have specific physical realizers. This nonreductive form of functionalism, henceforth called role functionalism, has faced a (...) number of criticisms itself. Chief among these is the concern that the realizer of the functional role is causally sufficient, so the role property does not make a contribution of its own. In this paper I argue that there is a way for unreduced functional properties to play a role after all. This is done by conceiving of functional properties as higher level functional properties of a macro system which determine that its realizers will play the roles that they play. (shrink)

Leibniz speaks, in a variety of contexts, of there being two realms—a "kingdom of power or efficient causes" and "a kingdom of wisdom or final causes." This essay explores an often overlooked application of Leibniz's famous "two realms doctrine." The first part turns to Leibniz's work in optics for the roots of his view that nature can be seen as being governed by two complete sets of equipotent laws, with one set corresponding to the efficient causal order of the world, (...) and the other to its teleological order. The second part offers an account of how this picture of lawful over-determination is to be reconciled with Leibniz's mature metaphysics. The third addresses a line of objection proposed by David Hirschmann to the effect that Leibniz's doctrine undermines his stated commitment to an efficient, broadly mechanical account of the natural world. Finally, the fourth part suggests that Leibniz's thinking about the harmony of final and efficient causes in connection with corporeal nature may help to shed light on his understanding of the teleological unfolding of monads as well. (shrink)

Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena (...) is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion. (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)

What is the new essentialist asking us to accept? Not that there are natural kinds, nor that there are intrinsic causal powers. These things could be accepted without a commitment to essentialism. They are asking us to accept something akin to the Kripke‐Putnam position: a metaphysical theory about kind‐membership in virtue of essential properties. But Salmon has shown that there is no valid argument for the Kripke‐Putnam position: no valid inference that gets us from reference to essence. Why then should (...) we accept essentialism? A remaining reason is Ellis's argument by display: we should buy essentialism because of the benefits it will bring. But are these benefits real? The problem is that the putative benefits of essentialism – that the laws of nature are necessary, that the problem of induction is solved, and so on – look actually to be the assumptions of Ellis's theory. If that is the case, there is no real benefit to be gained from adopting the theory. The argument for essentialism is therefore underdetermined and it remains possible to accept natural kinds into one's ontology without accepting their corresponding essences. (shrink)

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (shrink)

The following paper attempts to explore, criticizeand develop Thomas Kuhn's mostmature – and surprisingly neglected – view ofincommensurability. More specifically, itfocuses on (1) undermining an influential picture ofscientific kinds that lies at the heartof Kuhn's understanding of taxonomic incommensurability;(2) sketching an alternativepicture of scientific kinds that takes advantage ofKuhn's partially developed theory ofdisciplinary matrices; and (3) using these two resultsto motivate revisions to Kuhn'stheory of taxonomic incompatibility, as well as, tothe purported bridge betweentaxonomic incompatibility and some of the traditionalproblems associated (...) withincommensurability. (shrink)

I shall endeavor to show that every physical theory since Newton explains without drawing attention to causes–that, in other words, physical theories as physical theories aspire to explain under an ideal quite distinct from that of causal explanation. If I am right, then even if sometimes the explanations achieved by a physical theory are not in violation of the standard of causal explanation, this is purely an accident. For physical theories, as I will show, do not, as such, aim at (...) accommodating the goals or aspirations of causal explanation. This will serve as the founding insight for a new theory of explanation, which will itself serve as the cornerstone of a new theory of scientific method. (shrink)