It has often been noticed that conciliatory views of disagreement are "self-undermining" in a certain way: advocates of such views cannot consistently maintain them when other philosophers disagree. This leads to apparent problems of instability and even inconsistency. Does self-undermining, then, show conciliationism untenable? If so, the untenablity would extend not only to almost all views of disagreement, but to a wide range of other views supporting what one might call epistemic modesty: roughly, the idea that getting evidence that one (...) has made an epistemic error in arriving at one’s opinion may require adjusting that opinion. This paper argues that the phenomenon of self-undermining does not disclose any defect in views mandating epistemic modesty. Instead, it highlights an uncomfortable but natural consequence of reflecting on one's own possible epistemic imperfections, a sort of reflection that tends to cause epistemic ideals to conflict. (shrink)

When do the folk think that material objects persist? Many metaphysicians have wanted a view which fits with folk intuitions, yet there is little agreement about what the folk intuit. I provide a range of empirical evidence which suggests that the folk operate with a teleological view of persistence: the folk tend to intuit that a material object survives alterations when its function is preserved. Given that the folk operate with a teleological view of persistence, I argue for a debunking (...) explanation of folk intuitions, concluding that metaphysicians should dismiss folk intuitions as tied into a benighted view of nature. (shrink)

The aim of this article is to develop an argument against metaphysical debates about the existence of human races. I argue that the ontology of race is underdetermined by both empirical and non-empirical evidence due to a plurality of equally permissible candidate meanings of "race." Furthermore, I argue that this underdetermination leads to a deflationist diagnosis according to #hich disputes about the existence of human races are non-substantive verbal disputes. $hile this diagnosis resembles general deflationist strategies in contemporary metaphysics" I (...) show that my argument does not presuppose controversial metametaphysical assumptions. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

The aim of this article is to discuss the relation between indigenous and scientific kinds on the basis of contemporary ethnobiological research. I argue that ethnobiological accounts of taxonomic convergence-divergence patters challenge common philosophical models of the relation between folk concepts and natural kinds. Furthermore, I outline a positive model of taxonomic convergence-divergence patterns that is based on Slater's [2014] notion of “stable property clusters” and Franklin-Hall's [2014] discussion of natural kinds as “categorical bottlenecks.” Finally, I argue that this model (...) is not only helpful for understanding the relation between indigenous and scientific kinds but also makes substantial contributions to contemporary debates about natural kinds.to contemporary debates about natural kinds. (shrink)

Xenophobia is conceptually distinct from racism. Xenophobia is also distinct from nativism. Furthermore, theories of racism are largely ensconced in nationalized narratives of racism, often influenced by the black-white binary, which obscures xenophobia and shelters it from normative critiques. This paper addresses these claims, arguing for the first and last, and outlining the second. Just as philosophers have recently analyzed the concept of racism, clarifying it and pinpointing why it’s immoral and the extent of its moral harm, so we will (...) analyze xenophobia and offer a pluralist account of xenophobia, with important implications for racism. This analysis is guided by the discussion of racism in recent moral philosophy, social ontology, and research in the psychology of racism and implicit attitudes. (shrink)

This is a story about three of my favorite philosophers—Donnellan, Russell, and Frege—about how Donnellan’s concept of having in mind relates to ideas of the others, and especially about an aspect of Donnellan’s concept that has been insufficiently discussed: how this epistemic state can be transmitted from one person to another.

Orthodoxy has it that knowledge is a composite of belief and non-mental factors. However, Timothy Williamson suggests that orthodoxy implies that the concept of belief is acquired before the concept of knowledge, whereas developmental data suggest the reverse. More recently, Jennifer Nagel reviews the psychological evidence, building a psychological case that the concept of knowledge emerges prior to belief. I assess the psychological state of the art and find support for the opposite conclusion. Overall the empirical evidence supports the orthodox (...) view that the concept of belief is prior to the concept of knowledge. (shrink)

Compare your pain when immersing your hand in freezing water and your pleasure when you taste your favourite wine. The relationship seems obvious. Your pain experience is unpleasant, aversive, negative, and bad. Your experience of the wine is pleasant, attractive, positive, and good. Pain and pleasure are straightforwardly opposites. Or that, at any rate, can seem beyond doubt, and to leave little more to be said. But, in fact, it is not beyond doubt. And, true or false, it leaves a (...) good deal more to be said: about the nature of sensory affect; its relations to perception, motivation, and rationality; its value; and the mechanisms underlying it. Much is said about these matters in the contributions that follow. Here, in this introductory essay, we map the dialectical landscape and locate our contributors’ papers within it. (shrink)

For Kant, any authentic moral demands are wholly distinct from the demands of prudence. This has led critics to complain that Kantian moral demands are incompatible with our human nature as happiness-seekers. Kant’s defenders have pointed out, correctly, that Kant can and does assert that it is permissible, at least in principle, to pursue our own happiness. But this response does not eliminate the worry that a life organized around the pursuit of virtue might turn out to be one from (...) which we cannot expect any of this (permissible) happiness. To address this worry, Kant would need to establish that there is a kind of harmony between virtue and our own happiness that can give us confidence that aiming at morality does not require us to abandon our hope for happiness in this life. This paper aims to show that Kant—building on insights from Rousseau that Kant identifies with Cynicism—does offer an account of such a harmony between virtue and worldly happiness. (shrink)

Epistemologists have recently proposed a number of norms governing rational inquiry. My aim in this paper is to unify and explain recently proposed norms of inquiry by developing a general account of the conditions under which inquiries are rational, analogous to theories such as evidentialism and reliabilism for rational belief. I begin with a reason-responsiveness conception of rationality as responding correctly to possessed normative reasons. I extend this account with a series of claims about the normative reasons for inquiry that (...) we possess. I apply the account to shed light on two classes of norms that have featured prominently in recent discussions: norms of clutter avoidance forbidding agents from engaging in trivial inquiries, and norms of logical non-omniscience governing properties such as the deductive closure and consistency of an agent's belief state. I conclude with a discussion of the sense in which norms of inquiry should be regarded as epistemic norms. (shrink)

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

A recurring claim in a number of behavioural, cognitive and neuro-scientific literatures is that there is, or must be, a unidimensional ‘common currency’ in which the values of different available options are represented. There is striking variety in the quantities or properties that have been proposed as determinants of the ordering in motivational strength. Among those seriously suggested are pain and pleasure, biological fitness, reward and reinforcement, and utility among economists, who have regimented the notion of utility in a variety (...) of ways, some of them incompatible. This topic deserves philosophical attention for at least the following reasons. Repeated invocation of the ‘common currency’ idiom isn’t merely terminological coincidence because most of the claims are competing explanations either of manifest pattern in choices, or of order in the processes producing choice. We can’t suppose that the different currency claims within each area are compatible, because there are significant obstacles to identifying pairs of members of either the ‘pattern’ or ‘process’ group. There are, finally, seriously opposed positions about the relationships between the pattern facts and the process facts. There are philosophical positions both favouring and opposing a common currency. But direct consideration of the abstract relationships between claims about common currencies across scientific settings, and the arguments for and against these claims, is relatively rare. There is, though, much of philosophical interest to be found here. (shrink)

Philosophers and psychologists alike have argued recently that relatively abstract beliefs or cognitive categories like those regarding race can influence the perceptual experience of relatively low-level visual features like color or lightness. Some of the proposed best empirical evidence for this claim comes from a series of experiments in which White faces were consistently judged as lighter than equiluminant Black faces, even for racially ambiguous faces that were labeled ‘White’ as opposed to ‘Black’ (Levin and Banaji 2006). The latter result (...) is considered especially indicative of cognitive penetration, based on the reasoning that the relevant distortions were a function of lexical labeling, and hence the effect must have been mediated by categorization at the cognitive level. I argue that this reasoning is flawed, and that the assumptions on which it relies are questionable on both empirical and theoretical grounds. I propose an alternative, low-level explanation of the phenomena, which I argue is empirically more plausible and abductively preferable to the cognitive-penetration account. The upshot is that cognitively impenetrable perceptual systems may be psychologically more plastic and hence philosophically more significant than is nowadays commonly assumed. (shrink)

There is a tension between the reasonable desire not to be judgmental of other people’s behaviour or character, and the moral necessity of making negative judgments in some cases. I sketch a way in which we might accommodate both, via an evaluation of the good of reputation and the ethics of judgment of other people’s character and behaviour. I argue that a good reputation is a highly valuable good for its bearer, akin to a property right, and not to be (...) damaged without serious reason deriving from the demands of justice and the common welfare. Rash judgment wrongfully damages reputation and is sometimes a seriously immoral act. Rashness is not merely about lack of evidence, but involves lack of charity and is to be avoided even in some cases where the evidence of bad character or action is epistemically sufficient for judgment. I argue that the desirability of a good name for its holder, whether the reputation is deserved or not, means that in all but a relatively narrow range of cases it is always wrong to think badly of someone, even if they are bad. (shrink)

A number of philosophers, from Thomas Reid1 through C. A. J. Coady2, have argued that one is justified in relying on the testimony of others, and furthermore, that this should be taken as a basic epistemic presumption. If such a general presumption were not ultimately dependent on evidence for the reliability of other people, the ground for this presumption would be a priori. Such a presumption would then have a status like that which Roderick Chisholm claims for the epistemic principle (...) that we are justified in believing what our senses tell us. (shrink)

The authors outline the way in which documents as social objects have evolved from their earliest forms to the electronic documents of the present day. They note that while certain features have remained consistent, processes regarding document authentication are seriously complicated by the easy reproducibility of digital entities. The authors argue that electronic documents also raise significant questions concerning the theory of ‘documentality’ advanced by Maurizio Ferraris, especially given the fact that interactive documents seem to blur the distinctions between the (...) static documents (or ‘inscriptions’) which form Ferraris’s starting point, and dynamic software processes. The authors argue further that the Ferraris view as applied to legal documents is flawed because of the fact that courts may treat contractual obligations as enduring even in spite of a complete absence of enduring inscriptions. Finally, the authors note that traces in brains, another important family of inscriptions (as Ferraris conceives them), differ significantly from genuinely documentary inscriptions by their lack of public inspectability. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

O’Regan and Noë’s sensorimotor approach rejects the old-fashioned view that perceptual experience in humans depends solely on the activation of internal representations. Reflecting a wealth of empirical work, for example active vision, the approach suggests that perceiving is, instead, a matter of bodily exploration of the outside environment. To this end, the approach says the perceiver must deploy knowledge of sensorimotor contingencies, the ways sense input changes with movement by the perceiver or object perceived. Clark has observed that the approach (...) faces a challenge accounting for the experience of temporal duration, since event-like properties cannot be characterised by reference to the sensory consequences of possible movements. This paper argues that the account can best be shored up by emphasising, more than Noë does, the dependence of perceptual experience, in general, on temporally extended, organismic interaction with the outside environment. The paper argues, moreover, that an ‘extensionalist’ account of temporal experience could help make sense of object experience, which is itself, plausibly, an experience of temporal duration. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)

Can we adequately account for our reasons of mere taste without holding that our desires ground such reasons? Recently, Scanlon and Parfit have argued that we can, pointing to pleasure and pain as the grounds of such reasons. In this paper I take issue with each of their accounts. I conclude that we do not yet have a plausible rival to a desire-based understanding of the grounds of such reasons.

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

4E approaches to affective technology tend to focus on how ‘users’ manage their situated affectivity, analogously to how they help themselves cognitively through epistemic actions or using artefacts and scaffolding. Here I focus on cases where the function of affective technology is to exploit or manipulate the agent engaging with it. My opening example is the cigarette, where technological refinements have harmfully transformed the affective process of consuming nicotine. I proceed to develop case studies of two very different but also (...) harmful affective technologies. Casinos and electronic gambling machines deploy computationally intensive scaffolding to shape the onset and continuation of gambling episodes. High-heeled shoes affectively engineer wearers’ relationships to their own embodied capacities and are predominantly expected to be worn by women. I conclude with a discussion of the need for study of affective technology to focus other-directed applications, some of which will serve competing or antagonistic interests. (shrink)

In this thesis I offer an interpretation of Arthur Schopenhauer’s pessimism. I argue against interpreting Schopenhauer’s pessimism as if it were merely a matter of temperament, and I resist the urge to find a single standard argument for pessimism in Schopenhauer’s work. Instead, I treat Schopenhauer’s pessimism as inherently variegated, composed of several distinct but interrelated pessimistic positions, each of which is supported by its own argument. I begin by examining Schopenhauer’s famous argument that willing necessitates suffering, which I defend (...) against the misrepresentative interpretation advocated by Ivan Soll. I also offer a metaphysical reading of Schopenhauer’s claim that no amount happiness can compensate for the mere fact of suffering, based upon his negative conception of happiness. I proceed by analysing Schopenhauer’s criticisms of two prominent optimists, Leibniz and Rousseau. I attempt to salvage something of Schopenhauer’s counterargument against Leibniz that this is the worse of all possible worlds, and I also examine Schopenhauer’s claim that the optimistic metaphysics of a priori rationalistic philosophy cannot cope with the evidence of meaningless suffering. In the case of Rousseau, I interpret Schopenhauer’s brief objection to Rousseau’s assumption of original goodness, by means of an examination of Schopenhauer’s conception of the contrary doctrine, original sin. Next I consider the metaphysics of Schopenhauer’s account of eternal justice. After defending it against a number of objections, I argue that the nature of his version of eternal justice, which he admits constitutes a justification for suffering, does not conflict with the fact that he so strongly condemns Leibniz’s and Rousseau’s optimistic justifications for suffering. Finally I assess whether and to what extent Schopenhauer’s ethics of salvation are either pessimistic or optimistic. I conclude that the mere fact that salvation is possible is not necessarily a cause for optimism, but that Schopenhauer’s doctrine of salvation is made partly optimistic by the higher form of cognition that he describes as part of it. I also argue that Schopenhauer’s views on the essentially mystical nature of the state of salvation ultimately commit him to being neither positively optimistic nor positively pessimistic about salvation. I conclude overall with some brief remarks about the meaning of Schopenhauer’s pessimism, and how in spite of its diverse nature, it is able to lay down a singular challenge to all future philosophers concerned with the question of suffering. (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.

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesise that the human mind is either partially or massively comprised of structures that are modular in nature. Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypotheses about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in (...) favour of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

Presentism and Eternalism are competing views about the ontological and temporal structure of the world, introduced and demarcated by their answers to questions about what exists and whether what exists changes. The goal of this chapter is to give the reader a clear understanding of Presentism and Eternalism, and a sense of some considerations used to critically assess the views by briefly rehearsing some of the main philosophical problems facing them.

This article surveys different forms of emergence, distinguishing them from each other by means of their relationship to deducibility conceived as Kimian functional reduction.

Consider the following two (hypothetical) generic causal claims: “Living in a neighborhood with many families with children increases purchases of bicycles” and “living in an affluent neighborhood with many families with children increases purchases of bicycles.” These claims not only differ in what they suggest about how bicycle ownership is distributed across different neighborhoods (i.e., “the data”), but also have the potential to communicate something about the speakers’ values: namely, the prominence they accord to affluence in representing and making decisions (...) about the social world. Here, we examine the relationship between the level of granularity with which a cause is described in a generic causal claim (e.g., neighborhood vs. affluent neighborhood) and the value of the information contained in the causal model that generates that claim. We argue that listeners who know any two of the following can make reliable inferences about the third: 1) the level of granularity at which a speaker makes a generic causal claim, 2) the speaker’s values, and 3) the data available to the speaker. We present results of four experiments (N=1,323) in the domain of social categories that provide evidence in keeping with these predictions. (shrink)

A spirited reading of Derrida’s view of ethics as transcendental and performative.

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

The eponymous dialogue presents the sophist as a figure who defies definition, and those difficulties are attributed to the conception of the image. Ultimately, the sophist is defined as a species of image maker. The image, however, which is important throughout the Platonic corpus as a metaphor, an analogy, and a metaphysical concept as well, receives in the Sophist little clarification or definition apart from whatever may be inferred from the division of image making arts. In the Sophist, the sophist (...) escapes definition as in no other dialogue, rendering even the concluding division one that makes the distinction of the sophist from the philosopher problematic, if not impossible. The paper explores how the dialogue problematizes and rethinks the metaphysics of the image, as compared to its use in dialogues such as the Phaedo and the Republic, pointing to a refinement in understanding the relation of judgment to knowledge and appearance to reality. (shrink)

One of the central limitations of sensory substitution devices (SSDs) is their inability to reproduce the non-sensory feelings that are normally associated with visual experiences, especially hedonic and aesthetic responses. This limitation is sometimes reported to cause SSD users frustration. To make matters worse, it is unclear that improvements in acuity, bandwidth, or training will resolve the issue. Yet, if SSDs are to actually reproduce visual experience in its fullness, it seems that the reproduction of non-sensory feelings will be of (...) some importance. We offer a novel solution. Researchers can produce hedonic and aesthetic responses by eliciting these feelings artificially, pairing distal objects that should be pleasurable to pleasurable stimulus outputs from the SSD. We outline two strategies for accomplishing this: first, by means of a prefixed, hardwired, association of pleasant distal objects to pleasant stimulus outputs from the SSD; second, by means of a flexible, feedback-based association which creates associations based on a subject-directed matching of distal objects to patterns of stimuli from the SSD which the subject takes to have the corresponding hedonic properties. We evaluate some problems with both strategies, and we argue that the feedback-based strategy is more promising. Researchers can use this strategy to help the blind, allowing them to take pleasure in the objects they perceive using SSDs. (shrink)

This essay aims to clarify the debate over same-sex unions by comparing it to the fourth-century conflict concerning the nature of Jesus Christ. Although some suppose that the council of Nicaea reiterated what Christians had always believed, the Nicene theology championed by Athanasius was a dramatic innovation that only won out through protracted struggle. Similarly, despite the widespread assumption that Christian tradition univocally condemns homosexuality, the concept of sexuality is a nineteenth-century invention with no exact analogue in the ancient world. (...) Neither heterosexuality nor homosexuality is addressed directly in Christian tradition; for this reason, the significance of older authorities for the modern debate is necessarily indirect. The dichotomy between progressive and conservative positions is therefore misguided: it is necessary neither to abandon tradition for the sake of progress nor to oppose innovation for the sake of fidelity. (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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. 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 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 the interpretational and objective modalities and 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 while bypassing 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)

Know how and ability have a seemingly fraught relationship. I deepen the tension here, by arguing for two new pieces of data concerning know how and ability. First, know how ascriptions have two distinct readings that differ in their entailments to ability: one entails ability, the other does not. Second, in certain cases, the indeterminacy of certain ability claims infects both readings of know how claims. No existing accounts of the relationship between know how and ability captures both data points, (...) I argue; but a certain kind of intellectualism has special resources to account for them. Ascriptions of knowledge of infinitival questions give rise to a distinctive kind of context-sensitivity specific to infinitivals. I show how on an intellectualist view where, very roughly, knowing how to do something is knowing an answer to an infinitival question about your abilities, this context-sensitivity accounts for the relationship between know how and ability. (shrink)