This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some from a personal point of (...) view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

Famous examples of conceivability arguments include (i) Descartes’ argument for mind-body dualism, (ii) Kripke's ‘modal argument’ against psychophysical identity theory, (iii) Chalmers’ ‘zombie argument’ against materialism, and (iv) modal versions of the ontological argument for theism. In this paper, we show that for any such conceivability argument, C, there is a corresponding ‘mirror argument’, M. M is deductively valid and has a conclusion that contradicts C's conclusion. Hence, a proponent of C—henceforth, a ‘conceivabilist’—can be warranted in holding that C's premises (...) are conjointly true only if she can find fault with one of M's premises. But M's premises are modelled on a pair of C's premises. The same reasoning that supports the latter supports the former. For this reason, a conceivabilist can repudiate M's premises only on pain of severely undermining C's premises. We conclude on this basis that all conceivability arguments, including each of (i)–(iv), are fallacious. (shrink)

Contributors: Steven Barbone, Laurent Bove, Edwin Curley, Valérie Debuiche, Michael Della Rocca, Simon B. Duffy, Daniel Garber, Pascale Gillot, Céline Hervet, Jonathan Israel, Chantal Jaquet, Mogens Lærke, Jacqueline Lagrée, Martin Lin, Yitzhak Y. Melamed, Pierre-François Moreau, Steven Nadler, Knox Peden, Alison Peterman, Charles Ramond, Michael A. Rosenthal, Pascal Sévérac, Hasana Sharp, Jack Stetter, Ariel Suhamy, Lorenzo Vinciguerra.

Philosophical debates about the metaphysics of time typically revolve around two contrasting views of time. On the A-theory, time is something that itself undergoes change, as captured by the idea of the passage of time; on the B-theory, all there is to time is events standing in before/after or simultaneity relations to each other, and these temporal relations are unchanging. Philosophers typically regard the A-theory as being supported by our experience of time, and they take it that the B-theory clashes (...) with how we experience time and therefore faces the burden of having to explain away that clash. In this paper, we investigate empirically whether these intuitions about the experience of time are shared by the general public. We asked directly for people’s subjective reports of their experience of time—in particular, whether they believe themselves to have a phenomenology as of time’s passing—and we probed their understanding of what time’s passage in fact is. We find that a majority of participants do share the aforementioned intuitions, but interestingly a minority do not. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

This paper develops a view on which: (a) all fundamental facts are absolute, (b) some facts do not supervene on the fundamental facts, and (c) only relative facts fail to supervene on the fundamental facts.

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice in developing (...) an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism. (shrink)

Despite distinguishing two very different notions of what time may be, the A and B theories of time inherently share an assumption in definition which has excluded a third field of possible explanation from being recognised and explored. In order to prove this rather grandiose proposition I will introduce a distinction between theories of resulting time and theories of non-resulting time. The clear articulation of why of this distinction is valid will be established by the method of reduction with regards (...) to the construction and evolution of the definition of time in the physics of Aristotle and Einstein. This method reveals precisely the assumption in definition that has been made and carried forth in the defining of time in B theory, and also what has been forgone, being non-resulting theories of time. After such analysis and illustration of the proposed distinction with regards to B theory, it will be obvious that A theories of time dually share the assumption in definition. Thus having established that this distinction is very much real and that nearly all work in the philosophy and physics of time has thus far fallen into theories of resulting time, I will then demonstrate why new theories of non-resulting time could at the very least ‘quasi-solve’ some of the irreconcilable conflictions that have arisen within opposing theories of resulting time, using as example the A theorists/Presentist’s conflict with Special Relativity. (shrink)

What makes an intellectual virtue a virtue? A straightforward and influential answer to this question has been given by virtue-reliabilists: a trait is a virtue only insofar as it is truth-conducive. In this paper I shall contend that recent arguments advanced by Jack Kwong in defence of the reliabilist view are good as far as they go, in that they advance the debate by usefully clarifying ways in how best to understand the nature of open-mindedness. But I shall argue (...) that these considerations do not establish the desired conclusions that open-mindedness is truth-conducive. To establish these much stronger conclusions we would need an adequate reply to what I shall call Montmarquet’s objection. I argue that Linda Zagzebski’s reply to Montmarquet’s objection, to which Kwong defers, is inadequate. I conclude that it is contingent if open-mindedness is truth-conducive, and if a necessary tie to truth is what makes an intellectual virtue a virtue, then the status of open-mindedness as an intellectual virtue is jeopardised. We either need an adequate reliabilist response to Montmarquet’s objection, or else seek alternative accounts of what it is that makes a virtue a virtue. I conclude by briefly outlining some alternatives. (shrink)

This is a review of The Turing Guide (2017), written by Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson, and others. The review includes a new sociological approach to the problem of computability in physics.

The counterfactual account of physical computation is simple and, for the most part, very attractive. However, it is usually thought to trivialize the notion of physical computation insofar as it implies ‘limited pancomputationalism’, this being the doctrine that every deterministic physical system computes some function. Should we bite the bullet and accept limited pancomputationalism, or reject the counterfactual account as untenable? Jack Copeland would have us do neither of the above. He attempts to thread a path between the (...) two horns of the dilemma by buttressing the counterfactual account with extra conditions intended to block certain classes of deterministic physical systems from qualifying as physical computers. His theory is called the ‘algorithm execution account’. Here we show that the algorithm execution account entails limited pancomputationalism, despite Copeland’s argument to the contrary. We suggest, partly on this basis, that the counterfactual account should be accepted as it stands, pancomputationalist warts and all. (shrink)

This volume aims to develop a philosophical diagnostic of the present, focussing on contemporary technoscience. psychoanalysis submits contemporary technoscientific discourse to a symptomatic reading, analysing it with evenly-poised attention and from an oblique perspective. Psychoanalysis is not primarily interested in protons, genes or galaxies, but rather in the ways in which they are disclosed and discussed, focussing on the symptomatic terms, the metaphors and paradoxes at work in technoscientific discourse. This monograph presents a psychoanalytical assessment of technoscience. The first four (...) chapters provide a short introduction into the psychoanalysis of technoscience, its basic concepts and methods, as developed Sigmund Freud, Carl Gustav Jung, Gaston Bachelard and Jacques Lacan. In subsequent chapters, this approach is fleshed out with the help of case histories (palaeoanthropology, classical conditioning and virology). Psychoanalysis reveals that, rather than by disinterested curiosity, technoscience is driven by desire, resistance and the will to control. Moreover, the focus is on primal scenes, such as Dubois’ quixotic quest for the missing link and Pavlov’s discovery of the conditioned reflex. In addition, psychoanalysis opts for triangulation: understanding technoscientific research by comparing it to “different scenes”: to genres of the imagination, notably novels, so that, in this volume, the discovery of a Homo erectus skull by Dubois is compared to missing link novels by Jules Verne and Jack London (dating from the same period), Pavlov’s discovery of the conditioned reflex is compared with B.F. Skinner’s novel Walden Two and virology as a research field is considered through the lens of viral fiction. (shrink)

This is an opinionated overview of the Frege-Geach problem, in both its historical and contemporary guises. Covers Higher-order Attitude approaches, Tree-tying, Gibbard-style solutions, and Schroeder's recent A-type expressivist solution.

An increasingly popular solution to the anti-scientific climate rising on social media platforms has been the appeal to more critical thinking from the user's side. In this paper, we zoom in on the ideal of critical thinking and unpack it in order to see, specifically, whether it can provide enough epistemic agency so that users endowed with it can break free from enclosed communities on social media (so called epistemic bubbles). We criticise some assumptions embedded in the ideal of critical (...) thinking online and, instead, we propose that a better way to understand the virtuous behaviour at hand is as critical engagement, namely a mutual cultivation of critical skills among the members of an epistemic bubble. This mutual cultivation allows members within an epistemic bubble (in contrast, as we will show, with the authority-based models of epistemic echo chambers) to become more autonomous critical thinkers by cultivating self-trust. We use the model of relational autonomy as well as resources from work on epistemic self-trust and epistemic interdependence to develop an explanatory framework, which in turn may ground rules for identifying and creating virtuous epistemic bubbles within the environments of social media platforms. (shrink)

Expressivists explain the expression relation which obtains between sincere moral assertion and the conative or affective attitude thereby expressed by appeal to the relation which obtains between sincere assertion and belief. In fact, they often explicitly take the relation between moral assertion and their favored conative or affective attitude to be exactly the same as the relation between assertion and the belief thereby expressed. If this is correct, then we can use the identity of the expression relation in the two (...) cases to test the expressivist account as a descriptive or hermeneutic account of moral discourse. I formulate one such test, drawing on a standard explanation of Moore's paradox. I show that if expressivism is correct as a descriptive account of moral discourse, then we should expect versions of Moore's paradox where we explicitly deny that we possess certain affective or conative attitudes. I then argue that the constructions that mirror Moore's paradox are not incoherent. It follows that expressivism is either incorrect as a hermeneutic account of moral discourse or that the expression relation which holds between sincere moral assertion and affective or conative attitudes is not identical to the relation which holds between sincere non-moral assertion and belief. A number of objections are canvassed and rejected. (shrink)

Why do promises give rise to reasons? I consider a quadruple of possibilities which I think will not work, then sketch the explanation of the normativity of promising I find more plausible—that it is constitutive of the practice of promising that promise-breaking implies liability for blame and that we take liability for blame to be a bad thing. This effects a reduction of the normativity of promising to conventionalism about liability together with instrumental normativity and desire-based reasons. This is important (...) for a number of reasons, but the most important reason is that this style of account can be extended to account for nearly all normativity—one notable exception being instrumental normativity itself. Success in the case of promises suggests a general reduction of normativity to conventions and instrumental normativity. But success in the cases of promises is already quite interesting and does not depend essentially the general claim about normativity. (shrink)

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

I argue that the social dimension of alienation, as discussed by Williams and Railton, has been underappreciated. The lesson typically drawn from their exchange is that moral theory poses a threat to the internal integrity of the agent, but there is a parallel risk that moral theory will implicitly construe agents as constitutively alienated from one another. I argue that a satisfying account of agency will need to make room for what I call ‘genuine ethical contact’ with others, both as (...) concrete objects in the world external to ourselves and as subjects who can recognize us reciprocally. (shrink)

I defend normative subjectivism against the charge that believing in it undermines the functional role of normative judgment. In particular, I defend it against the claim that believing that our reasons change from context to context is problematic for our use of normative judgments. To do so, I distinguish two senses of normative universality and normative reasons---evaluative universality and reasons and ontic universality and reasons. The former captures how even subjectivists can evaluate the actions of those subscribing to other conventions; (...) the latter explicates how their reasons differ from ours. I then show that four aspects of the functional role of normativity---evaluation of our and others actions and reasons, normative communication, hypothetical planning, and evaluating counternromative conditionals---at most requires our normative systems being evaluatively universal. Yet reasonable subjectivist positions need not deny evaluative universality. (shrink)

Moore’s paradox, the infamous felt bizarreness of sincerely uttering something of the form “I believe grass is green, but it ain’t”—has attracted a lot of attention since its original discovery (Moore 1942). It is often taken to be a paradox of belief—in the sense that the locus of the inconsistency is the beliefs of someone who so sincerely utters. This claim has been labeled as the priority thesis: If you have an explanation of why a putative content could not be (...) coherently believed, you thereby have an explanation of why it cannot be coherently asserted. (Shoemaker 1995). The priority thesis, however, is insufficient to give a general explanation of Moore-paradoxical phenomena and, moreover, it’s false. I demonstrate this, then show how to give a commitment-theoretic account of Moore Paradoxicality, drawing on work by Bach and Harnish. The resulting account has the virtue of explaining not only cases of pragmatic incoherence involving assertions, but also cases of cognate incoherence arising for other speech acts, such as promising, guaranteeing, ordering, and the like. (shrink)

I respond to an interesting objection to my 2014 argument against hermeneutic expressivism. I argue that even though Toppinen has identified an intriguing route for the expressivist to tread, the plausible developments of it would not fall to my argument anyways---as they do not make direct use of the parity thesis which claims that expression works the same way in the case of conative and cognitive attitudes. I close by sketching a few other problems plaguing such views.

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

I argue that metaethicists should be concerned with two kinds of alienation that can result from theories of normativity: alienation between an agent and her reasons, and alienation between an agent and the concrete others with whom morality is principally concerned. A theory that cannot avoid alienation risks failing to make sense of central features of our experience of being agents, in whose lives normativity plays an important role. The twin threats of alienation establish two desiderata for theories of normativity; (...) however, I argue that they are difficult to jointly satisfy. (shrink)

The conventional wisdom regarding the aims and shortcomings of Kantian constructivism is mistaken. The aim of metaethical constructivism is not to provide a naturalistic account of the objectivity of normative facts by deriving substantive morality from a conception of agency so thin as to be uncontroversial (a task at which it is generally regarded to have failed). Its aim is to explain the “grip” that normative facts have on us—to avoid what I call the problem of normative alienation. So understood, (...) Kantian constructivism faces two problems: that determinate normative facts cannot be derived from agency and that its individualistic conception of agency cannot account for the sociality of morality. I propose and elaborate a social conception of agency that is better able to address the latter problem while still avoiding normative alienation, and evaluate two different strategies for responding to the former problem. (shrink)

Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.

Among medieval Aristotelians, William of Ockham defends a minimalist account of artifacts, assigning to statues and houses and beds a unity that is merely spatial or locational rather than metaphysical. Thus, in contrast to his predecessors, Thomas Aquinas and Duns Scotus, he denies that artifacts become such by means of an advening ‘artificial form’ or ‘form of the whole’ or any change that might tempt us to say that we are dealing with a new thing (res). Rather, he understands artifacts (...) as per accidens composites of parts that differ, but not so much that only divine power could unite them, as in the matter and form of a proper substance. For Ockham, artifacts are essentially rearrangements, via human agency, of already existing things, like the clay shaped by a sculptor into a statue or the stick and bristles and string one might fashion into a broom. Ockham does not think that a new thing is thereby created, although his emphasis on the contribution of human artisans seems to leave questions about the ontological status of their agency open. In any case, there are no such things as natural statues, any more than substances created by human artifice. (shrink)

While resilience is a major concept in development, climate adaptation, and related domains, many doubts remain about how to interpret this term, its relationship with closely overlapping terms, or its normativity. One major view is that, while resilience originally was a descriptive concept denoting some adaptive property of ecosystems, subsequent applications to social contexts distorted its meaning and purpose by framing it as a transformative and normative quality. This article advances an alternative philosophical account based on the scrutiny of C.S. (...) Holling’s original work on resilience. We show that resilience had a central role among Holling’s proposals for reforming environmental science and management, and that Holling framed resilience as an ecosystem’s capacity of absorbing change and exploiting it for adapting or evolving, but also as the social ability of maintaining and opportunistically exploiting that natural capacity. Resilience therefore appears as a transformative social-ecological property that is normative in three ways: as an intrinsic ecological value, as a virtue of organizations or management styles, and as a virtuous understanding of human–nature relations. This interpretation accounts for the practical relevance of resilience, clarifies the relations between resilience and related terms, and is a firm ground for further normative work on resilience. (shrink)

What is the phenomenology of hope? A common view is that hope has a generally positive and pleasant affective tone. This rosy depiction, however, has recently been challenged. Certain hopes, it has been objected, are such that they are either entirely negative in valence or neutral in tone. In this paper, I argue that this challenge has only limited success. In particular, I show that it only applies to one sense of hope but leaves another sense—one that is implicitly but (...) widely employed in the hope literature—untouched. Moreover, I argue that hope construed in this latter sense is inherently positively valenced. The paper concludes by discussing some of the implications of this defense of hope's positive phenomenology, including the ontological question of whether hope is an emotion. (shrink)

This paper develops a form of moral actualism that can explain the procreative asymmetry. Along the way, it defends and explains the attractive asymmetry: the claim that although an impermissible option can be self-conditionally permissible, a permissible option cannot be self-conditionally impermissible.

A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...) recent and popular heterodox logics such as naïve logics of truth. I use this discussion to motivate a constraint—logical partisanhood—on the uses of such methodology: roughly: both the proposed alternative and our actual background logic must be able to agree that moving to the alternative logic is no worse than staying put. (shrink)

This paper develops an argument against causal decision theory. I formulate a principle of preference, which I call the Guaranteed Principle. I argue that the preferences of rational agents satisfy the Guaranteed Principle, that the preferences of agents who embody causal decision theory do not, and hence that causal decision theory is false.

In order to better understand the topic of hope, this paper argues that two separate theories are needed: One for hoping, and the other for hopefulness. This bifurcated approach is warranted by the observation that the word ‘hope’ is polysemous: It is sometimes used to refer to hoping and sometimes, to feeling or being hopeful. Moreover, these two senses of 'hope' are distinct, as a person can hope for some outcome yet not simultaneously feel hopeful about it. I argue that (...) this distinction between hoping and hopefulness is not always observed or fully appreciated in the literature and has consequently caused much confusion. This paper then sketches what theorizing about hope looks like in light of this clarification and discusses some of its implications. (shrink)

Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity of (...) formal standards where the role they play in our practical lives explains a distinctive kind of reason to obey them. We have this kind of reason to be polite because etiquette is important to us. We also have this kind of reason to be moral because morality is important to us. This parallel suggests that the importance we assign to morality is insufficient to justify it being substantive. (shrink)

This is a brief philosophical introduction to, and an annotated translation of, the section on absence from Śālikanātha’s _Pramāṇapārāyaṇa_ (_Study of the Instruments of Knowledge_), a foundational work of Prābhākara epistemology_._ In this section, which focuses on the epistemology of absence, Śālikanātha argues against the Bhāṭṭa view that there is a _sui generis_ instrument of knowledge (_pramāṇa_) by which we learn of absence (_abhāva_). He does so by arguing for a subjective reductionist thesis about absence, according to which the absence (...) of a perceivable (_dṛśya_) object at a locus is identical with a positive state of awareness (_buddhi_) whose content includes the locus but not the perceivable object. If correct, Śālikanātha argues, we should therefore learn of absence in the same ways we acquire self-knowledge more generally. While developing his reductionism about absence, Śālikanātha responds to a range of concerns, including the objection that his view cannot explain causation by absence. (shrink)

Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.

According to Nicole Oresme (c. 1320–1382), human beings, unlike all other animals, consist of two substances: a thinking substance and a sensing substance. This paper presents and explores the arguments Oresme uses to arrive at this position, which is unusual in medieval philosophical psychology and which at least superficially – though their methods are completely different – resembles what Descartes concluded about the nature of the human soul and body two and a half centuries later. The paper also considers some (...) moments of ambivalence in Oresme’s presentation, as well as unresolved difficulties, several of which have theological as well as philosophical implications. (shrink)

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, it also undermines (...) certain nominalist theories. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, (...) contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

Consequentialists often assume rational monism: the thesis that options are always made rationally permissible by the maximization of the selfsame quantity. This essay argues that consequentialists should reject rational monism and instead accept rational pluralism: the thesis that, on different occasions, options are made rationally permissible by the maximization of different quantities. The essay then develops a systematic form of rational pluralism which, unlike its rivals, is capable of handling both the Newcomb problems that challenge evidential decision theory and the (...) unstable problems that challenge causal decision theory. (shrink)

Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.

What is it to be a woman? What is it to be a man? We start by laying out desiderata for an analysis of 'woman' and 'man': descriptively, it should link these gender categories to sex biology without reducing them to sex biology, and politically, it should help us explain and combat traditional sexism while also allowing us to make sense of the activist view that gendering should be consensual. Using a Putnam-style 'Twin Earth' example, we argue that none of (...) the existing analyses in the feminist literature succeeds in meeting all of our desiderata. Finally, we propose a positive account that we believe can satisfy all the desiderata outlined. According to our theory, the genders 'woman' and 'man' are individuated not by their contemporary connections to sex biology, but by their historical continuity with classes that were originally closely connected to sex biology. (shrink)

I distinguish two ways of developing anti-exceptionalist approaches to logical revision. The first emphasizes comparing the theoretical virtuousness of developed bodies of logical theories, such as classical and intuitionistic logic. I'll call this whole theory comparison. The second attempts local repairs to problematic bits of our logical theories, such as dropping excluded middle to deal with intuitions about vagueness. I'll call this the piecemeal approach. I then briefly discuss a problem I've developed elsewhere for comparisons of logical theories. Essentially, the (...) problem is that a pair of logics may each evaluate the alternative as superior to themselves, resulting in oscillation between logical options. The piecemeal approach offers a way out of this problem andthereby might seem a preferable to whole theory comparisons. I go on to show that reflective equilibrium, the best known piecemeal method, has deep problems of its own when applied to logic. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are vulnerable (...) to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

This paper proposes a new framework for thinking about hope, with certain unexpected consequences. Specifically, I argue that a shift in focus from locutions like “x hopes that” and “x is hoping that” to “x is hopeful that” and “x has hope that” can improve our understanding of hope. This approach, which emphasizes hopefulness as the central concept, turns out to be more revealing and fruitful in tackling some of the issues that philosophers have raised about hope, such as the (...) question of how hope can be distinguished from despair or how people can have differing strengths in hope. It also allows us to see that many current accounts of hope, far from being rivals, are actually compatible with one another. (shrink)

In this paper, I inspect the grounds for the mature Spinozist argument for substance monism. The argument is succinctly stated at Ethics Part 1, Proposition 14. The argument appeals to two explicit premises: (1) that there must be a substance with all attributes; (2) that substances cannot share their attributes. In conjunction with a third implicit premise, that a substance cannot not have any attribute whatsoever, Spinoza infers that there can be no more than one substance. I begin the inspection (...) with the analysis of the first premise, which is provided in the form of the four proofs of God’s existence in Ethics Part 1, Proposition 11. While demonstrating how Spinoza adopts a progressive approach, where the fourth proof of God’s existence is more successful and persuasive than the third, which is more successful than the second, etc., I also unpack concepts central to Spinoza’s thinking here, including the concepts of reason (ratio) and power (potesta or potentia). I then analyze the second premise of the Spinozist argument for substance monism, as established by Ethics Part 1, Proposition 4 in conjunction with Ethics Part 1, Proposition 5. I take up and respond to the objection attributed to Leibniz that a substance p can have the attributes x and y and a substance q can have the attributes y and z, and thus that substances can share some attributes while remaining distinct. Throughout the study, my attention is focused on the argumentative procedures Spinoza adopts. This yields a close, internalist reading of the text where Spinoza effectively embraces substance monism. In conclusion to this study, I underscore to the originality of Spinoza’s argument for seventeenth century theories of substance. (shrink)

An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.

Cases of past absence involve agents noticing in retrospect that an object or property was absent, such as when one notices later that a colleague was not at a talk. In Sanskrit philosophy, such cases are introduced by Kumārila as counterexamples to the claim that knowledge of absence is perceptual, but further take on a life of their own as a topic of inquiry among Kumārila’s commentators and their Nyāya interlocutors. In this essay, I examine the Nyāya philosopher Gaṅgeśa’s epistemology (...) of past absence, according to which agents learn that a recollectable object or property was absent by inferring its past absence from failing to recall that object or property. Gaṅgeśa’s account is best appreciated against the backdrop of earlier theories and their shortcomings, and I begin by presenting historical views leading up to his. I identify two groups of views about the epistemology of past absence: recollection views, according to which cases of past absence involve agents recalling negative information; and recollection failure views, according to which cases of past absence involve agents failing to recall positive information. I reconstruct two early recollection views: a Bhāṭṭa view belonging to Uṃveka, and a competing Nyāya view belonging to Jayanta and Bhāsarvajña. I then examine Śālikanātha and Sucarita’s critiques of recollection views, following which I reconstruct a Bhāṭṭa recollection failure view belonging to Pārthasārathi. I then examine Gaṅgeśa’s critiques of Pārthasārathi’s account and the recollection failure view he constructs out of its shortcomings. (shrink)