Christopher J. G. Meacham

Rational agents are supposed to maximize expected utility. But what are the options from which they choose? I outline some constraints on an adequate representation of an agent’s options. The options should, for example, contain no information of which the agent is unsure. But they should be sufficiently rich to distinguish all available acts from one another. These demands often come into conflict, so that there seems to be no adequate representation of the options at all. After reviewing existing proposals for how to construe decision-theoretic options and finding them all wanting, I suggest that our model of rational agents should include a special domain of ‘virtual’ option propositions to serve as formal objects of deliberation and choice.

I defend a general rule for updating beliefs that takes into account both the impact of new evidence and changes in the subject’s location. The rule combines standard conditioning with a shifting operation that moves the center of each doxastic possibility forward to the next point where information arrives. I show that well-known arguments for conditioning lead to this combination when centered information is taken into account. I also discuss how my proposal relates to other recent proposals, what results it delivers for puzzles like the Sleeping Beauty problem, and whether there are diachronic constraints on rational belief at all.

The properties colored and red stand in a special relation. Namely, red is a determinate of colored, and colored is determinable relative to red. Many other properties are similarly related. The determination relation is an interesting topic of logical investigation in its own right, and the prominent philosophical inquiries into this relation have, accordingly, operated at a high level of abstraction.1 It is time to return to these investigations, not just as a logical amusement, but for the payoffs such investigation can yield in solving some basic metaphysical problems. The goal in what follows is twofold. First, I argue for a novel understanding of the determination relation. Second, this understanding is applied to yield insights into property instance (e.g., trope) individuation, how different property types can share an instance, the relation between property types and property instances, as well as applications to causation (mental causation, in particular).

Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy.

Some theories of quantum mechanical phenomena endorse wave function realism, according to which the physical space we inhabit is very different from the physical space we appear to inhabit. In this paper I explore an argument against wave function realism that appeals to a type of simplicity that, although often overlooked, plays a crucial role in scientific theory choice. The type of simplicity in question is simplicity of fit between the way a theory says the world is and the way the world appears to be. This argument can be understood as one way of spelling out the so-called “incredulous stare objection” that is sometimes leveled against surprising metaphysical theories.

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations.

It is a platitude among decision theorists that agents should choose their actions so as to maximize expected value. But exactly how to define expected value is contentious. Evidential decision theory (henceforth EDT), causal decision theory (henceforth CDT), and a theory proposed by Ralph Wedgwood that this essay will call benchmark theory (BT) all advise agents to maximize different types of expected value. Consequently, their verdicts sometimes conflict. In certain famous cases of conflict—medical Newcomb problems—CDT and BT seem to get things right, while EDT seems to get things wrong. In other cases of conflict, including some recent examples suggested by Andy Egan, EDT and BT seem to get things right, while CDT seems to get things wrong. In still other cases, EDT and CDT seems to get things right, while BT gets things wrong. It's no accident, this essay claims, that all three decision theories are subject to counterexamples. Decision rules can be reinterpreted as voting rules, where the voters are the agent's possible future selves. The problematic examples have the structure of voting paradoxes. Just as voting paradoxes show that no voting rule can do everything we want, decision-theoretic paradoxes show that no decision rule can do everything we want. Luckily, the so-called “tickle defense” establishes that EDT, CDT, and BT will do everything we want in a wide range of situations. Most decision situations, this essay argues, are analogues of voting situations in which the voters unanimously adopt the same set of preferences. In such situations, all plausible voting rules and all plausible decision rules agree

This concise book introduces nonphysicists to the core philosophical issues surrounding the nature and structure of space and time, and is also an ideal resource for physicists interested in the conceptual foundations of space-time theory. Tim Maudlin's broad historical overview examines Aristotelian and Newtonian accounts of space and time, and traces how Galileo's conceptions of relativity and space-time led to Einstein's special and general theories of relativity. Maudlin explains special relativity using a geometrical approach, emphasizing intrinsic space-time structure rather than coordinate systems or reference frames. He gives readers enough detail about special relativity to solve concrete physical problems while presenting general relativity in a more qualitative way, with an informative discussion of the geometrization of gravity, the bending of light, and black holes. Additional topics include the Twins Paradox, the physical aspects of the Lorentz-FitzGerald contraction, the constancy of the speed of light, time travel, the direction of time, and more.Introduces nonphysicists to the philosophical foundations of space-time theory Provides a broad historical overview, from Aristotle to Einstein Explains special relativity geometrically, emphasizing the intrinsic structure of space-time Covers the Twins Paradox, Galilean relativity, time travel, and more Requires only basic algebra and no formal knowledge of physics

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

David Lewis is a natural target for those who believe that findings in quantum physics threaten the tenability of traditional metaphysical reductionism. Such philosophers point to allegedly holistic entities they take both to be the subjects of some claims of quantum mechanics and to be incompatible with Lewisian metaphysics. According to one popular argument, the non-separability argument from quantum entanglement, any realist interpretation of quantum theory is straightforwardly inconsistent with the reductive conviction that the complete physical state of the world supervenes on the intrinsic properties of and spatio-temporal relations between its point-sized constituents. Here I defend Lewis's metaphysical doctrine, and traditional reductionism more generally, against this alleged threat from quantum holism. After presenting the non-separability argument from entanglement, I show that Bohmian mechanics, an interpretation of quantum mechanics explicitly recognized as a realist one by proponents of the non-separability argument, plausibly rejects a key premise of that argument. Another holistic worry for Humeanism persists, however, the trouble being the apparently holistic character of the Bohmian pilot wave. I present a Humean strategy for addressing the holistic threat from the pilot wave by drawing on resources from the Humean best system account of laws

Diachronic Dutch book arguments seem to support both conditionalization and Bas van Fraassen's Reflection principle. But the Reflection principle is vulnerable to numerous counterexamples. This essay addresses two questions: first, under what circumstances should an agent obey Reflection, and second, should the counterexamples to Reflection make us doubt the Dutch book for conditionalization? In response to the first question, this essay formulates a new "Qualified Reflection" principle, which states that an agent should obey Reflection only if he or she is certain that he or she will conditionalize on veridical evidence in the future. Qualified Reflection follows from the probability calculus together with a few idealizing assumptions. The essay then formulates a "Distorted Reflection" principle that approximates Reflection even in cases where the agent is not quite certain that he or she will conditionalize on veridical evidence. In response to the second question, the essay argues that contrary to a common misconception, not all Dutch books dramatize incoherence—some dramatize a less blameworthy sort of epistemic frailty that the essay calls "self-doubt." The distinction between Dutch books that dramatize incoherence and those that dramatize self-doubt cross-cuts the distinction between synchronic and diachronic Dutch books. The essay explains why the Dutch book for conditionalization reveals true incoherence, whereas the Dutch book for Reflection reveals only self-doubt.

Our senses provide us with information about the world, but what exactly do they tell us? I argue that in order to optimally respond to sensory stimulations, an agent’s doxastic space may have an extra, “imaginary” dimension of possibility; perceptual experiences confer certainty on propositions in this dimension. To some extent, the resulting picture vindicates the old-fashioned empiricist idea that all empirical knowledge is based on a solid foundation of sense-datum propositions, but it avoids most of the problems traditionally associated with that idea. The proposal might also explain why experiences appear to have a non-physical phenomenal character, even if the world is entirely physical.

This paper evaluates a recent method proposed by Jeremy Gwiazda for calculating the value of gambles that fail to have expected values in the standard sense. I show that Gwiazda’s method fails to give answers for many gambles that do have standardly defined expected values. However, a slight modification of his method (based on the mathematical notion of the ‘Cauchy principal value’ of an integral), is in fact a proper extension of both his method and the method of ‘weak expectations’. I show that this method gives an appropriate value when the ‘tails’ of the gambles that are eliminated in the truncation are ‘stable’, but that the value is not appropriate when the tails are not stable. I do not attempt to give an argument for the use of this method, but just note that it is more general than Gwiazda’s method, and is mathematically quite natural

We address the question of how finitely additive moral value theories (such as utilitarianism) should rank worlds when there are an infinite number of locations of value (people, times, etc.). In the finite case, finitely additive theories satisfy both Weak Pareto and a strong anonymity condition. In the infinite case, however, these two conditions are incompatible, and thus a question arises as to which of these two conditions should be rejected. In a recent contribution, Hamkins and Montero (2000) have argued in favor of an anonymity-like isomorphism principle and against Weak Pareto. After casting doubt on their criticism of Weak Pareto, we show how it, in combination with certain other plausible principles, generates a plausible and fairly strong principle for the infinite case. We further show that where locations are the same in all worlds, but have no natural order, this principle turns out to be equivalent to a strengthening of a principle defended by Vallentyne and Kagan (1997), and also to a weakened version of the catching-up criterion developed by Atsumi (1965) and by von Weizsäcker (1965). Footnotes1 For valuable comments, we would like to thank Marc Fleurbaey, Bart Capéau, Joel Hamkins, Barbara Montero, Tim Mulgan, and two anonymous referees for this journal.

Greaves and Wallace argue that conditionalization maximizes expected accuracy. In this paper I show that their result only applies to a restricted range of cases. I then show that the update procedure that maximizes expected accuracy in general is one in which, upon learning P, we conditionalize, not on P, but on the proposition that we learned P. After proving this result, I provide further generalizations and show that much of the accuracy-first epistemology program is committed to KK-like iteration principles and to the existence of a class of propositions that rational agents will be certain of if and only if they are true.

The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties

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.

The bootstrapping problem poses a general challenge, afflicting even strongly internalist theories. Even if one must always know that one’s source is reliable to gain knowledge from it, bootstrapping is still possible. I survey some solutions internalists might offer and defend the one I find most plausible: that bootstrapping involves an abuse of inductive reasoning akin to generalizing from a small or biased sample. I also argue that this solution is equally available to the reliabilist. The moral is that the issues raised by bootstrapping are orthogonal to questions about internalism and basic knowledge, having more to do with the nature of good inductive reasoning.

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