Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}(A)}$$\end{document} of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}(A)}$$\end{document} consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n × n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification” \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\underline A}$$\end{document} of A, which is a commutative Rickart C*-algebra in the topos of functors from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}A}$$\end{document} to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns–Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\underline A}$$\end{document} for A = B(H). (shrink)

We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr's interpretation of quantum mechanics, i.e. his doctrine of classical concepts and his principle of complementarity. An appropriate mathematical language for combining (...) these ideas is topos theory, a framework earlier proposed for physics by Isham and collaborators. Our "Principle of general tovariance" states that any mathematical structure appearing in the laws of physics must be definable in an arbitrary topos (with natural numbers object) and must be preserved under so-called geometric morphisms. This principle identifies geometric logic as the mathematical language of physics and restricts the constructions and theorems to those valid in intuitionism: neither Aristotle's principle of the excluded third nor Zermelo's Axiom of Choice may be invoked. Subsequently, our "Equivalence principle" states that any algebra of observables (initially defined in the topos Sets) is empirically equivalent to a commutative one in some other topos. (shrink)

We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we consider dagger monoidal kernel categories for (ii), so that (i) become (sub)endohomsets and (iii) become subobject lattices. By developing a ‘point-free’ definition of copyability we link (i) commutative von Neumann subalgebras, (ii) classical structures, and (iii) Boolean subalgebras.

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through (...) the concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem.In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)

We prove a structure theorem for compact inverse categories. The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Clifford is that commutative inverse monoids become semilattices of abelian groups. It has also been categorified by Hoehnke and DeWolf-Pronk to a structure theorem for inverse categories as locally complete inductive groupoids. We show that in the case of compact inverse categories, this takes the particularly nice form of a semilattice of (...) compact groupoids. Moreover, one-object compact inverse categories are exactly commutative inverse monoids. Compact groupoids, in turn, are determined in particularly simple terms of 3-cocycles by Baez-Lauda. (shrink)

The desire-satisfaction theory of well-being says, in its simplest form, that a person’s level of welfare is determined by the extent to which their desires are satisfied. A question faced by anyone attracted to such a view is, *Which desires*? This paper proposes a new answer to this question by characterizing a distinction among desires that isn’t much discussed in the well-being literature. This is the distinction between what a person wants in a merely behavioral sense, in that the person (...) is, for some reason or other, disposed to act so as to try to get it, and what a person wants in a more robust sense, the sense of being *genuinely attracted* to the thing. I try to make this distinction more clear, and I argue for its axiological relevance by putting it to work in solving four problem cases for desire satisfactionism. The theory defended holds that only desires in the latter, genuine-attraction sense are relevant to welfare. (shrink)

The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

The primary aim of this book is to understand how seemings relate to justification and whether some version of dogmatism or phenomenal conservatism can be sustained. It also addresses a number of other issues, including the nature of seemings, cognitive penetration, Bayesianism, and the epistemology of morality and disagreement.

Open-minded people should endorse dogmatism because of its explanatory power. Dogmatism holds that, in the absence of defeaters, a seeming that P necessarily provides non-inferential justification for P. I show that dogmatism provides an intuitive explanation of four issues concerning non-inferential justification. It is particularly impressive that dogmatism can explain these issues because prominent epistemologists have argued that it can’t address at least two of them. Prominent epistemologists also object that dogmatism is absurdly permissive because it allows a seeming to (...) provide justification even if the seeming was caused in some apparently inappropriate way. I conclude by disarming this objection. (shrink)

It may seem that epistemic and practical rationality weigh reasons differently, because ties in practical rationality tend to generate permissions and ties in epistemic rationality tend to generate a requirement to withhold judgment. I argue that epistemic and practical rationality weigh reasons in the same way, but they have different "default biases". Practical rationality is biased toward every option being permissible whereas epistemic rationality is biased toward withholding judgment's being required.

Explains the desire-fulfillment theory of well-being, its history, its development, its varieties, its advantages, and its challenges.

This entry considers the philosophical subject called 'metaphysics'. There have been many conceptions of metaphysics, and metaphysics has faced severe criticism throughout the history of philosophy and continues to do so. Besides discussing some major trends in analytic metaphysics - understood as 'metaphysics done by analytic philosophers' - we consider some of the criticisms and possible responses.

Subjective theories of well-being claim that how well our lives go for us is a matter of our attitudes towards what we get in life rather than the nature of the things themselves. This article explains in more detail the distinction between subjective and objective theories of well-being; describes, for each approach, some reasons for thinking it is true; outlines the main kinds of subjective theory; and explains their advantages and disadvantages.

This paper responds to a new objection, due to Ben Bramble, against attitudinal theories of sensory pleasure and pain: the objection from unconscious pleasures and pains. According to the objection, attitudinal theories are unable to accommodate the fact that sometimes we experience pleasures and pains of which we are, at the time, unaware. In response, I distinguish two kinds of unawareness and argue that the subjects in the examples that support the objection are unaware of their sensations in only a (...) weak sense, and this weak sort of unawareness of a sensation does not preclude its being an object of one’s attitudes. (shrink)

Choice architecture is heralded as a policy approach that does not coercively reduce freedom of choice. Still we might worry that this approach fails to respect individual choice because it subversively manipulates individuals, thus contravening their personal autonomy. In this article I address two arguments to this effect. First, I deny that choice architecture is necessarily heteronomous. I explain the reasons we have for avoiding heteronomous policy-making and offer a set of four conditions for non-heteronomy. I then provide examples of (...) nudges that meet these conditions. I argue that these policies are capable of respecting and promoting personal autonomy, and show this claim to be true across contrasting conceptions of autonomy. Second, I deny that choice architecture is disrespectful because it is epistemically paternalistic. This critique appears to loom large even against non-heteronomous nudges. However, I argue that while some of these policies may exhibit epistemically paternalistic tendencies, these tendencies do not necessarily undermine personal autonomy. Thus, if we are to find such policies objectionable, we cannot do so on the grounds of respect for autonomy. (shrink)

_The Good Life of Teaching_ extends the recent revival of virtue ethics to professional ethics and the philosophy of teaching. It connects long-standing philosophical questions about work and human growth to questions about teacher motivation, identity, and development. Makes a significant contribution to the philosophy of teaching and also offers new insights into virtue theory and professional ethics Offers fresh and detailed readings of major figures in ethics, including Alasdair MacIntyre, Charles Taylor, and Bernard Williams and the practical philosophies of (...) Hannah Arendt, John Dewey and Hans-Georg Gadamer Provides illustrations to assist the reader in visualizing major points, and integrates sources such as film, literature, and teaching memoirs to exemplify arguments in an engaging and accessible way Presents a compelling vision of teaching as a reflective practice showing how this requires us to prepare teachers differently. (shrink)

The doctrine of permanent sovereignty over natural resources is a hugely consequential one in the contemporary world, appearing to grant nation-states both jurisdiction-type rights and rights of ownership over the resources to be found in their territories. But the normative justification for that doctrine is far from clear. This article elucidates the best arguments that might be made for permanent sovereignty, including claims from national improvement of or attachment to resources, as well as functionalist claims linking resource rights to key (...) state functions. But it also shows that these defences are insufficient to justify permanent sovereignty and that in many cases they actually count against it as a practice. They turn out to be compatible, furthermore, with the dispersal of resource rights away from the nation-state which global justice appears to demand. (shrink)

A short encyclopedia entry on the issue of whether the value of a whole is equal to the sum of the values of its parts.

We consider the influence that John Forrester’s work has had on thinking in, with, and from cases in multiple disciplines. Forrester’s essay ‘If p, Then What? Thinking in Cases’ was published in History of the Human Sciences in 1996 and transformed understandings of what a case was, and how case-based thinking worked in numerous human sciences. Forrester’s collection of essays Thinking in Cases was published posthumously, after his untimely death in 2015, and is the inspiration for the special issue we (...) introduce. This comprises new research from authors working in and across the history of science and medicine, gender and sexuality studies, philosophy of science, semiotics, film studies, literary studies and comparative literature, psychoanalytic studies, medical humanities, and sociology. This research addresses what it means to reason in cases in particular temporal, spatial, or genre-focused contexts; introduces new figures into lineages of case-based reasoning; emphasizes the unfinished and unfinishable character of some case reading and autobiographical accounts; and shows the frequency with which certain kinds of reasoning attempted with cases fail. The special issue opens up new directions for thinking and working with cases and case-based reasoning in the humanities and human sciences. (shrink)

An important and widely-endorsed argument for moral realism is based on alleged parallels between that doctrine and epistemic realism -- roughly the view that there are genuine epistemic facts, facts such as that it is reasonable to believe that astrology is false. I argue for an important disanalogy between moral and epistemic facts. Epistemic facts, but not moral facts, are plausibly identifiable with mere descriptive facts about the world. This is because, whereas the much-discussed moral open-question argument is compelling, the (...) little-discussed epistemic open-question argument is not. This paper is a critical notice of Terence Cuneo's The Normative Web: An Argument for Moral Realism (Oxford University Press, 2007). (shrink)

Phenomenal conservatism holds, roughly, that if it seems to S that P, then S has evidence for P. I argue for two main conclusions. The first is that phenomenal conservatism is better suited than is proper functionalism to explain how a particular type of religious belief formation can lead to non-inferentially justified religious beliefs. The second is that phenomenal conservatism makes evidence so easy to obtain that the truth of evidentialism would not be a significant obstacle to justified religious belief. (...) A natural objection to phenomenal conservatism is that it makes evidence too easy to obtain, but I argue this objection is mistaken. (shrink)

An introduction to the philosophical debate over what makes a person's life go well. It attempts to clarify the question of welfare and to explore several of the most important answers, while displaying the main contours of the dialectic.

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

Classical acquaintance theory is any version of classical foundationalism that appeals to acquaintance in order to account for non-inferential justification. Such theories are well suited to account for a kind of infallible non-inferential justification. Why am I justified in believing that I’m in pain? An initially attractive (partial) answer is that I’m acquainted with my pain. But since I can’t be acquainted with what isn’t there, acquaintance with my pain guarantees that I’m in pain. What’s less clear is whether, given (...) classical acquaintance theory, it’s possible to have non-inferential justification to believe something false. Classical acquaintance theorists try to make room for such a possibility, but I argue that the attempts of Richard Fumerton, Ali Hasan, and Evan Fales are inadequate. I’ll focus on introspective justification, but similar issues arise for a priori justification as well. (shrink)

The doctrine of permanent sovereignty over natural resources is a hugely consequential one in the contemporary world, appearing to grant nation-states both jurisdiction-type rights and rights of ownership over the resources to be found in their territories. But the normative justification for that doctrine is far from clear. This article elucidates the best arguments that might be made for permanent sovereignty, including claims from national improvement of or attachment to resources, as well as functionalist claims linking resource rights to key (...) state functions. But it also shows that these defences are insufficient to justify permanent sovereignty and that in many cases they actually count against it as a practice. They turn out to be compatible, furthermore, with the dispersal of resource rights away from the nation-state which global justice appears to demand. (shrink)

In his stimulating new book The Construction of Logical Space , Agustín Rayo offers a new account of mathematics, which he calls ‘Trivialist Platonism’. In this article, we take issue with Rayo’s case for Trivialist Platonism and his claim that the view overcomes Benacerraf’s dilemma. Our conclusion is that Rayo has not shown that Trivialist Platonism has any advantage over nominalism.

Offers advice and instruction on creating sucessful photographs in any lighting situation, including tips on working with natural light, creating effects with shadows, and shooting photographs at night and in low-light.

Explains how to select and use a digital camera, offering advice on taking pictures, altering images, and adding photographic special effects to Web pages.

Methods for unifying inconsistent pairs of theories, which we call collectively MERGE, are defined and their properties outlined.

Ethicists increasingly reject the scale as a useful metaphor for weighing reasons. Yet they generally retain the metaphor of a reason’s weight. This combination is incoherent. The metaphor of weight entails a very specific scale-based model of weighing reasons, Dual Scale. Justin Snedegar worries that scale-based models of weighing reasons can’t properly weigh reasons against an option. I show that there are, in fact, two different reasons for/against distinctions, and I provide an account of the relationship between the various kinds (...) of reason for and against. With this account in hand, we’ll see that Dual Scale has no problem weighing any kind of reason against. (shrink)

This paper accomplishes three goals. First, it reveals that God’s ethics has a radical satisficing structure: God can choose a good enough suboptimal option even if there is a best option and no countervailing considerations. Second, it resolves the long-standing worry that there is no account of the good enough that is both principled and demanding enough to be good enough. Third, it vindicates the key ethical assumption in the problem of evil without relying on the contested assumption that God’s (...) ethics is our ethics. (shrink)

This paper develops and defends a novel version of a relatively neglected category of theory of the nature of happiness: the desire-satisfaction theory. My account is similar in its fundamentals to Wayne Davis’s theory of happiness-as-subjective-desire-satisfaction. After arguing that this is the best general way to proceed for the desire-based approach, I develop an improved version of subjective desire satisfactionism in light of recent arguments in the happiness literature.

This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement (...) and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail. (shrink)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts of (...) computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)

If dangerous climate change is to be avoided, it is vital that carbon sinks such as tropical rainforests are protected. But protecting them has costs. These include opportunity costs: the potential economic benefits which those who currently control rainforests have to give up when they are protected. But who should bear those costs? Should countries which happen to have rainforests within their territories sacrifice their own economic development, because of our broader global interests in protecting key carbon sinks? This essay (...) develops an argument from the “principle of fairness,” which seeks to establish that outsiders should pay states with rainforests so as to share the costs of protection. If they do not, they can be condemned for free-riding on forest states. The argument is, I suggest, compelling and also capable of enjoying support from adherents of a wide variety of positions on global justice. (shrink)

The notion that human activity can be characterised in terms of dynamic systems is a well-established alternative to motor schema approaches. Key to a dynamic systems approach is the idea that a system seeks to achieve stable states in the face of perturbation. While such an approach can apply to physical activity, it can be challenging to accept that dynamic systems also describe cognitive activity. In this paper, we argue that creativity, which could be construed as a ‘cognitive’ activity par (...) excellence, arises from the dynamic systems involved in jewellery making. Knowing whether an action has been completed to a ‘good’ standard is a significant issue in considering acts in creative disciplines. When making a piece of jewellery, there a several criteria which can define ‘good’. These are not only the aesthetics of the finished piece but also the impact of earlier actions on subsequent ones. This suggests that the manner in which an action is coordinated is influenced by the criteria by which the product is judged. We see these criteria as indicating states for the system, e.g. in terms of a space of ‘good’ outcomes and a complementary space of ‘bad’ outcomes. The skill of the craftworker is to navigate this space of available states in such a way as to minimise risk, effort and other costs and maximise benefit and quality of the outcome. In terms of postphenomonology, this paper explores Ihde’s human-technology relations and relates these to the concepts developed here. (shrink)

Some hold that musical works are fusions of, or coincide with, their performances. But if performances contain wrong notes, won't works inherit that property? We say ‘no’.

Support vector machines are being used increasingly in affective science as a data-driven classification method and feature reduction technique. Whereas traditional statistical methods typically compare group averages on selected variables, SVMs use a predictive algorithm to learn multivariate patterns that optimally discriminate between groups. In this review, we provide a framework for understanding the methods of SVM-based analyses and summarize the findings of seminal studies that use SVMs for classification or data reduction in the behavioral and neural study of emotion (...) and affective disorders. We conclude by discussing promising directions and potential applications of SVMs in future research in affective science. (shrink)

Dale Dorsey’s wide-ranging A Theory of Prudence contains ideas and arguments worthy of our attention on quite a variety of self-interest-related normative topics. In this essay I focus on Dorsey’s theory of prudential rationality, which is designed to deliver a negative answer to this essay’s titular question. Dorsey’s negative answer may be more intuitive, but I believe the positive answer is more defensible. From the perspective of prudence, it is just as reasonable to change your desires to fit the world (...) as it is to change the world to fit your desires. (shrink)