This paper argues for including stuff in one's ontology. The distinction between things and stuff is first clarified, and then three different ontologies of the physical universe are spelled out: a pure thing ontology, a pure stuff ontology, and a mixed ontology of both things and stuff. Eleven different reasons for including stuff in one's ontology are given. Then five objections to positing stuff are considered and rejected.

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

Imagine slicing your hand with a steak knife. Inevitably, this leads to a characteristic unpleasant sensation, and just as reliably, to a withdrawal of the wounded limb. But can this rather mundane fact--and other similar facts--shed any light on the mind-body problem or the issue of the role of experience in causing behavior? In my dissertation, I explore this issue head on, and in the process clarify and criticize the arguments of philosophers who have given an affirmative answer to this (...) question--philosophers such as William James and Herbert Spencer. These arguments have coupled evidence like the above with the fact that human beings have evolved, in order to make the case that epiphenomenalism with respect to qualia is false. My first task will be to formulate a rigorous version of a James-Spencer style argument, which will occupy us in Chapter 1. Chapter 2 is dedicated to answering a number of objections to the argument, in an effort to show that if there is a problem with it, this problem lies elsewhere. Chapter 3 explores alternative arguments in the spirit of the original one formulated in Chapter 1, and discusses any resulting effects on the plausibility of the conclusion. Chapter 4 is the capstone chapter of the dissertation. In it, I discuss a crucial objection to all arguments in the spirit of that given in the first chapter--namely, that physicalism has analogous flaws to epiphenomenalism where accommodating the relevant evidence is concerned. My conclusions in this final chapter are twofold. First, that even if there is no fatal flaw in the general strategy the evolutionary argument employs, it works against all forms of dualism, not just epiphenomenalism. And second, the accusations made in the objection are correct; physicalism suffers from problems analogous to those faced by epiphenomenalism. Although the primary findings of the dissertation are negative, there are many lessons we can take from them along the way. Most prominent among them is an improved perspective on the appropriate roles of empirical findings and armchair philosophical theorizing in debate over the mind-body problem. (shrink)

The Razor commands us not to multiply entities without necessity. I argue for an alternative principle—The Laser—which commands us not to multiply fundamental entities without necessity.

In a recent paper, Fredérique de Vignemont has argued that there is a positive quale of bodily ownership . She thinks that tactile and other forms of somatosensory phenomenology incorporate a distinctive feeling of myness and takes issue with my defense in Bermúdez of a deflationary approach to bodily ownership. That paper proposed an argument deriving from Elizabeth Anscombe’s various discussions of what she terms knowledge without observation . De Vignemont is not convinced and appeals to the Rubber Hand Illusion (...) to undercut my appeal to Anscombe. Section 1 of this article restates the case against the putative quale of ownership. Section 2 explains why de Vignemonts’ objections miss the mark. Section 3 discusses in more detail how to draw a principled distinction between bodily awareness and ordinary perceptual awareness. (shrink)

The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

Persons think. Bodies, time-slices of persons, and brains might also think. They have the necessary neural equipment. Thus, there seems to be more than one thinker in your chair. Critics assert that this is too many thinkers and that we should reject ontologies that allow more than one thinker in your chair. I argue that cases of multiple thinkers are innocuous and that there is not too much thinking. Rather, the thinking shared between, for example, persons and their bodies is (...) exactly what we should expect at the intersection of part sharing and the supervenience of the mental on the physical. I end by responding to the overcrowding objection, the personhood objection, the personal-pronoun reference problem and the epistemic objection. (shrink)

Contingentism, generally contrasted with law necessitarianism, is the view that the laws of nature are contingent. It is often coupled with the claim that their contingency is knowable a priori. This paper considers Bird's (2001, 2002, 2005, 2007) arguments for the thesis that, necessarily, salt dissolves in water; and it defends his view against Beebee's (2001) and Psillos's (2002) contingentist objections. A new contingentist objection is offered and several reasons for scepticism about its success are raised. It is concluded that (...) certain higher-level laws describing the behaviours of molecular compounds may be necessary due to their dependence on underlying physical laws, and that the modal status of laws of nature cannot be determined a priori, as the structural features of the substances and properties they govern must first be investigated. (shrink)

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...) world therefore could not be different, for if it were different it would be a distinct and inferior world and hence would not be created. In Sect. 3 I defend Leibniz from this challenge. I argue that while it is necessary for God to choose to create the best possible world, it is not necessary for any world to be the best possible. This is because the criterion for judging perfection can itself be contingent. Different criteria will judge different worlds as the best. Thus it is necessary for God to create the best, but not necessary which is the best. Distinguishing between possible worlds in Leibniz’s sense and in the modern sense allows a fuller exposition of this position. There are worries that can arise with the claim that the criterion of perfection is contingent. I consider two of the most pressing (Sect. 4). The first argues that the criterion is in God’s understanding and hence is necessary; the second alleges that a contingent criterion of perfection violates Leibniz’s cherished Principle of Sufficient Reason. These worries are well-grounded, and examining them reveals a deep incompatibility between this solution and Leibniz’s metaphysical views. I conclude that there is a real solution available, but that it is unacceptable to Leibniz or a Leibnizian. The search for a genuine solution that is genuinely Leibnizian goes on. (shrink)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

Castañeda, Perry and Lewis argued in the 1960’s and 1970’s that thoughts about oneself “as oneself” – de se thoughts – require special treatment, and advanced different accounts. In this paper I discuss Ernest Sosa’s approach to these matters. I first present his approach to singular or de re thought in general in the first section. In the second, I introduce the data that need to be explained, Perry’s and Lewis’s proposals, and Sosa’s own account, in relation to Perry’s, Lewis’s, (...) and his own views on de re thought. In the third section I present the account I prefer – a “token-reflexive” version of Perry’s original account that Perry himself came to adopt in reaction to Stalnaker’s criticisms. In the final section I take up Recanati’s recent arguments, from a viewpoint on de se thought very similar to Sosa’s, to the effect that such an account is in a good position to explain the phenomenon of immunity to error through misidentification. I argue there that that is not the case, and I conclude by suggesting that the token-reflexive account fits better both with the data and with Sosa’s Fregean take on de re thought in general. (shrink)

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

The paper outlines and immediately discusses the so-called ‘soft’ impossibility, i.e., non-logical impossibility generated by modal realism. It will be shown that although in a particular case genuine modal realism, straightforwardly applied, deems impossible a proposition that other philosophers have claimed to be (intuitively) possible, there is a variety of methodologically acceptable moves available in order to avoid the problem. The impossibility at issue is the existence of island universes. Given the Lewisian analysis there are three points at which we (...) might try to square genuine modal realism with such a controversial and problematic claim of (im)possibility, namely: a) the contraction of our pre-theoretical opinions about possibility, b) the revision of some Lewisian definitions and/or c) the extension of our ontological commitments. I shall look at each of these approaches applied to the problematic case. (shrink)

Jaegwon Kim (1998a, 2005) claims that his exclusion problem follows a priori for the non-reductive physicalist given her commitment to five apparently inconsistent theses: mental causation, non-identity, supervenience, causal closure and non-overdetermination. For Kim, the combination of these theses entails that mental properties are a priori excluded as causes, forcing the non-reductive physicalist to accept either epiphenomenalism, or some form of reduction. In this thesis, I argue that Kim’s exclusion problem depends on a particular conception of causation, namely sufficient production, (...) and that when causation is understood in interventionist terms, the non-reductive physicalist can avoid the exclusion problem. I argue that Woodward’s (2003, 2008a, 2011a) version of interventionism not only provides an account of mental causation that avoids the exclusion problem, but argue that it also upholds all of the minimal commitments of non-reductive physicalism, thereby providing a successful non-reductive physicalist solution to the exclusion problem. In Chapter 2, I argue that all five theses are minimal commitments of non-reductive physicalism that cannot be rejected in order to avoid the exclusion problem. Chapter 3 identifies the assumptions that I take to underlie the exclusion problem. Chapter 4 introduces and outlines the central features of Woodward’s (2003) interventionism and Chapter 5 argues that Woodward’s interventionist account of mental causation provides a solution to the exclusion problem. I examine two alternative interventionist accounts of mental causation[1] that fail to provide satisfactory solutions to the exclusion problem and conclude that Woodward’s account therefore provides the only satisfactory account of mental causation and solution to the exclusion problem. Chapter 6 addresses some challenges proposed by Michael Baumgartner (2009, 2010) and argues that the interventionist is able to defend her position against these objections and uphold the interventionist solution to the exclusion problem outlined in this thesis. [1. Proposed by List and Menzies (2009) and Campbell (2007, 2008a, 2008b, 2010).]. (shrink)

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

Some philosophers deny the existence of composite material objects. Other philosophers hold that whenever there are some things, they compose something. The purpose of this paper is to scrutinize an objection to these revisionary views: the objection that nihilism and universalism are both unacceptably uncharitable because each of them implies that a great deal of what we ordinarily believe is false. Our main business is to show how nihilism and universalism can be defended against the objection. A secondary point is (...) that universalism is harder to defend than nihilism. (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)

Words, languages, symphonies, fictional characters, games, and recipes are plausibly abstract artifacts— entities that have no spatial location and that are deliberately brought into existence as a result of creative acts. Many accept that composition is unrestricted: for every plurality of material objects, there is a material object that is the sum of those objects. These two views may seem entirely unrelated. I will argue that the most influential argument against restricted composition—the vagueness argument—doubles as an argument that there can (...) be no abstract artifacts. There is no way to resist the vagueness argument against abstract artifacts that does not also undermine the vagueness argument against restricted composition. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (shrink)

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.

We information-theoretically reformulate two measures of capacity from statistical learning theory: empirical VC-entropy and empirical Rademacher complexity. We show these capacity measures count the number of hypotheses about a dataset that a learning algorithm falsifies when it finds the classifier in its repertoire minimizing empirical risk. It then follows from that the future performance of predictors on unseen data is controlled in part by how many hypotheses the learner falsifies. As a corollary we show that empirical VC-entropy quantifies the message (...) length of the true hypothesis in the optimal code of a particular probability distribution, the so-called actual repertoire. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

In this entry I present one of the most hotly debated issues in contemporary analytic philosophy regarding the nature of fictional entities and the motivations that might be adduced for and against positing them into our ontology. The entry is divided in two parts. In the first part I offer an overview of the main accounts of the metaphysics of fictional entities according to three standard realist views, fictional Meinongianism, fictional possibilism and fictional creationism. In the second part I describe (...) two main kinds of arguments for or against positing fictional entities into our ontology. The first kind is traditionally inspired by the linguistic data coming from our talk about fictional characters. The second kind is more recent and it builds on genuine ontological considerations. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

Dispositional essentialism maintains that all sparse properties are essentially powerful. Two conceptions of sparse properties appear compatible with dispositional essentialism: sparse properties as pure powers or as powerful qualities. This paper compares the two views, criticizes the powerful qualities view, and then develops a new theory of pure powers, termed Point Theory. This theory neutralizes the main advantage powerful qualities appear to possess over pure powers—explaining the existence of powers during latency periods. The paper discusses the relation between powers and (...) space-time points, whether pure powers need to occupy space, and how to account for the movement of pure powers through space-time. Given Point Theory, dispositional essentialists should maintain that sparse properties are pure powers. (shrink)

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

In this paper, I defend an indexical analysis of the abstract-concrete distinction within the framework of modal realism. This analysis holds the abstract-concrete distinction to be conceptually inseparable from the distinction between the actual and the merely possible, which is assumed to be indexical in nature. The resulting view contributes to the case for modal realism by demonstrating how its distinctive resources provide a reductive analysis of the abstract-concrete distinction. This indexical analysis also provides a solution to a sceptical problem (...) regarding our concreteness, which parallels the sceptical problem that motivates indexicalism about actuality. (shrink)

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a benighted (...) teleological view of nature. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

I lay out the framework for my theory of sensory imagination in “Imagining as a guide to possibility.” Sensory imagining involves mental imagery , and crucially, in describing the content of imagining, I distinguish between qualitative content and assigned content. Qualitative content derives from the mental image itself; for visual imaginings, it is what is “pictured.” For example, visually imagine the Philadelphia Eagles defeating the Pittsburgh Steelers to win their first Super Bowl. You picture the greenness of the field and (...) the football’s brown oblong shape. Some of what you imagine isn’t explicitly pictured, however. That it is Sunday, that it is the Super Bowl: these facts are assigned. (shrink)

Metaphysical theories are often counter-intuitive. But they also often are strongly supported and motivated by intuitions. One way or another, the link between intuitions and metaphysics is a strong and important one, and there is hardly any metaphysical discussion where intuitions do not play a crucial role. In this article, I will be interested in a particular kind of such intuitions, namely those that come, at least partly, from experience. There seems to be a route from experience to metaphysics, and (...) this is the core of my interest here. In order to better understand such ‘arguments from experience’ and the kind of relationship there is between this type of intuitions and metaphysical theories, I shall examine four particular cases where a kind of experience-based intuition seems to motivate or support a metaphysical theory. At the end of the day, I shall argue that this route is a treacherous one, and that in all of the four cases I shall concentrate on, phenomenological considerations are in fact orthogonal to the allegedly ‘corresponding’ metaphysical claims. An anti-realist view of metaphysics will emerge. (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)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

This paper defends stage theory against the argument from diachronic counting. It argues that stage theorists can appeal to quantifier domain restriction in order to accommodate intuitions about diachronic counting sentences. Two approaches involving domain restriction are discussed. According to the first, domains of counting are usually restricted to stages at the time of utterance. This approach explains intuitions in many cases, but is theoretically costly and delivers wrong counts if diachronic counting is combined with fission or fusion. On the (...) second approach, domains of counting are usually restricted in an indeterminate way, so as to include at most one member of any maximal class of counterpart-interrelated stages (with respect to a certain utterance). This view can accommodate all the relevant intuitions about counting sentences, and it fits well with a new stage-theoretic view of reference that allows speakers to refer to both present and past stages. (shrink)

It is well known that, according to some, philosophical reflection on zombies (i.e., bodies without minds) poses a problem for physicalism. But what about ghosts, i.e., minds without bodies? Does philosophical reflection on them pose a problem for physicalism? Descartes, of course, thought so, and lately rumours have been surfacing that has was right after all, that ghosts pose a problem for both a priori and a posteriori physicalism, and for any kind of physicalism in between. This paper argues that (...) physicalists have nothing to fear from ghosts, since the central consideration employed to motivate ghostly arguments against physicalism--viz., that ghosts are conceivable--is false: ghosts aren't conceivable. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

This paper proposes to carve out a new position in the scientific realism/antirealism debate and argue that it captures some of the most important realist and some of the most important antirealist considerations. The view, briefly stated, is that there is always a fact of the matter about whether the singular statements science gives us are literally true, but there is no fact of the matter about whether the non-singular statements science gives us are literally true. I call this view (...) singularist semirealism. Singularist semirealism sides with scientific realism with regards to singular statements but it is an antirealist view with regards to non-singular statements. In this sense, singularist semirealism could be considered to be ‘the best of both worlds’. 1 Introduction2 Truth and Correctness3 Property-Tokens and Property-Types4 Singularist Semirealism5 Encouragement from Actual Scientific Practice6 Some Potentially Worrying Consequences of Singularist Semirealism7 Some Promising Consequences of Singularist Semirealism8 Conclusion: Theory Change. (shrink)

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.