The aim of this paper is to argue for a revised and precisified version of the infamous Verifiability Criterion for the meaningfulness of declarative sentences. The argument is based on independently plausible premises concerning probabilistic confirmation and meaning as context-change potential, it is shown to be logically valid, and its ramifications for potential applications of the criterion are being discussed. Although the paper is not historical but systematic, the criterion thus vindicated will resemble the original one(s) in some important ways. (...) At the same time, it will also be more modest insofar as meaningfulness will turn out to be relativized linguistically and probabilistically, and different choices of the linguistic and probabilistic parameters may lead to different verdicts on meaningfulness. (shrink)

David Lewis's position, often called analytic functionalism, was inspired by Ryle's analytic behaviorism, which took psychological predicates to express complex sets of behavioral dispositions. In this chapter, the author reviews some tenets of Lewis's philosophy of mind and begins with some comments on the methodology Lewis employed in his analysis of psychological terms, which has become standard in functionalist accounts across philosophy. Then, he discusses the difference between what are often called “realizer functionalism” and “role functionalism,” and argues that Lewis (...) made the wrong choice. In Lewis's argument for the identity theory, the identity of mental states with biological states follows logically from folk‐psychological definitions and broadly physical facts. A central part of folk psychology concerns the interaction of beliefs, desires, and choices. The chapter presents Lewis's often misunderstood account of intentionality. It also presents few pessimistic remarks on the prospect of analyzing phenomenal truths in terms of functional role. (shrink)

This paper presents the view that tropes can change, and so are not individuated by their determinate qualitative characters. On the view I have in mind, a trope is at any given time fully determinate, but can change qualitatively within the bounds set by a determinable essence. A charge trope, for example, must at any time have some exact intensity, but can survive changes in intensity. My argument, roughly, is this: Objects can change, and tropes are the parts of objects (...) that change (in a special sense of ‘part’), so tropes can change too. After some preliminaries, I present the argument carefully and discuss the operant notions. I then discuss each premise in turn. I respond to the charge that the view isn't realist, and to objections based on identity‐conditions for tropes. I describe both substratum‐ and bundle‐theoretic versions of the view, and finally, show what the view buys us. (shrink)

It is a consequence of the theory of imprecise credences that there exist situations in which rational agents inevitably become less opinionated toward some propositions as they gather more evidence. The fact that an agent's imprecise credal state can dilate in this way is often treated as a strike against the imprecise approach to inductive inference. Here, we show that dilation is not a mere artifact of this approach by demonstrating that opinion loss is countenanced as rational by a substantially (...) broader class of normative theories than has been previously recognised. Specifically, we show that dilation-like phenomena arise even when one abandons the basic assumption that agents have (precise or imprecise) credences of any kind, and follows directly from bedrock norms for rational comparative confidence judgements of the form `I am at least as confident in p as I am in q'. We then use the comparative confidence framework to develop a novel understanding of what exactly gives rise to dilation-like phenomena. By considering opinion loss in this more general setting, we are able to provide a novel assessment of the prospects for an account of inductive inference that is not saddled with the inevitability of rational opinion loss. (shrink)

Quantum theory offers mathematical descriptions of measurable phenomena with great facility and accuracy, but it provides absolutely no understanding of why any particular quantum outcome is observed. It is the province of genuine explanations to tell us how things actually work—that is, why such descriptions hold and why such predictions are true. Quantum theory is long on the what, both mathematically and observationally, but almost completely silent on the how and the why. What is even more interesting is that, in (...) some sense, this state of affairs seems to be a necessary consequence of the empirical adequacy of quantum descriptions. One of the most noteworthy achievements of quantum theory is the accurate prediction of phenomena that, on pain of experimental contradiction, have no physical explanation. It is the purpose of this essay to make clear why quantum mechanics and quantum field theory are complete physical descriptions that describe the metaphysical incompleteness of the physical world, then to press the negative implications of this fact for naturalistic metaphysics. (shrink)

I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well as a (...) theoretical virtue I call expansiveness. A theory is expansive, roughly, when it can do more with less. (shrink)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

An introduction to philosophy of language since Frege, focusing on the 20th century.

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)

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

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)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

Humeans and anti-Humeans agree that laws of nature should explain scientifically particular matters of fact. One objection to Humean accounts of laws contends that Humean laws cannot explain particular matters of fact because their explanations are harmfully circular. This article distinguishes between metaphysical and semantic characterizations of the circularity and argues for a new semantic version of the circularity objection. The new formulation suggests that Humean explanations are harmfully circular because the content of the sentences being explained is part of (...) the content of the sentences doing the explaining. I describe the nature of partial content and demonstrate how this account of partial content renders Humean explanations ineffective while sparing anti-Humean explanations from the same fate. 1Introduction2Standard Formulations of the Circularity Charge3Humean Responses4Semantic Characterizations of the Circularity Worry 4.1Hempel and Oppenheim’s semantic circularity concern4.2A new version of the semantic circularity charge4.3Partial content as a guide to circularity5Humean Responses to the Semantic Circularity Charge 5.1Smuggling in metaphysics through the back door?5.2Do anti-Humean laws fare any better?5.3The over-generalization concern6ConclusionAppendix. (shrink)

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in explanations (...) of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

Truthmaker theorists often express their core commitment by saying that truth is grounded in being, and grounding theorists often take truthmaking to be a paradigm case of grounding. But I will argue that truthmaking is not a case of grounding. What is crucial for understanding truthmaking is not grounding but rather meaning (in a broad sense including reference). Truth is still constrained by how things are, so even if (so‐called) truthmakers don't play a role in grounding truths, the methodological program (...) of truthmaker theory survives. Here I lay out my understanding of truth and truthmaking, and distinguish two conceptions of grounding. I argue that truthmaking is not plausibly seen as a case of grounding on either conception. I argue further that treating truthmaking as grounding threatens to violate a plausible irreflexivity principle, and makes trouble for the view that grounding is transitive. I then suggest that there is no genuine relation of truthmaking (which there would have to be if it were a true case of grounding). Finally, I show how the core insights of truthmaker theory are preserved by the understanding of truthmaking that I favor. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

Metaphysical orthodoxy holds that a privileged minority of properties carve reality at its joints. These are the so-called fundamental properties. This thesis concerns the contemporary philosophical debate about the nature of fundamental properties. In particular, it aims to answer two questions: What is the most adequate conception of fundamental properties? What is the “big picture” world-view that emerges by adopting such a conception? I argue that a satisfactory answer to both questions requires us to embrace a novel conception of powerful (...) qualities, according to which properties are at once dispositional and qualitative. By adopting the proposed conception of powerful qualities, an original theory of fundamental properties comes to light. I call it Dual-Aspect Account. In this thesis, I defend the Dual-Aspect Account and its superiority with respect to rival views of fundamental properties. I illustrate this claim by examining Dispositionalism, the view defended among others by Alexander Bird and Stephen Mumford, Categoricalism, which has been advocated notably by David Lewis and David Armstrong, and the Identity Theory of powerful qualities, primarily championed by C. B. Martin and John Heil. The latter is the standard conception of powerful qualities. However, in the literature, the Identity Theory faces the charge of contradiction. A preliminary task is therefore to show that a conception of powerful qualities is coherent. To accomplish this aim, I introduce the notion of an aspect of a property. On this interpretation, powerful qualities can be thought of as having dispositional and qualitative aspects. I show that such a conception allows us to disambiguate the claim that a property’s dispositionality is identical with its qualitativity, and evade the charge of contradiction. Aspects bring us other theoretical benefits. I illustrate this claim by showing how the Dual-Aspect Account offers us a promising theory of resemblance. I then compare its merits with David Armstrong’s theory of partial identity. The conclusion of this thesis is that the Dual-Aspect Account is better suited to capturing the world as we find it in everyday life and scientific investigation as compared to the theoretical positions examined. (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)

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)

In this article, we address a major outstanding question of probabilistic Bayesian epistemology: how should a rational Bayesian agent update their beliefs upon learning an indicative conditional? A number of authors have recently contended that this question is fundamentally underdetermined by Bayesian norms, and hence that there is no single update procedure that rational agents are obliged to follow upon learning an indicative conditional. Here we resist this trend and argue that a core set of widely accepted Bayesian norms is (...) sufficient to identify a normatively privileged updating procedure for this kind of learning. Along the way, we justify a privileged formalization of the notion of ‘epistemic conservativity’, offer a new analysis of the Judy Benjamin problem, and emphasize the distinction between interpreting the content of new evidence and updating one’s beliefs on the basis of that content. (shrink)

Semantic gaps between physical and mental discourse include the 'explanatory', 'epistemic' (Black-and-White Mary), and 'suppositional' (zombies) gaps; protosemantics is concerned with what is fundamental to meaning. Our tradition presupposes a truth-based protosemantics, with disastrous consequences for interpreting the semantic gaps: nonphysicalism, epiphenomenalism, separatism. Fortunately, an endorsement-based protosemantics, recentering meaning from the world to the mind, is technically viable, intuitively more plausible, and empirically more adequate. But, of present significance, it makes room for interpreting mental discourse as expressing simulations: this blocks (...) the disastrous consequences; and, as a bonus, accommodates hitherto anomalous asymmetries among the various semantic gaps. (shrink)

Humean accounts of laws of nature fail to distinguish between dynamic laws and static initial conditions. But this distinction plays a central role in scientific theorizing and explanation. I motivate the claim that this distinction should matter for the Humean, and show that current views lack the resources to explain it. I then develop a regularity theory that captures this distinction. My view takes empirical accessibility to be one of the primary features of laws, and I identify features laws must (...) have to be empirically accessible. I then argue that laws with these features tend to be dynamic. _1_ The Best System _1.1_ Orthodox Humeanism _2_ The Best Is Not Good Enough _2.1_ Laws and boundary conditions _2.2_ Laws and scientific practice _2.3_ An illustrative example _3_ Laws and Epistemic Roles _3.1_ The epistemic criterion _3.2_ The epistemic role account _3.3_ Scientific virtues _3.4_ Applying the epistemic role account _4_ Conclusion. (shrink)

What is the compositional structure of reality? That question divides naturally into these two: What is the compositional structure of the particulars that populate reality? And what is the structure of the properties and relations that fix what these entities are like? David Lewis‘s work in ontology and mereology provides the materials for an extraordinarily clean answer to the first question. First, among the particulars1 that populate reality are mereological simples: entities that have no proper parts. Second, every collection of (...) such entities has a unique mereological fusion. And third, every particular is either a simple, or a fusion of simples.2 That‘s it. I propose to take this answer on board.3 What, then, about our second question? Here it looks as though we can draw on an additional Lewisian thesis: Joints: There is a distinction — at the level of metaphysics — between more and less natural properties. Some properties are perfectly natural; others are less-but-still-quite natural; still others are not very natural at all. This distinction earns its philosophical keep because of the number and centrality of the philosophical projects that must presuppose it. And to say that this distinction resides at the level of metaphysics is, at least in part, to say that it is not grounded in facts about human psychology. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

This paper argues that the normative character of our unreflective situated behaviour is not factual. We highlight a problematic assumption shared by the two most influential trends in contemporary philosophy of cognitive science, reductionism and enactivism. Our intentional, normative explanations are referential, descriptive or factual. Underneath this assumption lies the idea that only facts can make true or false our attributions of cognitive, mental and agential abilities. We will argue against this view by describing the main features and problems of (...) reductionism and enactivism and then we will offer two arguments against this shared factualist assumption: (1) normative vocabulary is ineliminable if we want a complete explanation of our situated practices; and (2) the factualist assumption is a species of the is-ought fallacy. Finally, we will claim that a folk psychological explanation of our normative practices is fully compatible with ontological naturalism when such descriptivist or factualist assumption is rejected. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

Mainstream analytic metaphysics is a priori metaphysics. It is hemmed in by basic assumptions that rest on no more than a priori intuitions. Jaegwon Kim's arguments about causation are a paradigm example of sophisticated arguments with little or no justification from the world as we know it. And Peter van Inwagen's arguments about material objects are motivated by a question that, I think, has no nontrivial answer: Under what conditions do some x's compose an object y? The trivial answers are (...) "always" and "never." Any other answer, including van Inwagen's, seems to me to be arbitrary—and again based on a priori intuitions. To cite two more examples that I find egregious: The assumption that there is a metaphysically important distinction between what is mind-independent and what is not, and the assumption that there is a metaphysically important distinction, among things that are real, between what is fundamental and what is not. A priori intuitions, especially when not shared by philosophers outside a small circle of specially trained people, seem a weak reed on which to hang metaphysical systems. (shrink)

It is often held to be definitive of consciousness that there is something it is like to be in a conscious state. A consensus has arisen that ‘is like’ in relevant ‘what it is like’ locutions does not mean ‘resembles’. This paper argues that the consensus is mistaken. It is argued that a recently proposed ‘affective’ analysis of these locutions fails, but that a purported rival of the resemblance analysis, the property account, is in fact compatible with it. Some of (...) the implications of this argument are briefly explored: it is suggested that the meaning of ‘what it’s like’ does not, in itself, have any special bearing on consciousness, and that the implications for the so-called ‘hard problem’ of consciousness are deflationary. (shrink)

Good’s theorem is the apparent platitude that it is always rational to ‘look before you leap’: to gather information before making a decision when doing so is free. We argue that Good’s theorem is not platitudinous and may be false. And we argue that the correct advice is rather to ‘make your act depend on the answer to a question’. Looking before you leap is rational when, but only when, it is a way to do this.

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)

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

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Is part of a perfectly natural, or fundamental, relation? Philosophers have been hesitant to take a stand on this issue. One reason for this hesitancy is the worry that, if parthood is perfectly natural, then the perfectly natural properties and relations are not suitably “independent” of one another. In this paper, I argue that parthood is a perfectly natural relation. In so doing, I argue that this “independence” worry is unfounded. I conclude by noting some consequences of the naturalness of (...) parthood. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

Some explanations in social science, psychology and biology belong to a higher level than other explanations. And higher explanations possess the virtue of abstracting away from the details of lower explanations, many philosophers argue. As a result, these higher explanations are irreplaceable. And this suggests that there are genuine higher laws or patterns involving social, psychological and biological states. I show that this ‘abstractness argument’ is really an argument schema, not a single argument. This is because the argument uses the (...) ‘is lower than’ relation, and this relation admits of different readings. I then suggest four rigorous definitions of the ‘is lower than’ relation, and show that the abstractness argument’s prospects are much brighter for some of these definitions than for others. To show this, I evaluate the so-called ‘disjunctive threat’ to the abstractness argument. (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.

The relation between probabilistic and explanatory reasoning is a classical topic in philosophy of science. Most philosophical analyses are concerned with the compatibility of Inference to the Best Explanation with probabilistic, Bayesian inference, and the impact of explanatory considerations on the assignment of subjective probabilities. This paper reverses the question and asks how causal and explanatory considerations are affected by probabilistic information. We investigate how probabilistic information determines the explanatory value of a hypothesis, and in which sense folk explanatory practice (...) can be said to be rational. Our study identifies three main factors in reasoning about a explanatory hypothesis: cognitive salience, rational acceptability and logical entailment. This corresponds well to the variety of philosophical accounts of explanation. Moreover, we show that these factors are highly sensitive to manipulations of probabilistic information. This finding suggests that probabilistic reasoning is a crucial part of explanatory inferences, and it motivates new avenues of research in the debate about Inference to the Best Explanation and probabilistic measures of explanatory power. (shrink)

This essay focuses on a recently prominent notion of ground which is distinctive for how it links metaphysics to explanation. Ground is supposed to serve both as the common factor in diverse in virtue of questions as well as the structuring relation in the project of explaining how some phenomena are “built” from more fundamental phenomena. My aim is to provide an opinionated synopsis of this notion of ground without engaging with others. Ground, so understood, generally resists illumination by appeal (...) to more familiar models of explanation. Nevertheless, its distinctive explanatory and metaphysical aspects guide us on characterizing its explanatory logic and its metaphysical features. Some issues concerning the meta-question of what grounds ground are explored, as well as some recent skeptical challenges to ground. (shrink)

Das Thema dieses Bandes ist die Frage, ob die Wissenschaftstheorie eine normative Disziplin ist. Zunächst überrascht die Frage, denn für viele Wissenschaftstheoretiker ist die Antwort ein klares „Ja“; sie halten es für einen Allgemeinplatz, dass die Wissenschaftstheorie ein normatives Unternehmen ist. Bei genauerem Hinsehen stellt sich jedoch heraus, dass die Frage unterschiedliche Interpretationen zulässt, die einzeln diskutiert werden müssen. Dies geschieht im ersten Abschnitt. Im zweiten Abschnitt suchen wir nach möglichen Erklärungen dafür, warum die Wissenschaftstheorie bisher bei dem Projekt, eine (...) allseits akzeptable Methodologie wissenschaftlichen Schließens zu formulieren und zu begründen, so wenig Erfolg hatte. Eine mögliche Erklärung für den ausbleibenden Erfolg ist der Partikularismus, wonach Methoden keine allgemeine, sondern nur eine lokale, bereichsabhängige Gültigkeit haben. Im dritten Abschnitt wollen wir an Hand des Bayesianismus zeigen, dass die Methodologie doch nicht so schlecht da steht, wie es zunächst den Anschein hat. Der Bayesianismus ist für viele Wissenschaftstheoretiker der aussichtsreichste Kandidat für eine allgemeine Theorie induktiven Räsonierens. Wir besprechen seine Vorzüge, stellen aber auch dar, welche Konzessionen er an den Partikularismus machen muss. (shrink)

Debates on the metaphysics of science have steadily gained momentum over the last decade or so. This appears to illustrate a case of philosophers’ realisation that metaphysics—and theoretical philosophy overall—largely depends upon the sciences and has a good deal to learn from them. Recent literature on this, in fact, has reached an unforeseen high level of refinement in the arguments and a very much desirable precision in the consequences that we can derive from examining the interplay currently undergoing between science (...) and metaphysics. The editors of the volume under review have certainly done a great work by compiling some fruitful and novel contributions to our understanding of issues such as the aim and scope of the metaphysics of science, laws of nature, causation, and natural kinds, which are amongst the most heatedly discussed topics in the arena.The structure of the volume is as follows: “What is the metaphysics of science?” ; “Measurements, la .. (shrink)

The paper is an investigation into the prospects of an epistemology of non-conceptual knowledge. According to the orthodox view, knowledge requires concepts and belief. I present several arguments to the effect that there is non-conceptual, non-doxastic knowledge, the obvious candidate for such knowledge being non-conceptual perception. Non-conceptual perception seems to be allowed for by cognitive scientists and it exhibits the central role features of knowledge—it plays the knowledge role: it respects an anti-luck condition, it is an achievement, it enables one (...) to act for a reason, and it provides justification. Furthermore, it makes a straightforward and elegant explanation of perceptual knowledge possible: doxastic perceptual knowledge builds on non-conceptual perception as non-conceptual knowledge. Three objections that might naturally arise will be discussed and answered. Thus, the prospects of an epistemology without belief seem to be much better than the orthodoxy wants to have it. We can extend knowledge into the non-conceptual realm. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by (...) saying that, in typical cases, history would have been only *very slightly* different until shortly before the relevant time. The paper also draws some connections between the puzzle about counterfactuals under determinism and the debate about whether determinism entails that no-one can ever do otherwise than they in fact do. (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)

I advocate Time-Slice Rationality, the thesis that the relationship between two time-slices of the same person is not importantly different, for purposes of rational evaluation, from the relationship between time-slices of distinct persons. The locus of rationality, so to speak, is the time-slice rather than the temporally extended agent. This claim is motivated by consideration of puzzle cases for personal identity over time and by a very moderate form of internalism about rationality. Time-Slice Rationality conflicts with two proposed principles of (...) rationality, Conditionalization and Reflection. Conditionalization is a diachronic norm saying how your current degrees of belief should fit with your old ones, while Reflection is a norm enjoining you to defer to the degrees of belief that you expect to have in the future. But they are independently problematic and should be replaced by improved, time-slice-centric principles. Conditionalization should be replaced by a synchronic norm saying what degrees of belief you ought to have given your current evidence and Reflection should be replaced by a norm which instructs you to defer to the degrees of belief of agents you take to be experts. These replacement principles do all the work that the old principles were supposed to do while avoiding their problems. In this way, Time-Slice Rationality puts the theory of rationality on firmer foundations and yields better norms than alternative, non-time-slice-centric approaches. (shrink)