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.

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

An intrinsic property is roughly a property things have in virtue of how they are, as opposed to how they are related to things outside of them. This paper argues that it is not possible to give a definition of 'intrinsic' that involves only logical, modal and mereological notions, and does not depend on any special assumptions about either properties or possible worlds.

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

David Lewis, following in the tradition of Broad, Quine and Goodman, says that change in an object X consists in X's being temporally extended and having qualitatively different temporal parts. Analogously, change in a spatially extended object such as a road consists in its having different spatial parts . The alternative to this view is that ordinary objects undergo temporal change in virtue of having different intrinsic non-relational properties at different times. They endure, remaining the same object throughout change, whereas (...) Lewis's temporally extended 4D objects perdure.It is impossible to come down on one side or the other of the endurance/perdurance debate without a clear and unambiguous understanding of what ‘endurance’ is. ‘Perdurance’ is clear enough. Every 4D object of non-zero temporal thickness perdures simply by having temporal extension, i.e. by having different temporal parts, or stages, at different times. But Lewis muddies the waters by giving a confused and ultimately untenable definition of endurance.His first step is to cover both perduring and enduring by offering the neutral word persist. ‘Let us say that something persists iff, somehow or other, it exists at various times’ . Something then perdures if it persists by having different temporal parts at different times, no one part being wholly present at more than one time. In contrast, a thing endures if it persists by being wholly present at more than one …. (shrink)

The causal theory of properties is standardly combined with a realist's ontology of universals or tropes. In this paper, I consider an uncharted alternative – a nominalist causal theory of properties. I discuss advantages and disadvantages of the resulting theory of properties, and explore the Rylean understanding of causal powers that emerges.

According to four dimensionalism, the material world is divided into momentary stages. In a four-dimensional world, which objects are the ordinary things, the things we normally name and quantify over? Aggregates of stages, according to most four-dimensionalists, but according to stage theorists (or exdurantists), ordinary objects are instead to be identified with the stages themselves. (A temporal counterpart theoretic account of de re temporal predication is then given.) This paper argues that a stage theorist is best positioned to accept David (...) Lewis's argument from temporary intrinsics for four-dimensionalism, since stage theorists are the only four-dimensionalists who attribute monadic temporary intrinsic properties to ordinary things. (shrink)

Events are center stage in several fields of psychological research. There is a long tradition in the study of event perception, event recognition, event memory, event conceptualization and segmentation. There are studies devoted to the description of events in language and to their representation in the brain. There are also metapsychological studies aimed at assessing the nature of mental events or the grounding of intentional action. Outside psychology, the notion of an event plays a prominent role in various areas of (...) philosophy as well as in such diverse disciplines as linguistics, probability theory, artifical intelligence, physics, and�of course� history. This plethora of concerns and applications is indicative of the prima facie centrality of the notion of an event in our conceptual scheme, but it also gives rise to some important methodological questions. Can we identify a core notion that is preserved across disciplines? Does this notion, or some such notion, correspond to the pre-theoretical conception countenanced by common sense? Does it correspond to a genuine metaphysical category? (shrink)

It seems evident that things sometimes get bigger by acquiring new parts. But there is an ancient argument purporting to show that this is impossible: the paradox of increase or growing argument.i Here is a sketch of the paradox. Suppose we have an object, A, and we want to make it bigger by adding a part, B. That is, we want to bring it about that A first lacks and then has B as a part. Imagine, then, that we conjoin (...) B to A in some appropriate way. Never mind what A and B are, or what this conjoining amounts to: let A be anything that can gain a part if anything can gain a part, and let B be the sort of thing that can become a part of A, and suppose we do whatever it would take to make B come to be a part of A if this is possible at all. Have we thereby made B a part of A? It seems not. We seem only to have brought it about that B is attached to A, like this. (shrink)

Exotic ontologies are all the rage. Distant from common sense and often science as well, views like mereological essentialism, nihilism, and fourdimensionalism appeal to our desire to avoid arbitrariness, anthropocentrism, and metaphysical conundrums.1 Such views are defensible only if they are materially adequate, only if they can “reconstruct” the world of common sense and science. (No disrespect to the heroic metaphysicians of antiquity, but this world is not just an illusion.) In the world of common sense and science, bicycles survive (...) changes in their parts, billiard balls strike one another, and nothing travels faster than light. The mereological essentialist denies the rst, but offers this replacement: “there exist successions of numerically distinct, but appropriately related, bicycles with different parts” (Chisholm, , chapter ). The nihilist denies the second, but offers this replacement: “there exist X s and Y s such that the X s are arranged billiard-ball-wise, the Y s are also arranged billiard-ball-wise, and the X s strike the Y s”.2 The four-dimensionalist denies the third, but offers this replacement: “no sequences of matter-stages that are related by genidentity travel faster than light”.3 There is room for disagreement over what exactly “reconstruction” amounts to, but at a minimum: when a metaphysical theory reconstructs ordinary sentences φ1. . . as replacement sentences ψ1. . . , ordinary and scienti c evidence must not refute the view that, strictly speaking, it is ψ1. . . rather than φ1. . . that are true. The metaphysician needs reconstruction in order to face the tribunal of experience. An intriguing newcomer to the contemporary scene is the ancient doctrine of monism, the claim that “reality is one”.4 I will argue that, contrary to.. (shrink)

Pantheism claims: (1) there exists an all-inclusive unity; and (2) that unity is divine. I review three current and scientifically viable ontologies to see how pantheism can be developed in each. They are: (1) materialism; (2) Platonism; and (3) class-theoretic Pythagoreanism. I show how each ontology has an all-inclusive unity. I check the degree to which that unity is: eternal, infinite, complex, necessary, plentiful, self-representative, holy. I show how each ontology solves the problem of evil (its theodicy) and provides for (...) salvation (its soteriology). I conclude that Platonism and Pythagoreanism have the most divine all-inclusive unities. They support sophisticated contemporary pantheisms. (Published Online February 17 2004). (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when applied (...) to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

The Many-Worlds Interpretation (MWI) is an approach to quantum mechanics according to which, in addition to the world we are aware of directly, there are many other similar worlds which exist in parallel at the same space and time. The existence of the other worlds makes it possible to remove randomness and action at a distance from quantum theory and thus from all physics.

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of proper time. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significance of future contingency in special relativity. The framework for future contingents developed here involves the dual falsehood of non-logical contraries, only one of which (...) becomes true. This has several methodological, metaphysical and physical advantages over the alternative traditional frameworks for handling future contingents. (shrink)

Following Lewis, it is widely held that branching worlds differ in important ways from diverging worlds. There is, however, a simple and natural semantics under which ordinary sentences uttered in branching worlds have much the same truth values as they conventionally have in diverging worlds. Under this semantics, whether branching or diverging, speakers cannot say in advance which branch or world is theirs. They are uncertain as to the outcome. This same semantics ensures the truth of utterances typically made about (...) quantum mechanical contingencies, including statements of uncertainty, if the Everett interpretation of quantum mechanics is true. The ‘incoherence problem’ of the Everett interpretation, that it can give no meaning to the notion of uncertainty, is thereby solved. IntroductionMetaphysicsPersonal fissionBranching worldsPhysicsObjections. (shrink)

Standard lore has it that a proper name is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it (...) is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time-bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds--like the “waves” at the stadium or the characters of a cartoon? In such cases the rigidity claim can’t be right and a counterpart-theoretic semantics seems required. Is that bad? I say it isn’t. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)

Jonathan Schaffer distinguishes two sorts of monism. Existence monists say that only one object exists: The World. Priority monists admit the existence of The World’s parts, but say that their features are derivative from the properties of The World. Both have trouble explaining the features of statespace, the set of possibilities available to The World.

La presencia de préstamos léxicos en una lengua es un indicio de la introducción de una palabra foránea y una nueva realidad. Aquí discutiré cómo la presencia de préstamos léxicos en las lenguas es un indicio de la pluralidad del mundo real. Para esto, tomaré la tesis expuesta por Lewis sobre la pluralidad de mundos y presentaré ejemplos del muisca y del español1, como una prueba de que el mundo, como un único lugar donde todo está incluido, conlleva la pluralidad (...) del mundo real, debido a que hay otro que suele ser desconocido y, en consecuencia, no posible dentro de sus mundos posibles. (shrink)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a version (...) of the problem of the regress of instantiation is posed and solved. (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.

In this paper, I critically discuss one of the more influential arguments for mereological universalism, what I will call ‘the Vagueness Argument’. I argue that a premise of the Vagueness Argument is not well supported and that there are at least two good reasons for thinking that the premise in question is false.

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

That grass is green, that pigs don’t fly, and that you are now awake are all hard facts. But there is often said to be something soft about matters of identity over time. Is today’s village church the very church that was first built here, despite centuries of repairs and alterations? How many parts of my bicycle do I need to replace before I get a numerically different bike? If a club disbands and years later some of the original members (...) start a similar club with the same name, have we got two clubs, or one club with a discontinuous history? It is tempting to say that there are no hard answers to these questions laid up in heaven. There is no determinate fact of the matter. Those who disagree about such things are arguing about words, not facts. We are free to say what we like. (shrink)

According to one version of objectivism about value, ethical and other evaluative claims have a fixed truth-value independently of who makes them or the society in which they happen to live (c.f. Davidson 2004, 42). Subjectivists about value deny this claim. According to subjectivism so understood, ethical and other evaluative claims have no fixed truth-value, either because their truth-value is dependent on who makes them, or because they have no truth-value at all.

Fictionalism has recently returned as a standard response to ontologically problematic domains. This article assesses moral fictionalism. It argues (i) that a correct understanding of the dialectical situation in contemporary metaethics shows that fictionalism is only an interesting new alternative if it can provide a new account of normative content: what is it that I am thinking or saying when I think or say that I ought to do something; and (ii) that fictionalism, qua fictionalism, does not provide us with (...) any new resources for providing such an account. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

This paper builds on the system of David Lewis’s “Parts of Classes” to provide a foundation for mathematics that arguably requires not only no distinctively mathematical ideological commitments (in the sense of Quine), but also no distinctively mathematical ontological commitments. Provided only that there are enough individual atoms, the devices of plural quantification and mereology can be employed to simulate quantification over classes, while at the same time allowing all of the atoms (and most of their fusions with which we (...) are concerned) to be individuals (that is, urelements of classes). The final section of the paper canvasses some reasons to be committed to the required ontology for other than mathematical reasons. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties presents (...) some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

When I talk about the objects of belief I do not mean, e.g., the sun to which my thought that the sun will rise tomorrow refers; I do not mean the objects we think about. I take objects rather in a general philosophical sense; they simply are the bearers of properties and the relata of relations. I am thus concerned with the objects that are related by the belief relation „_a_ believes that _p_“. In this scheme „ _a _“ represents (...) a person or an epistemic subject; but I am not going to discuss what a person is. „ _p _“ or „that _p _“ represents an object, namely the object of belief; and I am going to discuss what this is. In other words, I am interested in belief contents – to use a less neutral, narrower and equally unclear term. (shrink)

Recent accounts of pretense have been underdescribed in a number of ways. In this paper, we present a much more explicit cognitive account of pretense. We begin by describing a number of real examples of pretense in children and adults. These examples bring out several features of pretense that any adequate theory of pretense must accommodate, and we use these features to develop our theory of pretense. On our theory, pretense representations are contained in a separate mental workspace, a Possible (...) World Box which is part of the basic architecture of the human mind. The representations in the Possible World Box can have the same content as beliefs. Indeed, we suggest that pretense representations are in the same representational ``code'' as beliefs and that the representations in the Possible World Box are processed by the same inference and UpDating mechanisms that operate over real beliefs. Our model also posits a Script Elaborator which is implicated in the embellishment that occurs in pretense. Finally, we claim that the behavior that is seen in pretend play is motivated not from a ``pretend desire'', but from a real desire to act in a way that ®ts the description being constructed in the Possible World Box. We maintain that this account can accommodate the central features of pretense exhibited in the examples of pretense, and we argue that the alternative accounts either can't accommodate or fail to address entirely some of the central features of pretense. q 2000 Elsevier Science B.V. All rights reserved. (shrink)

A natural way to think about epistemic possibility is as follows. When it is epistemically possible (for a subject) that p, there is an epistemically possible scenario (for that subject) in which p. The epistemic scenarios together constitute epistemic space. It is surprisingly difficult to make the intuitive picture precise. What sort of possibilities are we dealing with here? In particular, what is a scenario? And what is the relationship between scenarios and items of knowledge and belief? This chapter tries (...) to make sense of epistemic space. It explores different ways of making sense of scenarios and of their relationship to thought and language. It discusses some issues that arise and outlines some applications to the analysis of the content of thought and the meaning of language. (shrink)

The article deals with the charge of irrelevance levelled against D. Lewis’s modal realism, notably known as a reductionist account of modality. The charge of irrelevance is apparently one of the most popular objections to modal realism though it often seems that the debate surrounding this charge is not very fruitful since in this context it is common to appeal, implicitly or explicitly, to different criteria for theory choice. As a result, the article deals with the problem in a slightly (...) different manner. The article addresses arguments aimed to show that, contrary to what is often stated, modal realism does not violate our pre-theoretical intuitions, as well as arguments aimed to respond to the charge of irrelevance without appealing to criteria for theory choice at all but providing different reasons instead. However, the aim of this article is to show that all these arguments are rather unconvincing. (shrink)

Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply. And it supplies an explanation of what is going on in the world that makes this the case. But it has at least one potential shortcoming — one that its opponents are likely to seize upon: it can only handle relations with fixed arities. It is unable to handle relations with (...) variable arities. I argue that, all else being equal, relative positionalism ought nonetheless to be preferred to its closest competitors — at least to the extent that the explanation it supplies of relational application is plausible — even though those competitors can handle variable arity relations in addition to fixed arity relations. (shrink)

When a novel scientific theory conflicts with otherwise plausible moral assumptions, we do not treat that as evidence against the theory. We may scrutinize the empirical data more keenly and take extra care over its interpretation, but science is in some core sense immune to moral refutation. Can the same be said of philosophical theories (or the non-ethical, ‘metaphysical’ ones at least)? If a position in the philosophy of mind, for example, is discovered to have eye-widening moral import, does that (...) count against it at all? Actual responses by philosophers to the question of whether unanticipated moral consequences of metaphysical theories have evidential force are scattered, implicit, divergent, under-argued, and sometimes even self-undermining. The present discussion is, most immediately, an attempt to sort out the confusion. Beyond that, it exploits the new perspective this question gives us on a familiar topic: the relation of philosophy to science. (shrink)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

In this paper, I give an argument for the view that non-fact entities – such as physical objects, abstract objects, events and so on – can ground other entities. Roughly put, the argument is as follows: those who accept this view can provide a more plausible account of the grounds of identity facts than those who deny this view.

Øystein Linnebo and Richard Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They argue that their theory of abstract structures proves a consistent version of the structuralist thesis that positions in abstract structures only have structural properties. They do this by defining a subset of the properties of positions in structures, so-called fundamental properties, and argue that all fundamental properties of positions are structural. In this article, we argue that the structuralist thesis, even (...) when restricted to fundamental properties, does not follow from the theory of structures that Linnebo and Pettigrew have developed. To make their account work, we propose a formal framework in terms of Kripke models that makes structural abstraction precise. The formal framework allows us to articulate a revised definition of fundamental properties, understood as intensional properties. Based on this revised definition, we show that the restricted version of the structuralist thesis holds. 1Introduction 2The Structuralist Thesis 3LP-Structuralism 4Purity 5A Formal Framework for Structural Abstraction 6Fundamental Relations 7The Structuralist Thesis Vindicated 8Conclusion. (shrink)

Saying so can make it so, J. L. Austin taught us long ago. Famously, John Searle has developed this Austinian insight in an account of the construction of institutional reality. Searle maintains that so-called Status Function Declarations, allegedly having a “double direction of fit”, synchronically create worldly institutional facts, corresponding to the propositional content of the declarations. I argue that Searle’s account of the making of institutional reality is in tension with the special theory of relativity—irrespective of whether the account (...) is interpreted as involving causal generation or non-causal grounding of worldly institutional facts—and should be replaced by a more modest theory which interprets the results of Status Function Declarations in terms of mere Cambridge change and institutional truth. I end the paper by indicating the import of this more modest theory for theorizing about the causal potency of institutional phenomena generated by declarations. (shrink)

Hardcore actualism (HA) grounds all modal truths in the concrete constituents of the actual world (see, e.g., Borghini and Williams (2008), Jacobs (2010), Vetter (2015)). I bolster HA, and elucidate the very nature of possibility (and necessity) according to HA, by considering if it can validate S5 modal logic. Interestingly, different considerations pull in different directions on this issue. To resolve the tension, we are forced to think hard about the nature of the hardcore actualist's modal reality and how radically (...) this departs from possible worlds orthodoxy. Once we achieve this departure, the prospects of a hardcore actualist validation of S5 look considerably brighter. This paper thus strengthens hardcore actualism by arguing that it can indeed validate S5–arguably the most popular logic of metaphysical modality–and, in the process, it elucidates the very nature of modality according to this revisionary, but very attractive, modal metaphysics. (shrink)

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Knowledge ascriptions seem context sensitive. Yet it is widely thought that epistemic contextualism does not have a plausible semantic implementation. We aim to overcome this concern by articulating and defending an explicit contextualist semantics for ‘know,’ which integrates a fairly orthodox contextualist conception of knowledge as the elimination of the relevant alternatives, with a fairly orthodox “Amherst” semantics for A-quantification over a contextually variable domain of situations. Whatever problems epistemic contextualism might face, lack of an orthodox semantic implementation is not (...) among them. (shrink)

Mereonominalism, holonominalism, and part-whole realism represent competing views on the metaphysics of parts and wholes. Mereonominalism claims that what parts exist is a function of the concepts we use in describing composite wholes. Holonominalism claims that what composite wholes exist is a function of the concepts we use in describing things that can qualify as parts. Part-whole realism claims that parts and wholes exist independent of our concepts. I argue that all three views face problems, but that the problem facing (...) part-whole realism can be solved by adopting a version of hylomorphism that takes its cue from Aristotle’s account of form. (shrink)

In De Anima Book III, Aristotle subscribed to a theory of formal identity between the human mind and the extra-mental objects of our understanding. This has been one of the most controversial featu...

Throughout his career, Derek Parfit made the bold suggestion, at various times under the heading of the "Normativity Objection," that anyone in possession of normative concepts is in a position to know, on the basis of their competence with such concepts alone, that reductive realism in ethics is not even possible. Despite the prominent role that the Normativity Objection plays in Parfit's non-reductive account of the nature of normativity, when the objection hasn't been ignored, it's been criticized and even derided. (...) We argue that the exclusively negative attention that the objection has received has been a mistake. On our reading, Parfit's Normativity Objection poses a serious threat to reductivism, as it exposes the uneasy relationship between our a priori knowledge of a range of distinctly normative truths and the typical package of semantic commitments that reductivists have embraced since the Kripkean revolution. (shrink)