Some philosophers who believe that there are necessary connections in nature take it that an advantage of their commitment is that the problem of induction is solved. This paper aims to offer a comprehensive refutation of the arguments necessitarians use to show that if natural necessities are posited, then there is no problem of induction. In section 2, two models of natural necessity are presented. The “Contingent Natural Necessity” section examines David Armstrong’s explanationist ‘solution’ to the problem of induction. The (...) “Natural Necessity and IBE” section looks in detail into the claim that natural necessity is the best explanation of observed regularity. The “Dispositional Essentialism to the Rescue?” section moves on to Brian Ellis’s dispositional essentialist ‘solution’. The “Sankey’s Helping Hand” section examines Howard Sankey’s attempt to blend dispositional essentialism and explanationism. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Multiple realizability has recently attractedrenewed attention, for example Bickle, 1998;Bechtel and Mundale, 1999; Bechtel and McCauley,1999; Heil, 1999; and Sober, 1999. Many of thesewriters revisit the topic of multiplerealizability in order to show that someversion of a mind-brain identity theory isviable. Although there is much of value inthese recent explorations, they do not addressthe underlying intuitions that have vexedphilosophers of mind since Hilary Putnamintroduced the concern (1967). I argue that thestandard way of construing multiplerealizability is a much stronger claim thanthat (...) of Putnam's intuition alone. I distinguishfour interpretations of the multiplerealizability intuition. Some commonformulations of multiple realizability arealmost certainly true, while others are not atall plausible. I argue that the plausible formsof multiple realizability do not impugn theprospects for a mind-brain Identity Theory. (shrink)

My topic is the confluence of two recently active philosophical research programs. One research program concerns the metaphysics of realization. The other research program concerns scientific explanation in terms of mechanisms. In this paper I introduce a distinction between descriptive and explanatory approaches to realization. I then use this distinction to argue that a well-known account of realization, due to Carl Gillett, is incompatible with a well-known account of mechanistic explanation, due to Peter Machamer, Lindley Darden, and Carl Craver (MDC, (...) Philos Sci 57: 1-25, 2000). This is surprising, not least of which because Gillett has cited MDC's work as evidence that his account of realization is the right way to think about realization in the sciences. (shrink)

Fifty years ago J. J. C. Smart published his pioneering paper, “Sensations and Brain Processes.” It is appropriate to mark the golden anniversary of Smart’s publication by considering how well his article has stood up, and how well the identity theory itself has fared. In this paper I first revisit Smart’s text, reflecting on how it has weathered the years. Then I consider the status of the identity theory in current philosophical thinking, taking into account the objections and replies that (...) Smart discussed as well as some that he did not anticipate. Finally, I offer a brief manifesto for the identity theory, providing a small list of the claims that I believe contemporary identity theorist should accept. As it turns out, these are more or less the ones that Smart defended fifty years ago. (shrink)

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)

Suppose we take a picture containing a full image of a duck and slice it right through, leaving some of the duck image on one slice and some of it on the other. How many duck images will we be left with? Received theories of pictorial representation presuppose that a surface cannot come to contain new images just by changing its physical relations with other surfaces, such as physical continuity. But as it turns out, this is in tension with received (...) theories’ approach to incomplete images. I address three views with respect to the circumstances in which incomplete images of X represent X. 1. A liberal, non-restrictive view: ‘Iff they meet relevant requirements posed by received theory of pictorial representation.’ 2. Moderate restrictions of this view and 3. A fully restrictive view. After investigating challenges for the liberal view, I end up supporting it. The main challenges rest on the fact that only the fully restrictive view can plausibly accommodate some principles that seem inherent to our theory of representation. For instance: only this view accommodates received theories’ presupposition that the representational properties of a surface depend on its configurational properties such that new images may appear on a surface only if its configurational properties have changed. Since the liberal view is overall more plausible than the restrictive view, I reject this presupposition and bear the consequences. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in (...) terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)

A chance‐credence norm states how an agent's credences in propositions concerning objective chances ought to relate to her credences in other propositions. The most famous such norm is the Principal Principle (PP), due to David Lewis. However, Lewis noticed that PP is too strong when combined with many accounts of chance that attempt to reduce chance facts to non‐modal facts. Those who defend such accounts of chance have offered two alternative chance‐credence norms: the first is Hall's and Thau's New Principle (...) (NP); the second is Ismael's General Recipe (IP). Thus, the question arises: Should we adopt NP or IP or both? In this paper, I argue that IP has unacceptable consequences when coupled with reductionism, so we must accept NP alone. (shrink)

Beliefs come in different strengths. An agent's credence in a proposition is a measure of the strength of her belief in that proposition. Various norms for credences have been proposed. Traditionally, philosophers have tried to argue for these norms by showing that any agent who violates them will be lead by her credences to make bad decisions. In this article, we survey a new strategy for justifying these norms. The strategy begins by identifying an epistemic utility function and a decision-theoretic (...) norm; we then show that the decision-theoretic norm applied to the epistemic utility function yields the norm for credences that we wish to justify. We survey results already obtained using this strategy, and we suggest directions for future research. (shrink)

I develop a metaphysical position that is both lawless and anti-Humean. The position is called realist lawlessness and contrasts with both Humean lawlessness and nomological realism – the claim that there are laws in nature. While the Humean view also allows no laws, realist lawlessness is not Humean because it accepts some necessary connections in nature between distinct properties. Realism about laws, on the other hand, faces a central dilemma. Either laws govern the behaviour of properties from the outside or (...) from the inside. If the former, an unacceptable quidditist view of properties follows. But no plausible account of laws within properties can be developed that permits a governing role specifically for laws. I conclude in favour of eliminativism about laws. At the conceptual core, the notion of a law in nature is misleading. It is suggestive of an otherwise static world in need of animation. (shrink)

Puzzles about persistence and change through time, i.e., about identity across time, have foundered on confusion about what it is for ‘two things’ to be have ‘the same thing’ at a time. This is most directly seen in the dispute over whether material objects can occupy exactly the same place at the same time. This paper defends the possibility of such coincidence against several arguments to the contrary. Distinguishing a temporally relative from an absolute sense of ‘the same’, we see (...) that the intuition, ‘this is only one thing’, and the dictum, ‘two things cannot occupy the same place at the same time’, are individuating things at a time rather than absolutely and are therefore compatible with coincidence. Several other objections philosophers have raised ride on this same ambiguity. Burke, originating what has become the most popular objection to coincidence, argues that if coincidence is possible there would be no explanation of how objects that are qualitatively the same at a time could belong to different sorts. But we can explain an object’s sort by appealing to its properties at other times. Burke’s argument to the contrary equivocates on different notions of ‘cross-time identity’ and ‘the statue’. From a largely negative series of arguments emerges a positive picture of what it means to say multiple things coincide and of why an object’s historical properties explain its sort rather than vice versa – in short, of how coincidence is possible. (shrink)

I develop a novel argument against the claim that ordinals are sets. In contrast to Benacerraf’s antireductionist argument, I make no use of covert epistemic assumptions. Instead, my argument uses considerations of ontological dependence. I draw on the datum that sets depend immediately and asymmetrically on their elements and argue that this datum is incompatible with reductionism, given plausible assumptions about the dependence profile of ordinals. In addition, I show that a structurally similar argument can be made against the claim (...) that cardinals are sets. (shrink)

It is commonly assumed that when we assign different credences to a proposition, a perfect compromise between our opinions simply ‘splits the difference’ between our credences. I introduce and defend an alternative account, namely that a perfect compromise maximizes the average of the expected epistemic values that we each assign to alternative credences in the disputed proposition. I compare the compromise strategy I introduce with the traditional strategy of compromising by splitting the difference, and I argue that my strategy is (...) a reasonable characterization of epistemic compromise. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

I argue that the theory of chance proposed by David Lewis has three problems: (i) it is time asymmetric in a manner incompatible with some of the chance theories of physics, (ii) it is incompatible with statistical mechanical chances, and (iii) the content of Lewis's Principal Principle depends on how admissibility is cashed out, but there is no agreement as to what admissible evidence should be. I proposes two modifications of Lewis's theory which resolve these difficulties. I conclude by tentatively (...) proposing a third modification of Lewis's theory, one which explains many of the common features shared by the chance theories of physics. (shrink)

Consider the following proposition: It is possible that all of our perceptual experiences are ‘delusive.’ According to Gilbert Ryle, is demonstrably absurd. In this paper I address four questions: What is Ryle’s argument against?; How persuasive is it?; What positions are ruled out if is absurd?; and How does Ryle’s position compare with contemporary work on skepticism?

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

I am attracted to ontological pluralism, the doctrine that some things exist in a different way than other things.1 For the ontological pluralist, there is more to learn about an object’s existential status than merely whether it is or is not: there is still the question of how that entity exists. By contrast, according to the ontological monist, either something is or it isn’t, and that’s all there is say about a thing’s existential status. We appear to be to be (...) ontological committed to what I will call almost nothings. Examples of almost nothings include holes, cracks, and shadows; almost nothings thrive in the absence of ‘positive’ entities such as donuts, walls, and sunlight. Let’s focus on holes, since the literature on them is voluminous.2 We quantify over holes, and even count them: we say, for example, that there are some holes in the cheese, seven to be precise. We ascribe features to them and talk as though they stand in relations: that hole is three feet wide, much wider than that tire over there. Holes apparently persist through time, as evidenced by the fact that my sweater has the same hole in it as the last time you saw me wear it. We even talk as though holes are causally efficacious: my ankle was badly sprained because I stepped in that hole in the sidewalk.3 It seems then that we believe in holes. If our beliefs are true, holes must enjoy some kind of reality. This puts the ontological monist in an uncomfortable position. According to her, everything that there is enjoys the same kind of reality, which is the kind of reality enjoyed by full-fledged concrete entities such as ourselves. She is committed to the unpleasant claim that holes are just as real as concretia, a claim that is apt to be met with incredulous stares by those not acquainted with contemporary metaphysics. Roy Sorensen (2008, p. 19) notes the tension almost nothings generate for ontological monists: ‘… it feels paradoxical to say that absences exist—but no better to say that absences do not exist’.. (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.

In this article, I discuss Hawthorne'€™s contextualist solution to Benacerraf'€™s dilemma. He wants to find a satisfactory epistemology to go with realist ontology, namely with causally inaccessible mathematical and modal entities. I claim that he is unsuccessful. The contextualist theories of knowledge attributions were primarily developed as a response to the skeptical argument based on the deductive closure principle. Hawthorne uses the same strategy in his attempt to solve the epistemologist puzzle facing the proponents of mathematical and modal realism, but (...) this problem is of a different nature than the skeptical one. The contextualist theory of knowledge attributions cannot help us with the question about the nature of mathematical and modal reality and how they can be known. I further argue that Hawthorne'€™s account does not say anything about a priori status of mathematical and modal knowledge. Later, Hawthorne adds to his account an implausible claim that in some contexts a gettierized belief counts as knowledge. (shrink)

In this paper I present a new way of understanding Dutch Book Arguments: the idea is that an agent is shown to be incoherent iff he would accept as fair a set of bets that would result in a loss under any interpretation of the claims involved. This draws on a standard definition of logical inconsistency. On this new understanding, the Dutch Book Arguments for the probability axioms go through, but the Dutch Book Argument for Reflection fails. The question of (...) whether we have a Dutch Book Argument for Conditionalization is left open. (shrink)

This paper develops an account of the metaphysics of fundamental laws I call “the Package Deal Account ” that is a descendent of Lewis’ BSA but differs from it in a number of significant ways. It also rejects some elements of the metaphysics in which Lewis develops his BSA. First, Lewis proposed a metaphysical thesis about fundamental properties he calls “Humean Supervenience” according to which all fundamental properties are instantiated by points or point sized individuals and the only fundamental relations (...) are geometrical spatial and temporal relations between these. While the BSA does not require HS Lewis seems to hope that it is true. In contrast, the PDA is not committed to HS or even to the fundamental arena in which fundamental properties are instantiated possessing geometrical structure and thus is able to accommodate relations and structures found in contemporary physics that apparently conflict with HS. Second, although Lewis’ BSA doesn’t require HS his Humeanism does require that fundamental properties are categorical. In contrast, the PDA allows for the possibility that fundamental properties are individuated in terms of laws and so are not categorical. Third, the PDA expands and develops the criteria for what counts in favor of a candidate system with more attention to the criteria employed by physicists in evaluating proposed theories. Fourth and most importantly, unlike Lewis’ BSA, the PDA does not presuppose metaphysically primitive elite properties/quantities that Lewis calls “perfectly natural” properties/quantities or presuppose a metaphysically preferred language whose terms denote such properties/quantities. It replaces Lewis’ account with an account on which natural properties are not metaphysically prior to the laws but are elements of a package that includes a fundamental arena that plays the role of space-time as well as fundamental laws and properties. By doing so it responds to some epistemological and metaphysical issues that have been raised regarding natural properties and their role in the BSA. In sum, the PDA goes further in explicating the notion of laws in terms of the aims and practices of science especially fundamental physics rather than in terms of prior metaphysics. I begin by reviewing Lewis’ account of perfectly natural properties and his Humean BSA of laws. (shrink)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

This article uses causation to show that panpsychism and emergentism share far less than most philosophers suppose. It argues that panpsychism has features, among them its rationalism, that force what the article calls a strong account of causation. And that emergentism entails what the article calls a weak account of causation incompatible with any strong account. The article then ventures that panpsychism and emergentism form parts of two wide-ranging but incompatible metaphysical packages.

Karen Bennett’s Making Things Up starts with the claim that despite all the differences between them, analytic philosophers share an interest in ‘claims about what builds – or fails to build – what’. Be that as it may, there is another candidate for a shared interest: in generalizing, and identifying common patterns in ostensibly different domains. It is that interest that Bennett pursues in the book, by developing a general theory of building relations.

In "Ramseyan Humility," David Lewis argues that we cannot know what the fundamental properties in our world are. His arguments invoke the possibility of permutations and replacements of fundamental properties. Most responses focus on Lewis’s view on the relationship between properties and roles, and on the assumptions about knowledge that he makes. I argue that no matter how the debates about knowledge and about the metaphysics of properties turn out, Lewis’s arguments are unconvincing since they rely on a highly implausible (...) assumption about the expressive power of our language. (shrink)

The paper investigates whether causation is extrinsic in Humean Supervenience in the sense that "being caused by" is an intrinsic relation between token causes and effects. The underlying goal is to test whether causality is extrinsic for Humeans and intrinsic for anti-Humeans in this sense. I argue that causation is typically extrinsic in HS, but it is intrinsic to event pairs that collectively most of the universe's history.

An introduction to the Synthese topical collection "Humeanisms".

A response to critics, Douglas Patterson and Mark Textor, on Künne's modest theory of truth in *Conceptions of Truth*.

Metaphysics should follow science in postulating laws alongside properties. I defend this claim against the claim that natural properties conceived as powers make laws of nature redundant. Natural properties can be construed in a “thin” or a “thick” way. If one attributes a property in the thin sense to an object, this attribution does not conceptually determine which other properties the object possesses. The thin construal is underlying the scientific strategy for understanding nature piecemeal. Science explains phenomena by cutting reality (...) conceptually in properties attributed to space-time points, where these properties are conceived of independently of each other, to explore then, in a separate step, how the properties are related to each other; those determination relations between properties are laws. This is compatible with the thesis that laws are metaphysically necessary. According to the thick conception, a property contains all its dependency relations to other properties. The dependency relationships between properties (which appear as laws in the thin conception) are parts of the properties they relate. There are several reasons to resist the thick conception of properties. It makes simple properties “holistic”, in the sense that each property contains many other properties as parts. It cannot account for the fact that properties constrain each other’s identity; it can neither explain why natural properties are linked to a unique set of dispositions, nor why and how this set is structured nor why the truth-maker of many disposition attributions is relational although the disposition is grounded on a monadic property. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators (...) — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (shrink)

This paper analyzes what it means for philosophy of science to be normative. It argues that normativity is a multifaceted phenomenon rather than a general feature that a philosophical theory either has or lacks. It analyzes the normativity of philosophy of science by articulating three ways in which a philosophical theory can be normative. Methodological normativity arises from normative assumptions that philosophers make when they select, interpret, evaluate, and mutually adjust relevant empirical information, on which they base their philosophical theories. (...) Object normativity emerges from the fact that the object of philosophical theorizing can itself be normative, such as when philosophers discuss epistemic norms in science. Metanormativity arises from the kind of claims that a philosophical theory contains, such as normative claims about science as it should be. Distinguishing these three kinds of normativity gives rise to a nuanced and illuminating view of how philosophy of science can be normative. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

The paper presents, motivates, critiques, and proposes revisions to Baker’s Constitution View, which includes her definitions of constitution, derivative features, and numerical sameness. The paper argues that Baker should add a mereological clause to her definition of constitution in order to avoid various counterexamples.

Craig Callender claims that ‘time is the great informer’, meaning that the directions in which our ‘best’ physical theories inform are temporal. This is intended to be a metaphysical claim, and as such expresses a relationship between the physical world and information-gathering systems such as ourselves. This article gives two counterexamples to this claim, illustrating the fact that time and informative strength doubly dissociate, so the claim cannot be about physical theories in general. The first is a case where physical (...) theories inform in directions that we have no reason to regard as temporal. The second is a case where our best physical theories fail to inform in directions that we have independent (pre-theoretic) reasons to regard as temporal. Taking these two cases into account suggests that the connection Callender makes between time and informativeness is perspectival. The second case demonstrates that although scientists often seek information in temporal directions, the behaviour of the physical world can present serious difficulties for finding it. In response, this article proposes a perspectival reading of Callender’s claim, according to which the connection between time and informative strength has more to do with the aims and objectives of science than the workings of the physical world. (shrink)

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals and do (...) not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

Intuitively, (1)-(3) seem to express genuine claims (true or false) about what the world is like, attempts to correctly describe parts of extra-linguistic reality. By contrast, it is tempting to regard (4)-(6) as merely reflecting decisions (or conventions, or dispositions, or rules) concerning the terms in which that extra-linguistic reality is described, decisions about which things to label with 'vixen', 'bachelor' or 'cup'.

'Where am I?' This is something we might expect to hear from hapless explorers or academics with no sense of direction. If we can, we'll explain to our inquirer that he is east of East St. Louis and hope he can find his way from there. If he persists, insisting that he is not really lost, but only cannot find himself no matter how hard he looks, we might reasonably suspect that we are dealing with that peculiarly incorrigible academic explorer, (...) the philosopher. When we hesitantly point to his body, we hear him explain, exasperated, 'No, don't you get it? That's my body, but I'm looking for my self! And I cannot find it!' At this point it is tempting to slip away, convinced that our philosophical friend is .. (shrink)

I argue that three arguments for conditionalization -- the Diachronic Dutch Book, the expected-accuracy maximization argument from Greaves and Wallace, and the accuracy-dominance argument from Briggs and Pettigrew -- can all be improved by narrowing their focus. I suggest alternative, targeted arguments which better identify the flaw involved in non-conditionalizing updates.