Conciliationism holds that disagreement of apparent epistemic peers often substantially undermines rational confidence in our opinions. Uniqueness principles say that there is at most one maximally rational doxastic response to any given batch of total evidence. The two views are often thought to be tightly connected. This paper distinguishes two ways of motivating conciliationism, and two ways that conciliationism may be undermined by permissive accounts of rationality. It shows how conciliationism can flourish under certain strongly permissive accounts of rationality. This (...) occurs when the motivation for conciliationism does not come from taking disagreement as evidence of one's own rational failings. However, divorcing the motive for conciliating from worries about rationality does not remove a feature of conciliationism that some find troubling: that conciliationism can lead to cases of “rational toxicity,” in which the most rational response to one's evidence involves violating some rational ideal. (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)

Current controversies about knowledge integration reflect conflicting ideas of what it means to “take Indigenous knowledge seriously”. While there is increased interest in integrating Indigenous and Western scientific knowledge in various disciplines such as anthropology and ethnobiology, integration projects are often accused of recognizing Indigenous knowledge only insofar as it is useful for Western scientists. The aim of this article is to use tools from philosophy of science to develop a model of both successful integration and integration failures. On the (...) one hand, I argue that cross-cultural recognition of property clusters leads to an ontological overlap that makes knowledge integration often epistemically productive and socially useful. On the other hand, I argue that knowledge integration is limited by ontological divergence. Adequate models of Indigenous knowledge will therefore have to take integration failures seriously and I argue that integration efforts need to be complemented by a political notion of ontological self-determination. (shrink)

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

Sometimes we get evidence of our own epistemic malfunction. This can come from finding out we’re fatigued, or have been drugged, or that other competent and well-informed thinkers disagree with our beliefs. This sort of evidence seems to seems to behave differently from ordinary evidence about the world. In particular, getting such evidence can put agents in a position where the most rational response involves violating some epistemic ideal.

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)

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.

This article develops an account of local epistemic practices on the basis of case studies from ethnobiology. I argue that current debates about objectivity often stand in the way of a more adequate understanding of local knowledge and ethnobiological practices in general. While local knowledge about the biological world often meets criteria for objectivity in philosophy of science, general debates about the objectivity of local knowledge can also obscure their unique epistemic features. In modification of Ian Hacking’s suggestion to discuss (...) “ground level questions” instead of objectivity, I propose an account that focuses on both epistemic virtues and vices of local epistemic practices. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

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)

This paper offers a probabilistic treatment of the conditions for argument cogency as endorsed in informal logic: acceptability, relevance, and sufficiency. Treating a natural language argument as a reason-claim-complex, our analysis identifies content features of defeasible argument on which the RSA conditions depend, namely: change in the commitment to the reason, the reason’s sensitivity and selectivity to the claim, one’s prior commitment to the claim, and the contextually determined thresholds of acceptability for reasons and for claims. Results contrast with, and (...) may indeed serve to correct, the informal understanding and applications of the RSA criteria concerning their conceptual dependence, their function as update-thresholds, and their status as obligatory rather than permissive norms, but also show how these formal and informal normative approachs can in fact align. (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)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

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)

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)

According to the priority view, or prioritarianism, it matters more to benefit people the worse off they are. But how exactly should the priority view be defined? This article argues for a highly general characterization which essentially involves risk, but makes no use of evaluative measurements or the expected utility axioms. A representation theorem is provided, and when further assumptions are added, common accounts of the priority view are recovered. A defense of the key idea behind the priority view, the (...) priority principle, is provided. But it is argued that the priority view fails on both ethical and conceptual grounds. (shrink)

It is conventional wisdom among political philosophers that ideal principles of justice must guide our attempts to design institutions to avert actual injustice. Call this the ideal guidance approach. I argue that this view is misguided— ideal principles of justice are not appropriate "guiding principles" that actual institutions must aim to realize, even if only approximately. Fortunately, the conventional wisdom is also avoidable. In this paper, I develop an alternative approach to institutional design, which I call institutional failure analysis. The (...) basic intuition of this approach is that our moral assessment of institutional proposals is most effective when we proceed from a detailed understanding of the causal processes generating problematic social outcomes. Failure analysis takes the institutional primary design task to be obviating or averting institutional failures. Consequently, failure analysis enables theorists to prescribe more effective solutions to actual injustice because its focuses on understanding the injustice, rather than specifying an ideal of justice. (shrink)

Political philosophers frequently claim that political ideals can provide normative guidance for unjust and otherwise nonideal circumstances. This is mistaken. This paper demonstrates that political ideals contribute nothing to our understanding of the normative principles we should satisfy amidst unjust or otherwise nonideal circumstances.

Knowledge is widely thought to entail belief. But Radford has claimed to offer a counterexample: the case of the unconfident examinee. And Myers-Schulz and Schwitzgebel have claimed empirical vindication of Radford. We argue, in defense of orthodoxy, that the unconfident examinee does indeed have belief, in the epistemically relevant sense of dispositional belief. We buttress this with empirical results showing that when the dispositional conception of belief is specifically elicited, people’s intuitions then conform with the view that knowledge entails (dispositional) (...) belief. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (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)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of these types there (...) will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

Sydney Shoemaker has been arguing for more than a decade for an account of the mind–body problem in which the notion of realization takes centre stage. His aim is to provide a notion of realization that is consistent with the multiple realizability of mental properties or events, and which explains: how the physical grounds the mental; and why the causal work of mental events is not screened off by that of physical events. Shoemaker's proposal consists of individuating properties in terms (...) of causal powers, and defining realization as a relation of inclusion between sets of causal powers. Thus, as the causal powers that define a mental property are a subset of the causal powers that characterize a physical property, it can be said that physical properties realize mental properties. In this paper we examine the physicalist credentials of Shoemaker's mind–body theory in relation to three important issues: the direction of the relation of dependence that the theory is committed to; the possibility of mental properties existing without being anchored by physical properties; and the compatibility of the theory with the causal closure of the physical world. We argue that Shoemaker's theory is problematic in all three respects. After that we consider whether the theory should count as a mind–body theory at all, given that it seems to be committed to a distorted view of mental properties. (shrink)

Recent years have seen a surge in online collaboration between experts and amateurs on scientific research. In this article, we analyse the epistemological implications of these crowdsourced projects, with a focus on Zooniverse, the world’s largest citizen science web portal. We use quantitative methods to evaluate the platform’s success in producing large volumes of observation statements and high impact scientific discoveries relative to more conventional means of data processing. Through empirical evidence, Bayesian reasoning, and conceptual analysis, we show how information (...) and communication technologies enhance the reliability, scalability, and connectivity of crowdsourced e-research, giving online citizen science projects powerful epistemic advantages over more traditional modes of scientific investigation. These results highlight the essential role played by technologically mediated social interaction in contemporary knowledge production. We conclude by calling for an explicitly sociotechnical turn in the philosophy of science that combines insights from statistics and logic to analyse the latest developments in scientific research. (shrink)

Bernard Williams’ discussion of immortality in “The Makropulos Case: Reflections on the Tedium of Immortality” has spawned an entire philosophical literature. This literature tends to focus on one of Williams’ central claims: if we were to relinquish our mortality, we would necessarily become alienated from our existence and environment—“bored,” in his terms. Many theorists have defended this claim; many others have challenged it. Even if this claim is false, though, it still isn’t obvious that we should choose to relinquish our (...) mortality, given the option. And this is puzzling. Death is generally regarded as an evil, meriting anxiety, dread, and avoidance. What is it about our mortality that makes us hesitant to relinquish it? In this paper, I aim to explain this hesitancy and to argue in its favor: we should be hesitant to relinquish our mortality. Further, I take my discussion to suggest that most of us probably shouldn’t take this option if we were given it. To make these points, I draw on Williams’ discussion of immortality, developing and extending his thought in order to better understand how mortality shapes the way we relate to our lives, particularly the commitments and values that make them meaningful. Our mortality, it seems, plays a crucial role in our lives standing for something. Relinquishing it thus means risking the loss of this value. (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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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. I invent 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

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)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (shrink)

I discuss Gheaus's (2013) argument against the claim that the requirements of justice are not constrained by feasibility concerns. I show that the general strategy exemplified by this argument is not only dialectically puzzling, but also imposes a heavy cost on theories of justice -- puzzling because it simply sidesteps a presupposition of any plausible formulation of the so-called "feasibility requirement"; costly because it it deprives justice of its normative implications for action. I also show that Gheaus's attempt to recover (...) this normative force presupposes an epistemic dimension to the feasibility requirement that most proponents of that requirement would reject. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (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)

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)

Eva Erman and Niklas Möller have recently presented a trenchant critique of my (2015) argument that ideal normative theories are uninformative for certain practical purposes. Their criticisms are largely correct. In this note, I develop the ideas behind my earlier argument in a way that circumvents their critique and explains more clearly why ideal theory is uninformative for certain purposes while leaving open the possibility that it might be informative for other purposes.

In this paper, I present an argument that shows that the belief in libertarian freedom is inconsistent with two assumptions widely accepted by those who are physicalists with regard to the relation between the mental and the physical - that mental properties are distinct from physical properties, and that mental properties supervene on physical properties. After presenting the argument, I trace its implications for the question of the compatibility of libertarian free will and physicalism in general.

“The Ethics of Infection Challenges in Primates,” by Anne Barnhill, Steven Joffe, and Franklin Miller, is an exceptionally timely contribution to the literature on animal research ethics. Animal research has long been both a source of high hopes and a cause for moral concern. When it comes to infection challenge studies with nonhuman primates, neither the hope—to save thousands of human lives from such diseases as Ebola and Marburg—nor the concern—the conviction that primates deserve especially strong protections—could be much higher. (...) Coming just a few years after the National Institutes of Health adopted the Institute of Medicine's recommendations regarding chimpanzees, Barnhill and colleagues attempt to nudge the clarification and specification—one might say the evolution—of NHP research ethics and regulation. They assert that NHP challenge studies “are not justified by marginal gains in human safety or by efficacy gains that are unlikely to translate directly into saving human lives or preventing morbidity.” How, in turn, is their standard—which, although stringent, does permit causing NHPs to suffer and die for human benefit—to be justified? (shrink)

Why scientists reach an agreement on new experimental methods when there are conflicts of interest about the evidence they yield? I argue that debiasing methods play a crucial role in this consensus, providing a warrant about the impartiality of the outcome regarding the preferences of different parties involved in the experiment. From a contractarian perspective, I contend that an epistemic pre-requisite for scientists to agree on an experimental method is that this latter is neutral regarding their competing interests. I present (...) two medical experiments (on smallpox inoculation and Mesmerism) in which debiasing procedures such as blinding and data tabulation provided warrants of impartiality that made people agree on the experimental design even if they disagreed on the outcome. (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)

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)

It can be hard to see where money fits in the world. Money seems both real and imaginary, since it has obvious causal powers, but is also, just as obviously, something humans have just made up. Recent philosophical accounts of money have declared it to be real, but for very different reasons. John Searle and Francesco Guala disagree over whether money is just whatever acts like money, or just whatever people believe to be money. In developing their accounts of institutions (...) as a part of social reality, each uses money as a paradigm institution, but they disagree on how institutions exist. Searle argues that the institution of money belongs to an ontological level separate from the physical world, held up by the collective intentions of a group, while Guala claims that money is a part of the ordinary physical world and is just whatever performs a “money-like function” in a group, regardless of what that group believes about it. Here, we argue that any purely functional account like Guala’s will be unable to capture the distinctive phenomenon of money, since monetary transactions are defined by the attitudes transactors hold toward them. Money will be obscured or misidentified if defined functionally. As we go on to show by examining recent work by Smit et al., belief in money does not require taking on all of Searle’s ontological commitments, but money and mental contents will stand or fall together. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

This essay reviews the recently released Handbook of Philosophy of Management, using it as a jumping off point to explore some potential confusions in contemporary philosophy of management. The handbook itself, comprising 58 articles and some 1,000 pages, is a milestone for the field. At the same time, it brings a few problems into sharp relief. I argue for more clarity about the distinction between the philosophy of management and the philosophy of management research. I make the case that logic (...) as a de facto method for conducting inquiry may or may not be useful, while logic as a de jure standard for evaluating its conclusions is indispensable. I develop the view that neither management nor management studies is properly considered a science, or even an applied science. I contend that the seminal contributions of Alasdair MacIntyre are unjustly neglected by the field. And I advance the thesis that perhaps the leading issue for the philosophy of management today is the question of the purpose of management, pointing in some suggested directions for answering the question. (shrink)