Despite appeals to Hume in debates over moralism in art criticism, we lack an adequate account of Hume’s moralist aesthetics, as presented in “Of the Standard of Taste.” I illuminate that aesthetics by pursuing a problem, the moral prejudice dilemma, that arises from a tension between the “freedom from prejudice” Hume requires of aesthetic judges and what he says about the relevance of moral considerations to art evaluation. I disarm the dilemma by investigating the taxonomy of prejudices by which Hume (...) justifies the true judge’s moralism. The result distinguishes Hume’s aesthetic and moral points of view while defending aesthetic moralism. (shrink)

I introduce a distinction between two divergent trends in the literature on Hume and practical reason. One trend, action-theoretic Humeanism, primarily concerns itself with defending a general account of reasons for acting. The other trend, virtue-theoretic Humeanism, concentrates on defending the case for being an agent of a particular practical character, one whose enduring dispositions of practical thought are virtuous. I discuss work exemplifying these two trends and warn against decoupling thought about Hume's and a Humean theory of practical reason (...) from Hume's and a Humean ethics. I conclude that the virtue-theoretic approach is a fruitful one for pursuing future work on Hume and Humeanism about practical reason. (shrink)

This collection of thirteen essays and editor’s introduction is part of a “Re-reading the Canon” series that includes already published volumes of feminist interpretation of philosophers ranging from Plato and Aristotle to de Beauvoir and Derrida. The essays in this volume on David Hume cover the breadth of his work and aim to engage it with the concerns and challenges characteristic of feminist scholarship. No doubt many of us would welcome an essay collection of uniformly high quality to provide (...) feminist perspectives on Hume and the philosophical questions he addresses; such would be useful, for example, to supplement standard reading in courses on Hume or early modern philosophy. Although I hesitate to recommend the volume as a whole in such a capacity, a number of the essays warrant the attention of scholars and students of Hume’s writing. (shrink)

Thoreau so frequently and pointedly criticizes his society that he is commonly seen as antisocial and nearly misanthropic. I maintain, though, that his critiques primarily reflect an attempt to serve other people. Like certain recent commentators, I read his writings as a revival of so-called spiritual guidance in ancient Greek and Roman philosophy-- guidance which was spiritual not in a religious sense, but insofar as it was aimed at the transformation of the whole self-- and I argue that Thoreau's critiques (...) play a vital role in his approach to guiding other people toward self-transformation. (shrink)

G. A. Cohen and Andrew Mason have recently argued, against many contemporary philosophers, that feasibility is not a legitimate constraint in theorizing about social justice. Their main argument is that principles of justice are logically independent of issues of feasibility and, consequently, feasibility has no bearing on the correctness of these principles. This article is a critical examination of three attempts to show that Cohen and Mason’s argument is unsound. The examined attempts are those of Harry Brighouse, Collin (...) Farrelly, and David Miller. I argue that all these arguments are based on false, unjustified or implausible, premises and/or assumptions. Consequently, they cannot discredit the soundness of Cohen and Mason’s argument and of the thesis that feasibility is not, in fact, a legitimate constraint in theorizing about social justice. (shrink)

What does it mean to know how to do something? This book develops a comprehensive account of know-how, a crucial epistemic goal for all who care about getting things right, not only with respect to the facts, but also with respect to practice. It proposes a novel interpretation of the seminal work of Gilbert Ryle, according to which know-how is a competence, a complex ability to do well in an activity in virtue of guidance by an understanding of what it (...) takes to do so. This idea is developed into a full-fledged account, Rylean responsibilism, which understands know-how in terms of the normative guidance and responsible control of one's acts. Within the complex current debate about know-how, this view occupies a middle ground position between the intellectualist claim that know-how just is propositional or objectual knowledge and the anti-intellectualist claim that know-how just is ability. In genuine know-how, practical ability and guiding intellect are both necessary, but essentially intertwined. (shrink)

Pain asymbolia is a rare condition caused by brain damage, usually in adulthood. Asymbolics feel pain but appear indifferent to it, and indifferent also to visual and verbal threats. How should we make sense of this? Nikola Grahek thinks asymbolics’ pains are abnormal, lacking a component that make normal pains unpleasant and motivating. Colin Klein thinks that what is abnormal is not asymbolics’ pains, but asymbolics: they have a psychological deficit making them unresponsive to unpleasant pain. I argue that an (...) illuminating account requires elements of both views. Asymbolic pains are indeed abnormal, but they are abnormal because asymbolics are. I agree with Klein that asymbolics are incapable of caring about their bodily integrity; but I argue against him that, if this is to explain not only their indifference to visual and verbal threat, but also their indifference to pain, we must do the following: (i) take asymbolics’ lack of bodily care not as an alternative to, but as an explanation of their pains’ missing a component, and (ii) claim that the missing component consists in evaluative content. Asymbolia, I conclude, reveals not only that unpleasant pain is composite, but that its ‘hedomotive component’ is evaluative. (shrink)

I argue that according to Socrates in the Phaedo we should not merely evaluate bodily pleasures and desires as worthless or bad, but actively avoid them. We need to avoid them because they change our values and make us believe falsehoods. This change in values and acceptance of falsehoods undermines the soul’s proper activity, making virtue and happiness impossible for us. I situate this account of why we should avoid bodily pleasures within Plato’s project in the Phaedo of providing Pythagorean (...) and Orphic ideas with clearer meanings and better justifications. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...) effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

The sensorimotor theory of perceptual experience claims that perception is constituted by bodily interaction with the environment, drawing on practical knowledge of the systematic ways that sensory inputs are disposed to change as a result of movement. Despite the theory’s associations with enactivism, it is sometimes claimed that the appeal to ‘knowledge’ means that the theory is committed to giving an essential theoretical role to internal representation, and therefore to a form of orthodox cognitive science. This paper defends the role (...) ascribed to knowledge by the theory, but argues that this knowledge can and should be identified with bodily skill rather than representation. Making the further argument that the notion of ‘representation hunger’ can be replaced with ‘prima facie representation hunger’, it concludes that although the theory could optionally be developed scientifically in part by reference to internal representation, it makes a strong and natural fit with anti-representationalist embodied or enactive cognitive science. (shrink)

In this paper, I explore anomalous dualism about consciousness, a view that has not previously been explored in any detail. We can classify theories of consciousness along two dimensions: first, a theory might be physicalist or dualist; second, a theory might endorse any of the three following views regarding causal relations between phenomenal properties (properties that characterize states of our consciousness) and physical properties: nomism (the two kinds of property interact through deterministic laws), acausalism (they do not causally interact), and (...) anomalism (they interact but not through deterministic laws). I suggest that a kind of anomalous dualism, nonreductive anomalous panpsychism, promises to offer the best overall answer to two pressing issues for dualist views, the problem of mental causation and the mapping problem (the problem of predicting mind-body associations). (shrink)

If there is content that we reason on, cognitive content, it is in the head and accessible to reasoning mechanisms. This paper discusses the phenomenal theory of cognitive content, according to which cognitive contents are the contents of phenomenal consciousness. I begin by distinguishing cognitive content from the closely associated notion of narrow content. I then argue, drawing on prior work, that the phenomenal theory can plausibly account for the cognitive contents of many relatively simple mental states. My main focus (...) in this paper is the question whether the phenomenal theory can account for the apparently abstract and complex cognitive contents of "high-level" thoughts. It might seem dubious that the theory can account for such cognitive contents, because cognitive phenomenology is too scarce and too thin. However, I argue there are in fact few abstract or complex cognitive contents, so the phenomenal theory's predictions are correct. This position explains some apparently irrational behavior that is otherwise hard to explain, and it makes sense of the central role of inner speech and other forms of consciousness in reasoning. (shrink)

The aim of this paper is to present an interpretation of Shepherd’s account of our most fundamental cognitive powers, most especially the faculty that Shepherd calls perception, which she claims is a unity of contributions from the understanding and the senses. I find that Shepherd is what we would nowadays call a meaning holist: she holds that the meaning of any natural-kind term is constituted by its place in a system of definitions, which system specifies the causal roles of the (...) objects its terms name. Such an account of meaning raises questions about the contact that such a system of definitions, or conceptual scheme, makes with the world. The natural place to seek answers to these questions is in Shepherd’s account of perception, which I argue Shepherd takes to be our most fundamental cognitive faculty. Our cognitive lives begin with perceptions, representations of objects as the cause of those very perceptions of them. With this interpretation in hand, I draw a contrast between it and Boyle’s and Lolordo’s recent work on Shepherd’s theory of meaning. I argue that for Shepherd truths about the causal powers of objects are analytic, and that the relevant empirical questions answered by science concern whether our conceptual scheme accurately represents the world. Finally, I provide additional support for this interpretation by showing that it comports with Shepherd’s criticism of her philosophical opponents, Berkeley, Hume, and Reid. (shrink)

This paper explores an initially attractive principle connecting beliefs in general with beliefs about what beliefs are rational. The principle turns out to be violated by intuitively rational beliefs in some situations. The paper lays out some options for reacting to this fact.

Formally-inclined epistemologists often theorize about ideally rational agents--agents who exemplify rational ideals, such as probabilistic coherence, that human beings could never fully realize. This approach can be defended against the well-know worry that abstracting from human cognitive imperfections deprives the approach of interest. But a different worry arises when we ask what an ideal agent should believe about her own cognitive perfection (even an agent who is in fact cognitively perfect might, it would seem, be uncertain of this fact). Consideration (...) of this question reveals an interesting feature of the structure of our epistemic ideals: for agents with limited information, our epistemic ideals turn out to conflict with one another. (shrink)

Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that is (...) both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (shrink)

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

What role, if any, should our moral intuitions play in moral epistemology? We make, or are prepared to make, moral judgments about a variety of actual and hypothetical situations. Some of these moral judgments are more informed, reflective, and stable than others (call these ourconsideredmoral judgments); some we make more confidently than others; and some, though not all, are judgments about which there is substantial consensus. What bearing do our moral judgments have on philosophical ethics and the search for first (...) principles in ethics? Should these judgments constrain, or be constrained by, philosophical theorizing about morality? On the one hand, we might expect first principles to conform to our moral intuitions or at least to our considered moral judgments. After all, we begin the reflection that may lead to first principles from particular moral convictions. And some of our moral intuitions (e.g., that genocide is wrong) are more fixed and compelling than any putative first principle. If so, we might expect common moral beliefs to have an important evidential role in the construction and assessment of first principles. On the other hand, common moral beliefs often rest on poor information, reflect bias, or are otherwise mistaken. We often appeal to moral principles to justify our particular moral convictions or to resolve our disagreements. Insofar as this is true, we may expect first principles to provide a foundation on the basis of which to test common moral beliefs and, where necessary, form new moral convictions. (shrink)

For Shepherd, how many things exist? On the one hand, it looks like the answer is going to be many. It is a central tent of Shepherd's philosophical system that causation is a relation whereby two or more objects combine to create a third. Since there are many instances of this causal relation, there must be many objects in the world. On the other hand, there are several moments throughout her writing where Shepherd indicates that the distinction between causes and (...) effects is in some sense unreal, and that while the world appears to us to consist of many distinct objects interacting causally, really there is just one thing and its merely nominally distinct parts. I argue that Shepherd is an ontological pluralist, and the texts that appear to express a commitment to ontological monism are best understood as expressing ontological holism instead. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

The strongest arguments for the permissibility of geoengineering (also known as climate engineering) rely implicitly on non-ideal theory—roughly, the theory of justice as applied to situations of partial compliance with principles of ideal justice. In an ideally just world, such arguments acknowledge, humanity should not deploy geoengineering; but in our imperfect world, society may need to complement mitigation and adaptation with geoengineering to reduce injustices associated with anthropogenic climate change. We interpret research proponents’ arguments as an application of a particular (...) branch of non-ideal theory known as “clinical theory.” Clinical theory aims to identify politically feasible institutions or policies that would address existing (or impending) injustice without violating certain kinds of moral permissibility constraints. We argue for three implications of clinical theory: First, conditional on falling costs and feasibility, clinical theory provides strong support for some geoengineering techniques that aim to remove carbon dioxide from the atmosphere. Second, if some kinds of carbon dioxide removal technologies are supported by clinical theory, then clinical theory further supports using those technologies to enable “overshoot” scenarios in which developing countries exceed the cumulative emissions caps that would apply in ideal circumstances. Third, because of tensions between political feasibility and moral permissibility, clinical theory provides only weak support for geoengineering techniques that aim to manage incoming solar radiation. (shrink)

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

A high level of confidence in the identity of individuals is required to let them die as ordered by an advance directive. Thus, if we are animalists, then we should lack the confidence required to apply lethal advance directives to the cheerfully demented, or so I argue. In short, there is consensus among animalists that the best way to avoid serious objections to their account is to adopt an ontology that denies the existence of brains, hands, tables, chairs, iced-tea, and (...) lemonade. The adoption of such an ontology reduces the justificatory force of commonsense, which is key in arguing that we are animals and that we persist as long as we are biologically alive. With this loss of justification comes the loss of a high level of confidence that Quinn-pre-dementia’s lethal advanced directive applies to Quinn-post-dementia, via identity. If we do not have a high level of confidence that Quinn-pre-dementia’s advanced directive applies to Quinn-post- dementia, then it is not enough (on its own) to let Quinn-post-dementia die. (shrink)

Pain, crucially, is unpleasant and motivational. It can be awful; and it drives us to action, e.g. to take our weight off a sprained ankle. But what is the relationship between pain and those two features? And in virtue of what does pain have them? Addressing these questions, Colin Klein and Richard J. Hall have recently developed the idea that pains are, at least partly, experiential commands—to stop placing your weight on your ankle, for example. In this paper, I reject (...) their accounts. Against Klein, I use dissociation cases to argue that possession of ‘imperative content’ cannot wholly constitute pain. Against them both, I further claim that possession of such content cannot even constitute pain’s unpleasant, motivational aspect. For, even if it were possible to specify the relevant imperative content—which is far from clear—the idea of a command cannot bear the explanatory weight Klein and Hall place on it. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

To the extent that dualism is even taken to be a serious option in contemporary discussions of personal identity and the philosophy of mind, it is almost exclusively either Cartesian dualism or property dualism that is considered. The more traditional dualism defended by Aristotelians and Thomists, what I call hylemorphic dualism, has only received scattered attention. In this essay I set out the main lines of the hylemorphic dualist position, with particular reference to personal identity. First I argue that overemphasis (...) of the problem of consciousness has had an unhealthy effect on recent debate, claiming instead that we should emphasize the concept of form. Then I bring in the concept of identity by means of the notion of substantial form. I continue by analyzing the relation between form and matter, defending the traditional theses of prime matter and of the unicity of substantial form. I then argue for the immateriality of the substantial form of the human person, viz. the soul, from an account of the human intellect. From this follows the soul's essential independence of matter. Finally, although the soul is the immaterial bearer of personal identity, that identity is still the identity of an essentially embodied being. I explain how these ideas are to be reconciled. Footnotesa I am grateful to Stephen Braude, John Cottingham, John Haldane, David Jehle, Joel Katzav, Eduardo Ortiz, and Fred Sommers for helpful comments and discussion of a draft of this essay. I would also like to thank Ellen Paul, whose suggestions have helped greatly to improve the essay's style and content. (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

While the Enlightenment promoted thinking for oneself independent of religious authority, the ‘Endarkenment’ (Millgram 2015) concerns deference to a new authority: the specialist, a hyperspecializer. Non-specialists need to defer to such authorities as they are unable to understand their reasoning. Millgram describes how humans are capable of being serial hyperspecializers, able to move from one specialism to another. We support the basic thrust of Millgram’s position, and seek to articulate how the core idea is deployed in very different ways in (...) relation to extremely different philosophical areas. We attend to the issue of the degree of isolation of different specialists and we urge greater emphasis on parallel hyperspecialization, which describes how different specialisms can be embodied in one person at one time. (shrink)

Frankfurt cases are purported counterexamples to the Principle of Alternative Possibilities, which implies that we are not morally responsible for unavoidable actions. A major permutation of the counterexample strategy features buffered alternatives; this permutation is designed to overcome an influential defense of the Principle of Alternative Possibilities. Here we defend the buffering strategy against two recent objections, both of which stress the timing of an agent’s decision. We argue that attributions of moral responsibility aren’t time-sensitive in the way the objectors (...) suppose. We then turn to the crucial question of when an action is relevantly avoidable—when, in the parlance of the literature, an alternative possibility is robust. We call attention to two plausible tests for robustness that merit further consideration, showing that the agents in buffered Frankfurt cases don’t pass these tests, despite being morally responsible for their actions. (shrink)

This paper examines whether Socrates provides his interlocutors with good reasons to seek knowledge of what virtue is, reasons that they are in a position to appreciate. I argue that in the Laches he does provide such reasons, but they are not the reasons that are most commonly identified as Socratic. Socrates thinks his interlocutors should be motivated not by the idea that virtue is knowledge nor by the idea that knowledge is good for its own sake, but rather by (...) the idea that knowledge is needed to recognize what to aim at. His argument reaches the potentially life-altering conclusion that we should all seek knowledge of what virtue is. It is powerful precisely because it relies on uncontroversial premises that his interlocutors could be expected to accept. In laying out this argument, I distinguish different ways in which someone could count as a teacher of virtue. At the end of the article, I situate the argument within the debate about whether virtue is teachable. (shrink)

Much contemporary epistemology is informed by a kind of confirmational holism, and a consequent rejection of the assumption that all confirmation rests on experiential certainties. Another prominent theme is that belief comes in degrees, and that rationality requires apportioning one's degrees of belief reasonably. Bayesian confirmation models based on Jeffrey Conditionalization attempt to bring together these two appealing strands. I argue, however, that these models cannot account for a certain aspect of confirmation that would be accounted for in any adequate (...) holistic confirmation theory. I then survey the prospects for constructing a formal epistemology that better accommodates holistic insights. (shrink)

In a recent paper, Firt, Hemmo and Shenker argue that Hempel’s dilemma, typically thought to primarily undermine physicalism, is generalizable and impacts mind-body dualism and many other theories equally. I challenge this view and argue that Hempel’s dilemma admits of at least two distinct construals: a general-skeptical construal, underpinned by historically driven arguments such as the pessimistic induction, and a non-skeptical construal, driven by the specific puzzles and volatility of current physics. While the general-skeptical construal applies to all changeable deep-structure (...) theories, the non-skeptical construal primarily targets volatile theories which harbor exclusionary ambitions. As a result, dualism largely evades both construals due to the stability of theories of the mental and their lack of exclusionary ambitions. Conversely, physicalism is uniquely susceptible to both construals due to its strong commitment to deep-structure realism, inherent exclusionary ambitions, and the volatility of certain branches of fundamental physics. The paper ultimately concludes that Hempel’s dilemma is not universally problematic, but presents a unique challenge to physicalism while being relatively congenial to dualism. (shrink)

For Charles Peirce, the project of inquiry is a social one. Though inquiry, the passage from genuine doubt to settled belief, can be described on the individual level, its significance as a human activity is manifested in collective action. For any individual, Truth transcends experience and inquiry. But it does not transcend experience and inquiry altogether: is a fixed limit, an ideal, towards which a properly functioning community converges. What, in principle, makes the cohesion of such a community possible? Why (...) did Peirce believe that convergence towards an ultimate conclusion was the necessary end of unlimited scientific inquiry? This essay examines Peirce's notion of community to answer these questions and suggests that the presence of genuine doubt not only makes convergence possible, but also constitutes the starting point for almost all inquiry. The exception is philosophical inquiry. (shrink)

This paper examines how a person’s life may be shaped by living with a sense of the mystery of reality. What virtues, if any, are encouraged by such a sense? The first section rehearses a radical ”doctrine of mystery’, according to which reality as it anyway is, independently of human perspectives, is ineffable. It is then argued that a sense of mystery may provide ”measure’ for human lives. For it is possible for a life to be ”consonant’ with this sense (...) -- through exercising humility, for example -- and even to emulate mystery. A further section corrects a misunderstanding about the connection between a sense of mystery and the virtues it invites, while a final section considers the relationship between living with mystery and religious faith. (shrink)

This paper seeks to rehabilitate St. Augustine’s widely dismissed response to the alleged incompatibility of divine foreknowledge and free will. This requires taking a fresh look at his analysis in On Free Choice of the Will, and arguing its relevance to the current debate. Along the way, mistaken interpretations of Augustine are rebutted, his real solution is developed and defended, a reason for his not anticipating Boethius’s a temporalist solution is suggested, a favorable comparison with Ockham is made, rival solutions (...) are rejected, and the aporetic nature of the problem is explained. (shrink)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on the (...) Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (shrink)

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of the geospatial domain, (...) issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique. (shrink)

Call a thought whose expression involves the utterance of an indexical an indexical thought. Thus, my thoughts that I’m annoyed, that now is not the right time, that this is not acceptable, are all indexical thoughts. Such thoughts present a prima facie problem for the thesis that thought contents are phenomenally individuated -- i.e., that each distinct thought type has a proprietarily cognitive phenomenology such that its having that phenomenology makes it the thought that it is -- given the assumption (...) that phenomenology is intrinsically determined. My concern in this paper is to blunt standard intuitions concerning the external individuation of indexical thought contents, and to defend a conception of indexical thought content that is entirely phenomenal and internalist. (shrink)

Most characterizations of mystical experience emphasize its private, esoteric, and non-sensory nature. Such an understanding is far removed from the original meaning of the term mystikos. For the ancient Greeks, the ”mystical’ was that which led participants into the awareness of a higher reality, as in the initiatory rites of the ancient mystery cults. This usage was taken over by the early Church, which similarly designated the Christian sacraments and their rites as ”mystical’ because they draw participants into a higher (...) level of reality. I argue that the Divine Liturgy is a form of ”mystical experience’ in this sense, and that philosophers have missed a great deal by excluding such communal acts from the scope of mystical experience. (shrink)

In this paper, I motivate skepticism about the causal efficacy of moral properties in two ways. First, I highlight a tension that arises between two claims that moral realists may want to accept. The first claim is that physically indistinguishable things do not differ in any causally efficacious respect. The second claim is that physically indistinguishable things that differ in certain historical respects have different moral properties. The tension arises to the extent to which these different moral properties are supposed (...) to have different effects on people. I will introduce a class of cases in which this tension arises and suggest that the moral properties in these cases have no causal power. I will also question whether there are differences between the moral properties in these cases and moral properties in other cases that do not involve physically indistinguishable things that could make the latter moral properties causally efficacious. The second way that I motivate skepticism consists in pointing out a unique feature of cases in which moral properties are supposed both to supervene on historical properties and to be causally efficacious. These cases allow us to change moral properties with alleged effects while we hold constant the nonmoral candidates for causal contribution to those effects. This feature of these cases is unique because in most other cases the moral properties supervene on the physical properties in the nonmoral candidates, such that we cannot change the former while holding constant the latter. This way of changing moral properties provides empirical grounds for testing their causal efficacy. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

This paper concerns the question of how to specify what is to count as physical for the purposes of debates concerning either physicalism or the completeness of physics. I argue that what is needed from an account of the physical depends primarily on the particular issue at stake, and that the demand for a general a priori specification of the physical is misplaced. A number of attempts to say what should be counted as physical are defended from recent attacks by (...) Chris Daly, and a specific proposal due to David Papineau developed and extended. I argue that this approach is more than suitable for the debates for which it is intended. (shrink)