The thesis that rationality consists in the straight-forward maximization of utility has not lacked critics. Typically, however, detractors reject the Humean picture of rationality upon which it seems based; they seek to emancipate reason from the tyranny of the passions. It is, then, noteworthy when an attack on this thesis comes from ‘within the ranks.’David Gauthier's paper ‘Reason and Maximization’ is just such an attack; and for this reason, among others, it is interesting. It is not successful, though. In (...) defense of this conclusion, we shall begin by relating the essentials of Gauthier's argument. Then we shall examine in some detail Gauthier's claim that the principle of straighforward max-imization fails to be self-supporting. We shall argue that Gauthier's defense of this claim is at best incomplete. Finally, we shall show that the fact that a normative principle is self-subverting or non-self-supporting does not entail that the principle is defective. (shrink)

We often get evidence concerning the reliability of our own thinking about some particular matter. This “higher-order evidence” can come from the disagreement of others, or from information about our being subject to the effects of drugs, fatigue, emotional ties, implicit biases, etc. This paper examines some pros and cons of two fairly general models for accommodating higher-order evidence. The one that currently seems most promising also turns out to have the consequence that epistemic akrasia should occur more frequently than (...) is sometimes supposed. But it also helps us see why this might not be a bad thing. (shrink)

This book introduces readers to the topic of explanation. The insights of Plato, Aristotle, J.S. Mill and Carl Hempel are examined, and are used to argue against the view that explanation is merely a problem for the philosophy of science. Having established its importance for understanding knowledge in general, the book concludes with a bold and original explanation of explanation.

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)

We take it that we can exercise doxastic agency by reasoning and by making judgments. We take it, that is, that we can actively make up our minds by reasoning and judging. On what I call the ‘Standard View’ this is so because judgment can yield belief. It is typical to take it that judgments yield beliefs by causing them. But on the resultant understanding of the Standard View, I argue, it is unclear how judgment could play its role in (...) doxastic agency in the way we take it to. I therefore offer an alternative understanding of how judgment yields belief. Drawing on Ryle I argue that when one comes to believe by judging the event which is one's judging is token identical to the event which is one's coming to believe. This paves the way for version of the Standard View capable of explaining how we can actively make up our minds despite that we cannot believe or come to believe at will. (shrink)

The situationist literature in psychology claims that conduct is not determined by character and reflects the operation of the agent's situation or environment. For instance, due to situational factors, compassionate behavior is much less common than we might have expected from people we believe to be compassionate. This article focuses on whether situationism should revise our beliefs about moral responsibility. It assesses the implications of situationism against the backdrop of a conception of responsibility that is grounded in norms about the (...) fair opportunity to avoid wrongdoing that require that agents to be normatively competent and possess situational control. Despite the low incidence of compassionate behavior revealed in situationist studies, situationism threatens neither situational control nor normative competence. Nonetheless situationism may force revision of our views about responsibility in particular contexts, such as wartime wrongdoing. Whereas a good case can be made that the heat of battle can create situational pressures that significantly impair normative competence and thus sometimes provide a full or partial excuse, there is reason to be skeptical of attempts to generalize this excuse to other contexts of wartime wrongdoing. If so, moral responsibility can take situationism on board without capsizing the boat. (shrink)

Williamson’s “anti-luminosity” argument aims to establish that there are no significant luminous conditions. “Far from forming a cognitive home”, luminous conditions are mere “curiosities”. Even supposing Williamson’s argument succeeds in showing that there are no significant luminous states his conclusion has not thereby been established. When it comes to determining what is luminous, mental events and processes are among the best candidates. It is events and processes, after all, which constitute the stream of consciousness. Judgment, for instance, is plausibly self-conscious. (...) If I am judging then plausibly I must know that I am. Similarly, deliberation is plausibly self-conscious. To be deliberating about some matter I plausibly must know that I am. That one is judging and that one is deliberating are thus plausibly luminous conditions. Furthermore, I argue, Williamson’s anti-luminosity argument fails to speak against this suggestion. This reveals that Williamson’s argument is more limited in scope than has been thought—something likely missed due to a misplaced focus on mental states in the luminosity debate as well as in epistemology and the philosophy of mind more generally. For all Williamson shows, there may be luminous events and processes of a sort apt to constitute a cognitive home. I conclude by considering how the anti-luminosity argument might be reinstated in the judgment case and argue that the natural way to do so fails. (shrink)

This is a précis of my book "Know-how as Competence. A Rylean Responsibilist Account".

According to a traditional Cartesian epistemology of perception, perception does not provide one with direct knowledge of the external world. Instead, your immediate perceptual evidence is limited to facts about your own visual experience, from which conclusions about the external world must be inferred. Cartesianism faces well-known skeptical challenges. But this chapter argues that any anti-Cartesian view strong enough to avoid these challenges must license a way of updating one’s beliefs in response to anticipated experiences that seems diachronically irrational. To (...) avoid this result, the anti-Cartesian must either license an unacceptable epistemic chauvinism, or else claim that merely reflecting on one’s experiences defeats perceptual justification. This leaves us with a puzzle: Although Cartesianism faces problems, avoiding them brings a new set of problems. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (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)

This paper revisits some of the arguments in Richard Rorty’s Achieving Our Country, twenty years after the book first appeared. Not only are many of Rorty’s diagnoses and predictions eerily prescient in the wake of the rise of Donald Trump to the US presidency, but there is also perceptive political advice in Rorty’s book that I argue the contemporary American Left would do well to heed. While many post-election commentators have tended to read Achieving Our Country as an admonishment of (...) so-called “identity politics” in favor of an “old Left” politics of redistribution and economic justice, I argue that the main distinction on which the analysis in Achieving Our Country hangs is between what Rorty calls “real politics” and “cultural politics”, a conclusion that is confirmed, I argue, by examining the three concrete suggestions for the American Left that together form the core positive argument in Rorty’s book. (shrink)

This critical notice provides an overview of Harry Frankfurt’s On Inequality and assesses whether Frankfurt is right to argue that equality is merely formal and empty. I counter-argue that egalitarianism, properly tweaked and circumscribed, can be defended against Frankfurt’s repudiation. After surveying the main arguments in Frankfurt’s book, I argue that whatever plausibility the ‘doctrine of sufficiency’ defended by Frankfurt may have, it does not strike a fatal blow against egalitarianism. There is nothing in egalitarianism that forbids acceptance of the (...) moral platitude expressed in sufficientarianism's positive thesis,. Nor is there anything in egalitarianism as such that makes it impossible to recognize the banal truth that there are many important things besides equality, and that many dimensions of human affairs are improperly appraised from a relational or comparative point of view. The fact that a relational or comparative point o... (shrink)

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

It can seem natural to say that, when in pain, we undergo experiences which present to us certain experience-dependent particulars, namely pains. As part of his wider approach to mind and world, John McDowell has elaborated an interesting but neglected version of this account of pain. Here I set out McDowell’s account at length, and place it in context. I argue that his subjectivist conception of the objects of pain experience is incompatible with his requirement that such experience be presentational, (...) rationalizing, and classificatory. (shrink)

The article is a plea for ethicists to regard probability as one of their most important concerns. It outlines a series of topics of central importance in ethical theory in which probability is implicated, often in a surprisingly deep way, and lists a number of open problems. Topics covered include: interpretations of probability in ethical contexts; the evaluative and normative significance of risk or uncertainty; uses and abuses of expected utility theory; veils of ignorance; Harsanyi’s aggregation theorem; population size problems; (...) equality; fairness; giving priority to the worse off; continuity; incommensurability; nonexpected utility theory; evaluative measurement; aggregation; causal and evidential decision theory; act consequentialism; rule consequentialism; and deontology. (shrink)

A common response to claims of bias, harassment, or discrimination is to say that these claims are made in bad faith. Claimants are supposedly not motivated by a credible or even sincere belief that unfair or unequal treatment has occurred, but simply seek to illicitly gain public sympathy or private reward. Characterizing discrimination claims as systematically made in bad faith enables them to be screened and dismissed prior to engaging with them on their merits. This retort preserves the dominant group’s (...) self-image as unprejudiced and innocent without having to risk critical analysis of the claim’s substance. (shrink)

This paper explores the state of teacher training in philosophy graduate programs in the English-speaking world. Do philosophy graduate programs offer training regarding teaching? If so, what is the nature of the training that is offered? Who offers it? How valuable is it? We conclude that philosophers want more and better teaching training, and that collectively we know how to deliver and support it.

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On the basis of (...) these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

I argue that some important elements of the current cosmological model are 'conventionalist’ in the sense defined by Karl Popper. These elements include dark matter and dark energy; both are auxiliary hypotheses that were invoked in response to observations that falsified the standard model as it existed at the time.

Musical works change. Bruckner revised his Eighth Symphony. Ella Fitzgerald and many other artists have made it acceptable to sing the jazz standard “All the Things You Are” without its original verse. If we accept that musical works genuinely change in these ways, a puzzle arises: why can’t I change Bruckner’s Eighth Symphony? More generally, why are some individuals in a privileged position when it comes to changing musical works and other artifacts, such as novels, films, and games? I give (...) a view of musical works that helps to answer these questions. Musical works, on this view, are created abstract objects with no parts. The paradigmatic changes that musical works undergo are socially determined normative changes in how they should be performed. Due to contingent social practices, Bruckner, but not I, can change how his symphony should be performed. Were social practices radically different, I would be able to change his symphony. This view extends to abstract artifacts beyond music, including novels, films, words, games, and corporations. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

Are the special sciences autonomous from physics? Those who say they are need to explain how dependent special science properties could feature in irreducible causal explanations, but that’s no easy task. The demands of a broadly physicalist worldview require that such properties are not only dependent on the physical, but also physically realized. Realized properties are derivative, so it’s natural to suppose that they have derivative causal powers. Correspondingly, philosophical orthodoxy has it that if we want special science properties to (...) bestow genuinely new causal powers, we must reject physical realization and embrace a form of emergentism, in which such properties arise from the physical by mysterious brute determination. In this paper, I argue that contrary to this orthodoxy, there are physically realized properties that bestow new causal powers in relation to their realizers. The key to my proposal is to reject causal-functional accounts of realization and embrace a broader account that allows for the realization of shapes and patterns. Unlike functional properties, such properties are defined by qualitative, non-causal specifications, so realizing them does not consist in bestowing causal powers. This, I argue, allows for causal novelty of the strongest kind. I argue that the molecular geometry of H2O—a qualitative, multiply realizable property—plays an irreducible role in explaining its dipole moment, and thereby bestows novel powers. On my proposal, special science properties can have the kind of causal novelty traditionally associated with strong emergence, without any of the mystery. (shrink)

Animalism—the view that the identity across time of individuals like us consists in the persistence of our animal organisms—does poorly at accounting for our identity-related practical concerns. The reason is straightforward: whereas our practical concerns seem to track the identity of psychological creatures—persons—animalism focuses on the identity of human organisms who are not essentially persons. This lack of fit between our practical concerns and animalism has been taken to reduce animalism’s plausibility (relative to psychological criteria of identity). In this paper, (...) I survey the three leading replies to this challenge, finding them either implausible or incomplete. I will then attempt to construct the only viable response, one that begins by admitting that our practical concerns actually do not consist in a monolithic set; rather, there are distinctly different types of practical concerns, and while some are clearly grounded on psychological relations, some are actually grounded on others, including animalistic and humanistic relations; furthermore, their actual connection to identity is tenuous at best. What these concerns are, how they divide up, and what they are grounded on in each instance—these are the issues it is my second aim in this paper to take up. (shrink)

The authors argue against direction of fit accounts of the distinction between belief and desire.

Recently, John Fischer has applied Frankfurt’s well-known counter-example to the principle of alternate possibilities to refute the traditional libertarian position which holds that a necessary condition for an agent’s decision (choice) to be free in the sense of freedom required for moral responsibility is that the decision not be causally determined, and that the agent could have avoided making it. Fischer’s argument has consequently led various philosophers to develop libertarian accounts of freedom which try to dispense with the avoidability constraint (...) on freedom. My purpose in this article is to show that Fischer’s attack on traditional libertarianism fails, and, therefore, it is premature to abandon that position. (shrink)

8000 Word annotated bibliography on the Phaedo, with roughly 70 entries. Note that the subscription version is a bit easier to navigate. The hyperlinks work in this pdf, but you can not as easily jump to the different sections.

According to most scholars, in the Parts of Animals Aristotle frequently provides explanations in terms of material necessity, as well as explanations in terms of that-for-the-sake-of-which, i.e., final causes. In this paper, I argue that we misunderstand both matter and the way that Aristotle explains things using necessity if we interpret Aristotle as explaining things in terms of material necessity. Aristotle does not use the term “matter” very frequently in his detailed discussions of animal parts; when he does use it, (...) he typically identifies blood as matter. I argue that this is because blood is, for Aristotle, what properly nourishes and grows the other parts of the body and he views nourishment and growth as types of coming-to-be. The second half of the paper turns to necessity as a cause in the Parts of Animals. I argue that in the Parts of Animals Aristotle is not interested in distinguishing between what Aristotle elsewhere treats as very different types of necessity. (shrink)

This paper asks whether phenomenal intentionality (intentionality that arises from phenomenal consciousness alone) has a relational structure of the sort envisaged in Russell’s theory of acquaintance. I put forward three arguments in favor of a relation view: one phenomenological, one linguistic, and one based on the view’s ability to account for the truth conditions of phenomenally intentional states. I then consider several objections to the relation view. The chief objection to the relation view takes the form of a dilemma between (...) Platonic and Aristotelian conceptions of the properties constitutive of the contents of phenomenally intentional states on this view: the Aristotelian view seems unable to account for all the apparent contents of phenomenally intentional states, but the Platonic view seems to be ontologically unacceptable. I also consider other objections from physicalism, phenomenology, and epistemology. (shrink)

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

Kant’s argument in the First Analogy for the permanence of substance has been cast as consisting of a simple quantifierscope mistake. Kant is portrayed as illicitly moving from a premise such as (1) at all times, there must exist some substance, to a conclusion such as (2) some particular substance must exist at all times. Examples meant to show that Kant makes this mistake feature substances coming into and out of existence, but doing so at overlapping times. I argue that (...) Kant offers an argument against this kind of example in the following passage. Kant’s claim is that, were substances to be created and destroyed as in the example, the appearances would then be related to two different times, in which existence flowed side by side, which is absurd. For there is only one time, in which all different times must not be placed simultaneously but only one after another (A188–9/B231–32). (shrink)

How should we punish criminal offenders? One prima facie attractive punishment is administering a mandatory neurointervention—interventions that exert a physical, chemical or biological effect on the brain in order to diminish the likelihood of some forms of criminal offending. While testosterone-lowering drugs have long been used in European and US jurisdictions on sex offenders, it has been suggested that advances in neuroscience raise the possibility of treating a broader range of offenders in the future. Neurointerventions could be a cheaper, and (...) more effective method of punishment. They could also be more humane. Nevertheless, in this paper we provide an argument against the use of mandatory neurointerventions on offenders. We argue that neurointerventions inflict a significant harm on an offender that render them a morally objectionable form of punishment in a respect that incarceration is not. Namely, it constitutes an objectionable interference with the offender’s mental states. However, it might be thought that incarceration also involves an equally objectionable interference with the offender’s mental states. We show that even if it were the case that the offender is harmed to the same extent in the same respect, it does not follow that the harms are morally equivalent. We argue that if one holds that intended harm is more difficult to justify than harm that is unintended but merely foreseen, this means neurointerventions could be morally objectionable in a significant respect that incarceration is not. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

Kolb discusses postmodern architectural styles and theories within the context of philosophical ideas about modernism and postmodernism. He focuses on what it means to dwell in a world and within a history and to act from or against a tradition.

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

Philosophers think of pain less and less as a paradigmatic instance of mentality, for which they seek a general account, and increasingly as a rich and fruitful topic in its own right. Pain raises specific questions: about mentality and consciousness certainly, but also about embodiment, affect, motivation, and value, to name but a few. The growth of philosophical interest in pain has gone hand-in-hand with the growth of pain science, which burgeoned in the 1960s. This is no accident: developments in (...) pain science have prompted philosophers to take account of empirical data, and to revisit their assumptions about pain. Pain, in short, demands interdisciplinary investigation, hence while this entry focuses on the philosophy of pain, it makes liberal reference to empirical literature along the way. This entry’s focus is on physical pains, that is pains that are felt in bodily locations, not emotional suffering more broadly, such as grief or disappointment. The entry also does not address pain’s place in ethical theories; its focus is rather on issues that arise within philosophy of mind. Even so, part of what makes pain such an interesting and important topic is that the questions it raises span boundaries, and normative questions concerning pain’s badness, on the one hand, and its value, on the other, are never far away. (shrink)

According to the Principle of Sufficient Reason, every fact has an explanation. An important challenge to this principle is that it risks being a counterexample to itself. What explains why everything needs to be explained? My first goal is to distinguish two broad kinds of answers to this question, which I call “Humean Rationalism” and “Non-Humean Rationalism”. My second goal will be to defend the prospects of Humean Rationalism.

Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...) the conceptual systems of the originators and users of the information must be sufficiently similar. A formal conceptual framework that can provide the basis for exchange of information is termed an ontology. In its most fundamental form, ontology studies the most basic constituents of reality. Traditionally, ontology seeks to reflects structures that are independent of thought and cognition. The term ontology is used more broadly in artificial intelligence and software engineering, to refer to the conceptual basis for an information system. (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 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)

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the (...) meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argu- ment’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools ef- fectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. (shrink)

Abstract creationism about fictional characters is the view that fictional characters are abstract objects that authors create. I defend this view against criticisms from Stuart Brock that hitherto have not been adequately countered. The discussion sheds light on how the number of fictional characters depends on authorial intention. I conclude also that we should change how we think intentions are connected to artifacts more generally, both abstract and concrete.

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Kagan argues that human beings who are neither persons nor even potential persons — if their impairment is independent of genetic constitution — are modal persons: individuals who might have been persons. Moreover, he proposes a view according to which both personhood and modal personhood are sufficient for counting more, morally, than nonhuman animals. In response to this proposal, I raise one relatively minor concern about Kagan's reasoning — that he judges too quickly that insentient beings can have interests — (...) before engaging the appeal to modal personhood. I challenge the thesis that modal personhood is relevant to one's moral status, first, by way of analogy to a kicker who misses a field goal though he might have made it; second, by casting doubt on implications for two impaired infants ; and, finally, by examining implications for dogs who would count as modal persons when genetic enhancements are capable of transforming them into persons. (shrink)