Skepticism and its Legacy (first 1 1/2 weeks) i) Skepticism about the external world: Skepticism in some form or another is a philosophical perennial, but even so it is not unreasonable to suggest that with Descartes, skepticism of an entirely new form made its first appearance on stage. Descartes deployed a radical doubt about the external world, with methodical ambitions, and in doing so he might be taken to have raised the stakes for epistemology. What if the Cartesian response to (...) Skepticism fails? Is our ordinary knowledge of the world impeached if we cannot refute the hypothesis that we are dreaming, or that we are the playthings of a malign demon? There is also a historical question: is Cartesian skepticism interestingly different from the Pyrrhonian and academic skepticism that was "in play" long before Descartes? (shrink)

A selection of essays dedicated to Hans Herzberger with affection and gratitude for both his profound work and his lasting example. Contributors: I. Levi (on whether and how a rational agent should be seen as a maximizer of some cognitive value), C. Normore (on medieval accounts of logical validity), J. P. Tappenden (on the local influences on Frege's doctrines), A. Urquhart (on the inexpressible), A. C. Varzi (on dimensionality and the sense of possibility), and S. Yablo (on content and (...) carvings, and from there to mathematical realism). (shrink)

Proposed derivations of the Born rule for Everettian theory are controversial. I argue that they are unnecessary but may provide justification for a simplified version of the Principal Principle. It’s also unnecessary to replace Everett’s idea that a subject splits in measurement contexts with the idea that subjects have linear histories which partition Many worlds? Everett, quantum theory, and reality, Oxford University Press, Oxford, pp 181–205, 2010; Wallace in The emergent multiverse, Oxford University Press, Oxford, 2012, Chapter 7; Wilson in (...) Br J Philos Sci 64:709–737, 2013; The nature of contingency: quantum physics as modal realism, Oxford University Press, Oxford, forthcoming). Linear histories were introduced to provide a concept of pre-measurement uncertainty and I explain why pre-measurement uncertainty for splitting subjects is after all coherent, though not necessary because Everett’s original fission interpretation of branching can arguably be rendered coherent without it, via reference to Vaidman, Tappenden, Sebens and Carroll and McQueen and Vaidman. A deterministic and probabilistic quantum mechanics can be made intelligible by replacing the standard collapse postulate with a no-collapse postulate which identifies objective probability with relative branch weight, supplemented by the simplified Principal Principle and some revisionary metaphysics. (shrink)

How does it come about then, that great scientists such as Einstein, Schrödinger and De Broglie are nevertheless dissatisfied with the situation? Of course, all these objections are levelled not against the correctness of the formulae, but against their interpretation. [...] The lesson to be learned from what I have told of the origin of quantum mechanics is that probable refinements of mathematical methods will not suffice to produce a satisfactory theory, but that somewhere in our doctrine is hidden a (...) concept, unjustified by experience, which we must eliminate to open up the road. (Born [ 1954 ], pp. 8, 11) It is truly surprising how little difference all this makes. Most physicists use quantum mechanics every day in their working lives without needing to worry about the fundamental problem of its interpretation. (Weinberg [ 1992 ], p. 66) I endorse the view that it may be of no relevance to the acceptability of the Everett interpretation of quantum mechanics as a physical theory whether or not an informed observer can be uncertain about the outcome of a quantum measurement prior to its having occurred. However, I suggest that the very possibility of post-measurement, pre-observation uncertainty has an essential role to play in both confirmation theory and decision theory in a branching universe. This is supported by arguments which do not appeal to van Fraassen’s Reflection Principle. (shrink)

Mathematical investigation, when done well, can confer understanding. This bare observation shouldn’t be controversial; where obstacles appear is rather in the effort to engage this observation with epistemology. The complexity of the issue of course precludes addressing it tout court in one paper, and I’ll just be laying some early foundations here. To this end I’ll narrow the field in two ways. First, I’ll address a specific account of explanation and understanding that applies naturally to mathematical reasoning: the view proposed (...) by Philip Kitcher and Michael Friedman of explanation or understanding as involving the unification of theories that had antecedently appeared heterogeneous. For the second narrowing, I’ll take up one specific feature (among many) of theories and their basic concepts that is sometimes taken to make the theories and concepts preferred: in some fields, for some problems, what is counted as understanding a problem may involve finding a way to represent the problem so that it (or some aspect of it) can be visualized. The final section develops a case study which exemplifies the way that this consideration – the potential for visualizability – can rationally inform decisions as to what the proper framework and axioms should be. The discussion of unification (in sections 3 and 4) leads to a mathematical analogue of Goodman’s problem of identifying a principled basis for distinguishing grue and green. Just as there is a philosophical issue about how we arrive at the predicates we should use when making empirical predictions, so too there is an issue about what properties best support many kinds of mathematical reasoning that are especially valuable to us. The issue becomes pressing via an examination of some physical and mathematical cases that make it seem unlikely that treatments of unification can be as straightforward as the philosophical literature has hoped. Though unification accounts have a grain of truth (since a phenomenon (or cluster of phenomena) called “unification” is in fact important in many cases) we are far from an analysis of what “unification” is.. (shrink)

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...) the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

A cluster of recent papers on Frege have urged variations on the theme that Frege’s conception of logic is in some crucial way incompatible with ‘metatheoretic’ investigation. From this observation, significant consequences for our interpretation of Frege’s understanding of his enterprise are taken to follow. This chapter aims to critically examine this view, and to isolate what I take to be the core of truth in it. However, I will also argue that once we have isolated the defensible kernel, the (...) sense in which Frege was committed to rejecting ‘metatheory’ is too narrow and uninteresting to support the con-. (shrink)

There was a methodological revolution in the mathematics of the nineteenth century, and philosophers have, for the most part, failed to notice.2 My objective in this chapter is to convince you of this, and further to convince you of the following points. The philosophy of mathematics has been informed by an inaccurately narrow picture of the emergence of rigour and logical foundations in the nineteenth century. This blinkered vision encourages a picture of philosophical and logical foundations as essentially disengaged from (...) ongoing mathematical practice. Frege is a telling example: we have misunderstood much of what Frege was trying to do, and missed the intended significance of much of what he wrote, because our received stories underestimate the complexity of nineteenth-century mathematics and mislocate Frege’s work within that context. Given Frege’s perceived status as a paradigmatic analytic philosopher, this mislocation translates into an unduly narrow vision of the relation between mathematics and philosophy. This chapter surveys one part of a larger project that takes Frege as a benchmark to fix some of the broader interest and philosophical significance of nineteenth-century developments. To keep this contribution to a manageable.. (shrink)

This paper uses the strengthened liar paradox as a springboard to illuminate two more general topics: i) the negation operator and the speech act of denial among speakers of English and ii) some ways the potential for acceptable language change is constrained by linguistic meaning. The general and special problems interact in reciprocally illuminating ways. The ultimate objective of the paper is, however, less to solve certain problems than to create others, by illustrating how the issues that form the topic (...) of this paper are more intricate than previously realised, and that they are related in delicate and somewhat surprising ways. (shrink)

There are currently several versions of Everett's relative state interpretation of quantum mechanics, responding to a number of perceived problems for the original proposal. One of those problems is whether Everett's idea is in accord with the standard 'probabilistic' interpretation implicit in the Born rule. I argue in defence of what appears to be Everett's original view on this. The contribution I aim to make is a more complete discussion of the central issues of the identity of objects and observers (...) over time and how the concept of expectation can be applied when all 'possible' outcomes of a measurement process are regarded as actually occurring. (shrink)

A cluster of recent papers on Frege have urged variations on the themethat Frege’s conception of logic is in some crucial way incompatible with‘metatheoretic’ investigation. From this observation, significant consequencesfor our interpretation of Frege’s understanding of his enterprise are taken tofollow. This chapter aims to critically examine this view, and to isolate whatI take to be the core of truth in it. However, I will also argue that once wehave isolated the defensible kernel, the sense in which Frege was committedto (...) rejecting ‘metatheory’ is too narrow and uninteresting to support the con-clusions drawn from the thesis by its proponents. (shrink)

Simon Saunders and David Wallace attempt to use a modified form of David Lewis's analysis of personal fission to ground the claim that prior to undergoing Everett branching an informed subject can be uncertain about which outcome s/he will observe. I argue that a central assumption of this seductive idea is questionable despite appearing innocuous and that at the very least further argument is needed in support of it. CiteULike Connotea Del.icio.us What's this?

It is widely believed that some puzzling and provocative remarks that Frege makes in his late writings indicate he rejected independence arguments in geometry, particularly arguments for the independence of the parallels axiom. I show that this is mistaken: Frege distinguished two approaches to independence arguments and his puzzling remarks apply only to one of them. Not only did Frege not reject independence arguments across the board, but also he had an interesting positive proposal about the logical structure of correct (...) independence arguments, deriving from the geometrical principle of duality and the associated idea of substitution invariance. The discussion also serves as a useful focal point for independently interesting details of Frege's mathematical environment. This feeds into a currently active scholarly debate because Frege's supposed attitude to independence arguments has been taken to support a widely accepted thesis (proposed by Ricketts among others) concerning Frege's attitude toward metatheory in general. I show that this thesis gains no support from Frege's puzzling remarks about independence arguments. (shrink)

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

Objective probability in quantum mechanics is often thought to involve a stochastic process whereby an actual future is selected from a range of possibilities. Everett’s seminal idea is that all possible definite futures on the pointer basis exist as components of a macroscopic linear superposition. I demonstrate that these two conceptions of what is involved in quantum processes are linked via two alternative interpretations of the mind-body relation. This leads to a fission, rather than divergence, interpretation of Everettian theory and (...) to a novel explanation of why a principle of indifference does not apply to self-location uncertainty for a post-measurement, pre-observation subject, just as Sebens and Carroll claim. Their Epistemic Separability Principle is shown to arise out of this explanation and the derivation of the Born rule for Everettian theory is thereby put on a firmer footing. (shrink)

Some analyses of personal fission suggest that an informed subject should expect to have a distinct experience of each outcome simultaneously. Is rational provision for the future possible in such unfamiliar circumstances? I argue that, with some qualification, the subject can reasonably act as if faced with alternative possible outcomes with precise probabilities rather than multiple actual outcomes.

What happens when someone acts? A familiar answer goes like this. There is something that the agent wants, and there is an action that he believes conducive to its attainment. His desire for the end, and his belief in the action as a means, justify taking the action, and they jointly cause an intention to take it, which in turn causes the corresponding movements of the agent's body. I think that the standard story is flawed in several respects. The flaw (...) that will concern me in this paper is that the story fails to include an agent-or, more precisely, fails to cast the agent in his proper role. (shrink)

The issues surrounding the Caesar problem are assumed to be inert as far as ongoing mathematics is concerned. This paper aims to correct this impression by spelling out the ways that, in their historical context, Frege's remarks would have had considerable resonance with work that other mathematicians such as Riemann and Dedekind were doing. The search for presentation‐independent characterizations of objects and global definitions was seen as bound up with fundamental methodological questions in complex analysis and number theory.

Providing an original and systematic treatment of foundational issues in philosophy of religion, J. L. Schellenberg's new book addresses the structure of..

The contemporary popularity of semantic externalism has arisen from so-called Twin Earth thought experiments which suggest that the representational content of a natural kind term cannot be wholly determined by processes within a speaker's body. Such arguments depend on the intuition that the extensions of natural kind terms cannot have changed as the result of the scientific investigation of natural kinds' constitutions. I demonstrate that this externalist intuition depends on an assumption about the mentality of isomorphic doppelgangers which has never (...) been questioned but which is nonetheless arguably false. I develop an alternative view of the instantiation of mind which entails a revision of our understanding of the constitution of environmental objects. The picture seems to be fully coherent despite its oddity and I can find no good reason to reject it. The conclusion must be that the case for semantic externalism is thus less compelling than is often supposed. (shrink)

According to Sider’s stage theory a subject about to undergo personal fission should expect to experience each outcome simultaneously as distinct persons. How is the subject to make sense of this ? I argue that their most paradigmatically self-interested future-directed behaviour, betting for personal gain, ought to be exactly the same as in equivalent games of chance where the possible outcomes correspond to the fission output branches. So this novel form of expectancy, albeit strange, can be a reliable guide to (...) action. (shrink)

The issues surrounding the Caesar problem are assumed to be inert as far as ongoing mathematics is concerned. This paper aims to correct this impression by spelling out the ways that, in their historical context, Frege's remarks would have had considerable resonance with work that other mathematicians such as Riemann and Dedekind were doing. The search for presentation‐independent characterizations of objects and global definitions was seen as bound up with fundamental methodological questions in complex analysis and number theory.

Setting out to understand Frege, the scholar confronts a roadblock at the outset: We just have little to go on. Much of the unpublished work and correspondence is lost, probably forever. Even the most basic task of imagining Frege's intellectual life is a challenge. The people he studied with and those he spent daily time with are little known to historians of philosophy and logic. To be sure, this makes it hard to answer broad questions like: 'Who influenced Frege?' But (...) the information vacuum also creates local problems of textual interpretation. Say we encounter a sentence that may be read as alluding to a scientific dispute. Should it be read that way? To answer, we'd need to address prior questions. Is it .. (shrink)

Abstract I argue that meaning in life is importantly influenced by bioloical ties. More specifically, I maintain that knowing one's relatives and especially one's parents provides a kind of self-knowledge that is of irreplaceable value in the life-task of identity formation. These claims lead me to the conclusion that it is immoral to create children with the intention that they be alienated from their bioloical relatives?for example, by donor conception.

Retributive theories of punishment argue that punishing a criminal for a crime she committed is sufficient reason for a justified and morally permissible punishment. But what about when the state gets lucky in its decision to punish? I argue that retributive theories of punishment are subject to “Gettier” style cases from epistemology. Such cases demonstrate that the state needs more than to just get lucky, and as these retributive theories of punishment stand, there is no anti-luck condition. I’ll argue that (...) Gettier-style cases demonstrate an impermissible instance of punishment, even though they meet the conditions of retributive theories of punishment. Retributive theories are, therefore, too weak. The safety condition from epistemology provides the anti-luck condition needed for permissible punishment. I argue that two forms of retributivism, rights-forfeiture and what I call standard retributivism, are both subject to Gettier-style cases. Unlike the literature on standards of proof, this paper argues that safety is a condition on punishment itself, i.e., in all nearby possible worlds, the accuser must correctly accuse the convicted for the crime they actually committed. (shrink)

Paul Tappenden; The Roundsquare Copula: A Semantic Internalist's Rejoinder, Proceedings of the Aristotelian Society, Volume 96, Issue 1, 1 June 1996, Pages 395–.

I’ll use an extension of the “smidget” example Soames sets out on pages 165-172 to bring out the point. Groups A and B are disjoint and satisfy certain regularity conditions. Recall that the extension and anti-extension are specified by a pair of sufficient conditions. We specify: every member of group A is a smidget and every member of group B is not a smidget. No decision is made about persons that are outside groups A and B. It is, of course, (...) crucial that the smidgethood of the indeterminate cases is genuinely left open. What is the cash value of the difference between leaving a case unsettled and settling a case as indeterminate? Here is one difference: when a case is left unsettled, speakers of the language can resolve it later, if there is some reason to do so. This provides a simple model of key features of legal stipulations, at least in circumstances like U.S. constitutional law, where a single body can introduce an expression and stipulate how it is to be interpreted. (shrink)

J.L. Schellenberg offers a path to a new kind of religious outlook. Reflection on our early stage in the evolutionary process leads to skepticism about religion, but also offers a new answer to the problem of faith and reason, and the possibility of a new, evolutionary form of religion.

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

It is widely believed that the semantic contents of some linguistic and mental representations are determined by factors independent of a person’s bodily makeup. Arguments derived from Hilary Putnam’s seminal Twin Earth thought experiment have been especially influential in establishing that belief. I claim that there is a neglected version of the mind-body relation which undermines those arguments and also excludes the possibility of zombies. It has been neglected because it is counterintuitive but I show that it can nonetheless be (...) intelligibly worked out in detail and all obvious objections met. This suggests that we may be faced with a choice between embracing a counterintuitive interpretation of the mind-body relation or accepting that a currently very promising theory in cognitive science, Prediction Error Minimization, faces a fundamental problem. Furthermore, blocking that threat entails that any physicalist/materialst theory of mind is freed from the spectre of zombie worlds. The proposal also makes the ideas of personal teleportation of mind uploading more plausible. (shrink)

In the current debate on the concept of probability in the Everett interpretation of quantum mechanics Saunders and Wallace argue for a notion of pre-measurement uncertainty whilst Greaves and Myrvold attempt to do without uncertainty altogether. Both these approaches are controversial and I suggest a middle way. I develop in detail an argument which Wallace has hinted at and Greaves has seen as beside the point in order to show that Vaidman’s concept of post-measurement uncertainty has more relevance to pre-measurement (...) decision making than has hitherto been generally recognised. Further, Vaidman uncertainty leads naturally to another form of post-measurement uncertainty which clarifies the process of experimental confirmation of quantum mechanics in the Everett picture. I also stress the importance of Sider’s theory of transtemporal identity in making Everett’s multiverse intelligible. (shrink)