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)

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 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)

Many philosophers have offered arguments in favor of the following three theses: A is epistemically permitted to believe P only if A is in a position to know that P, incoherent agents fail to satisfy the aforementioned knowledge norm of belief, and A’s apparent reasons are relevant to determining what A is blameworthy for believing. In this paper, I argue that the above three theses are jointly inconsistent. The main upshot of the paper is this: even if the knowledge norm (...) of belief is correct, it cannot explain some deontic requirements governing belief. (shrink)

The goal of this paper is to explore the presuppositionality of factive verbs, with special emphasis on the verbs know and regret. The hypothesis put forward here is that the factivity related to know and the factivity related to regret are two different phenomena, as the former is a semantic implication that is licensed by the conventional meaning of know, while the latter is a purely pragmatic phenomenon that arises conversationally. More specifically, it is argued that know is factive in (...) the sense that it both entails and presupposes p, while regret is factive in the sense that it only presupposes p. In a recent article, Hazlett, 497–522, 2010) shows with authentic examples how know is used non-factively in ordinary language, and he observes in these examples, as he says, “a threat to Factivity.” I argue that non-factive uses of factive verbs, such as know and regret, far from being a threat to factivity, show that, on the one hand, know is ambiguous between a factive and a non-factive sense; on the other hand, in the case of regret, the presupposition of factivity has to be intended as a merely pragmatic implication which can be suspended by the speaker herself. (shrink)

Moral bioenhancement is the potential practice of manipulating individuals’ moral behaviors by biological means in order to help resolve pressing moral issues such as climate change and terrorism. This practice has obvious ethical implications, and these implications have been and continue to be discussed in the bioethics literature. What have not been discussed are the epistemological implications of moral bioenhancement. This article details some of these implications of engaging in moral bioenhancement. The argument begins by making the distinction between moral (...) bioenhancement that manipulates the contents of mental states and that which manipulates other, non-representational states. Either way, I argue, the enhanced moral psychology will fail to conform to epistemic norms, and the only way to resolve this failure and allow the moral bioenhancement to be effective in addressing the targeted moral issues is to make the moral bioenhancement covert. (shrink)

There is recent empirical evidence that personal identity is constituted by one’s moral traits. If true, this poses a problem for those who advocate for moral enhancement, or the manipulation of a person’s moral traits through pharmaceutical or other biological means. Specifically, if moral enhancement manipulates a person’s moral traits, and those moral traits constitute personal identity, then it is possible that moral enhancement could alter a person’s identity. I go a step further and argue that under the right conditions, (...) moral enhancement can constitute murder. I then argue that these conditions are not remote. (shrink)

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

Two truisms about empirical justification are that experience plays a crucial role in it and that it is defeasible. There are, of course, different ways of developing these truisms into philosophical theories. I favor one particular view about the role of experience in empirical justification which may be thought to lead to problems in accommodating its defeasibility. My aim in this paper is to argue that the problems are illusory, based on an entrenched misconception how defeaters work.

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

Modal Security is an increasingly discussed proposed necessary condition on undermining defeat. Modal Security says, roughly, that if evidence undermines (rather than rebuts) one’s belief, then one gets reason to doubt the belief's safety or sensitivity. The primary interest of the principle is that it seems to entail that influential epistemological arguments, including Evolutionary Debunking Arguments against moral realism and the Benacerraf-Field Challenge for mathematical realism, are unsound. The purpose of this paper is to critically examine Modal Security in detail. (...) We develop and discuss what we take to be the strongest objections to the principle. One of the aims of the paper is to expose the weakness of these objections. Another is to reveal how the debate over Modal Security interacts with core problems in epistemology — including the generality problem, and the distinction between direct and indirect evidence. (shrink)

What are intuitions? According to doxastic views, they are doxastic attitudes or dispositions, such as judgments or inclinations to make judgments. According to perceptualist views, they are—like perceptual experiences—pre-doxastic experiences that—unlike perceptual experiences—represent abstract matters as being a certain way. In this paper I argue against doxasticism and in favor of perceptualism. I describe two features that militate against doxasticist views of perception itself: perception is belief-independent and perception is presentational. Then I argue that intuitions also have both features. The (...) upshot is that intuitions are importantly similar to perceptual experiences, and so should not be identified with doxastic attitudes or dispositions. I consider a popular argument from the introspective absence of sui generis intuition experiences in favor of doxasticism. I develop a conception of intuition experiences that helps to defuse this argument. (shrink)

This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic truth turn out to carry semantic (...) presuppositions that make them ineligible as items of a priori knowledge. -/- On a happier note, I argue that (AK) offers an appealing, theory-neutral explanation of the a posteriori character of certain necessary identities, as well as an interesting rationalization for a commonplace linguistic maneuver in philosophical work on the a priori. (shrink)

According to robust virtue epistemology , knowledge is type-identical with a particular species of cognitive achievement. The identification itself is subject to some criticism on the grounds that it fails to account for the anti-luck features of knowledge. Although critics have largely focused on environmental luck, the fundamental philosophical problem facing RVE is that it is not clear why it should be a distinctive feature of cognitive abilities that they ordinarily produce beliefs in a way that is safe. We propose (...) a novel way to resolve this problem. Key to our proposal will be an appreciation of different representational states beholden to truth. We suggest these different representational states are distinguished by how, in the proper governance of these states, the twin goods of attaining truth and avoiding error are weighted. Moreover, we explain how varieties of representational states line up with varieties of cognitive achievement such that knowledge, cum cognitive achievement, must be safe because of the kind of attempt at success that belief is—namely, an attempt that places the premium it does on avoiding error. (shrink)

One of the deepest ideological divides in contemporary epistemology concerns the relative importance of belief versus credence. A prominent consideration in favor of credence-based epistemology is the ease with which it appears to account for rational action. In contrast, cases with risky payoff structures threaten to break the link between rational belief and rational action. This threat poses a challenge to traditional epistemology, which maintains the theoretical prominence of belief. The core problem, we suggest, is that belief may not be (...) enough to register all aspects of a subject’s epistemic position with respect to any given proposition. We claim this problem can be solved by introducing other doxastic attitudes—genuine representations—that differ in strength from belief. The resulting alternative picture, a kind of doxastic states pluralism, retains the central features of traditional epistemology—most saliently, an emphasis on truth as a kind of objective accuracy—while adequately accounting for rational action. (shrink)

Anscombe thought that practical knowledge – a person’s knowledge of what she is intentionally doing – displays formal differences to ordinary empirical, or ‘speculative’, knowledge. I suggest these differences rest on the fact that practical knowledge involves intention analogously to how speculative knowledge involves belief. But this claim conflicts with the standard conception of knowledge, according to which knowledge is an inherently belief-involving phenomenon. Building on John Hyman’s account of knowledge as the ability to use a fact as a reason, (...) I develop an alternative, two-tier, epistemology which allows that knowledge might really come in a belief-involving and an intention-involving form. (shrink)

According to orthodoxy, perceptual beliefs are caused by perceptual experiences. The paper argues that this view makes it impossible to explain how experiences can be epistemically significant. A rival account, on which experiences in the “good case” are ways of knowing, is set out and defended.

According to one contemporary formulation of infallibilism, probability 1 infallibilism, if a subject knows that p, then the probability of p on her evidence is 1. To avoid an implausible scepticism about knowledge, probability 1 infallibilism needs to allow that, in a wide range of cases, a proposition can be evidence for itself. However, such infallibilism needs to explain why it is typically infelicitous to cite p as evidence for p itself. I argue that probability 1 infallibilism has no explanation (...) of this infelicity and should be rejected. (shrink)

We perceive a world of mind-independent macroscopic material objects such as stones, tables, trees, and animals. Our experience is the joint upshot of the way these things are and our route through them, along with the various relevant circumstances of perception; and it depends on the normal operation of our perceptual systems. How should we characterise our perceptual experience so as to respect its basis and explain its role in grounding empirical thought and knowledge? I offered an answer to this (...) question in Perception and its objects. Here I aim to clarify some of my central arguments and to develop and defend the position further in the light of subsequent critical discussion. (shrink)

Peter Brössel and Franz Huber in 2015 argued that the Bayesian concept of confirmation had no use. I will argue that it has both the uses they discussed—it can be used for making claims about how worthy of belief various hypotheses are, and it can be used to measure the epistemic value of experiments. Furthermore, it can be useful in explanations. More generally, I will argue that more coarse-grained concepts can be useful, even when we have more fine-grained concepts available.

I argue that the constitutive aim of belief and the constitutive aim of science are both knowledge. The ‘aim of belief’, understood as the correctness conditions of belief, is to be identified with the product of properly functioning cognitive systems. Science is an institution that is the social functional analogue of a cognitive system, and its aim is the same as that of belief. In both cases it is knowledge rather than true belief that is the product of proper functioning.

(No abstract is available for this citation).

Predicate approaches to modality have been a topic of increased interest in recent intensional logic. Halbach and Welch :71–100, 2009) have proposed a new formal technique to reduce the necessity predicate to an operator, demonstrating that predicate and operator methods are ultimately compatible. This article concerns the question of whether Halbach and Welch’s approach can provide a uniform formal treatment for intensionality. I show that the monotonicity constraint in Halbach and Welch’s proof for necessity fails for almost all possible-worlds theories (...) of knowledge. The nonmonotonicity results demonstrate that the most obvious way of emulating Halbach and Welch’s rapprochement of the predicate and operator fails in the epistemic setting. (shrink)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

This essay extends my side of a discussion begun earlier with Duncan Pritchard, the recent author of Epistemic Luck. Pritchard’s work contributes significantly to improving the “diagnostic appeal” of a neo-Moorean philosophical response to radical scepticism. While agreeing with Pritchard in many respects, the paper questions the need for his concession to the sceptic that the neo-Moorean is capable at best of recovering “‘brute’ externalist knowledge”. The paper discusses and directly responds to a dilemma that Pritchard poses for virtue epistemologies (...) (VE). It also takes issue with Pritchard’s “merely safety-based” alternative. Ultimately, however, the criticisms made here of Pritchard’s dilemma and its underlying contrast of “anti-luck” and “virtue” epistemologies are intended to help realize his own aspirations for a better diagnosis of radical scepticism to inform a still better neo-Moorean response. (shrink)

Several philosophers have argued that the factivity of knowledge poses a problem for epistemic contextualism (EC), which they have construed as a knowability problem. On a proposed minimalistic reading of EC’s commitments, Wolfgang Freitag argues that factivity yields no knowability problem for EC. I begin by explaining how factivity is thought to generate a contradiction out of paradigmatic contextualist cases on a certain reading of EC’s commitments. This reductio results in some kind of reflexivity problem for the contextualist when it (...) comes to knowing her theory: either a knowability problem or a statability problem. Next, I set forth Freitag’s minimalistic reading of EC and explain how it avoids the reductio, the knowability problem and the statability problem. I argue that despite successfully evading these problems, Freitag’s minimalistic reading saddles EC with several other serious problems and should be rejected. I conclude by offering my own resolution to the problems. (shrink)

The knowledge norm of assertion is mainly in competition with a high probability or rational credibility norm. The argument for the knowledge norm that I offer turns on cases in which a hearer responds to a speaker's assertion by asserting another sentence that would lower the probability of the speaker's assertion, were its probability less than one. In cases like this, though with qualifications, is the hearer's contribution a challenge to the speaker's assertion or complementary to it? My answer is (...) the latter, and that only the knowledge norm yields that answer.The cases that I rely on follow from an elementary probability relation, though one that is inconsistent with the still influential relevance criterion for confirmation and evidence . Assume, for illustrative purposes, that p is in your belief corpus, as a consequence of your believing ∨ ∨ . 1 You learn that ∼ & ∼ , which would lessen the probability of p, were its probability less than one, 2 since it eliminates two rows of the truth-table in which p holds. What conclusion do you reach about p?Rather than withdrawing p, you acquire the belief that p & ∼ s & ∼ r, even though Formula where pr would be the subjective or epistemic probability of p on a probabilistic view of the knowledge norm before learning ∼ & ∼ . Instead of withdrawal …. (shrink)

This paper considers the ways that Information Ethics (IE) treats things. A number of critics have focused on IE’s move away from anthropocentrism to include non-humans on an equal basis in moral thinking. I enlist Actor Network Theory, Dennett’s views on ‹as if’ intentionality and Magnani’s characterization of ‹moral mediators’. Although they demonstrate different philosophical pedigrees, I argue that these three theories can be pressed into service in defence of IE’s treatment of things. Indeed the support they lend to the (...) extension of moral status to non-human objects can be seen as part of a trend towards the accommodation of non-humans into our moral and social networks. A number of parallels are drawn between philosophical arguments over artificial intelligence and information ethics. (shrink)

There are passages in Kant’s writings according to which empirical intuitions have to be (a) singular, (b) object-dependent, and (c) immediate. It has also been argued that empirical intuitions (d) are not truth-apt, and (e) need to provide the subject with a proof of the possibility of the cognized object. Having relied on one or another of the a-e constraints, the naïve realist readers of Kant have argued that it is not possible for empirical intuitions to be representations. Instead they (...) have argued for a relationalist reading of empirical intuitions in terms of an acquaintance relation between the subject and the intuited object. -/- For the sake of argument, I will grant the naïve realist reader of Kant that empirical intuitions should satisfy all the a-e constraints. Nevertheless, by incorporating these constraints, one by one, into a representationalist theory of empirical intuitions, I will show that not only doesn’t a naïve realist reading of empirical intuitions follow, but also that the naïve realist has hastily overlooked a range of perfectly representationalist readings of intuitions available to Kant and his representationalist allies. On the positive side, I will argue that there is an extra constraint on intuitions—i.e., that givenness does not require presence to consciousness—that directly goes against any naïve realist account of intuitions. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

In this paper, I argue against recent versions of justification norms of action and practical deliberation . I demonstrate that these norms yield unacceptable results in deception cases. However, a further modification of justification norms in the light of these results appears to be ad hoc. Hence, I claim, we should reject justification norms of action and practical deliberation.

Evidentialism is the thesis, roughly, that one’s beliefs should fit one’s evidence. The enkratic principle is the thesis, roughly, that one’s beliefs should "line up" with one’s beliefs about which beliefs one ought to have. While both theses have seemed attractive to many, they jointly entail the controversial thesis that self-misleading evidence is impossible. That is to say, if evidentialism and the enkratic principle are both true, one’s evidence cannot support certain false beliefs about which beliefs one’s evidence supports. Recently, (...) a number of epistemologists have challenged the thesis that self-misleading evidence is impossible on the grounds that misleading higher-order evidence does not have the kind of strong and systematic defeating force that would be needed to rule out the possibility of such self-misleading evidence. Here I respond to this challenge by proposing an account of higher-order defeat that does, indeed, render self-misleading evidence impossible. Central to the proposal is the idea that higher-order evidence acquires its normative force by influencing which conditional beliefs it is rational to have. What emerges, I argue, is an independently plausible view of higher-order evidence, which has the additional benefit of allowing us to reconcile evidentialism with the enkratic principle. (shrink)

This dissertation concerns the foundations of epistemic modality. 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

I take issue with Robert Brandom’s claim that on an analysis of knowledge based on objective probabilities it is not possible to provide a stable answer to the question whether a belief has the status of knowledge. I argue that the version of the problem of generality developed by Brandom doesn’t undermine a truth-tracking account of noninferential knowledge that construes truth-tacking in terms of conditional probabilities. I then consider Sherrilyn Roush’s claim that an account of knowledge based on probabilistic tracking (...) faces a version of the problem of generality. I argue that the problems she raises are specific to her account, and do not affect the version of the view that I have advanced. I then consider Brandom’s argument that the cases that motivate reliabilist epistemologies are in principle exceptional. I argue that he has failed to make a cogent case for this claim. I close with the suggestion that the representationalist approach to knowledge that I endorse and Brandom rejects is in principle compatible with the kind of pragmatist approach to belief and truth that both Brandom and I endorse. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

Abstract: According to deflationism, grasp of the concept of truth consists in nothing more than a disposition to accept a priori (non-paradoxical) instances of the schema:(DS) It is true that p if and only if p.According to contextualism, the same expression with the same meaning might, on different occasions of use, express different propositions bearing different truth-conditions (where this does not result from indexicality and the like). On this view, what is expressed in an utterance depends in a non-negligible way (...) on the circumstances. Charles Travis claims that contextualism shows that ‘deflationism is a mistake’, that truth is a more substantive notion than deflationism allows. In this paper, I examine Travis's arguments in support of this ‘inflationary’ claim and argue that they are unsuccessful. (shrink)

In this paper I investigate the epistemic implications of a recent theory of religious cognition that draws on predictive coding. The theory argues that certain experiences are heavily shaped by a subject’s prior (religious) beliefs and thereby makes religious believers prone to detect invisible agents. The theory is an update of older theories of religious cognition but departs from them in crucial ways. I will assess the epistemic implications by reformulating existing arguments based on other (older) theories of religious cognition.

I consider a serious objection to the knowledge account of assertion and develop a response. In the process I introduce important new data on prompting assertion, which all theorists working in the area should take note of.

John McDowell has recently changed his line of response to philosophical scepticism about the external world. He now claims to be in a position to use the strategy of transcendental argumentation in order to show the falsity of the sceptic’s misrepresentation of our ordinary epistemic standpoint. Since this transcendental argument begins from a weak and widely shared assumption shared with the sceptic herself the falsity of external world scepticism is now demonstrable even to her. Building on the account of perceptual (...) intentionality defended in the Woodbridge lectures, McDowell argues that the idea of narrow perceptual content is unavailable to anyone, including the sceptic. This argument is assessed by drawing out an analogy with parallel responses to error theories in ethics. (shrink)

Aristotle, Dignāga, Descartes, Arnauld, Locke, Brentano, Sartre and many others are right about the nature of conscious awareness: all such awareness comports—somehow carries within itself—awareness of itself . This is a necessary condition of awareness being awareness at all: no ‘higher-order’ account of what makes conscious states conscious can be correct. But is very paradoxical: it seems to require that awareness be somehow already present, in such a way as to be available to itself as object of awareness, in order (...) to be constituted as awareness in the first place. Can anything relate to itself in this way? Can there be a relation that is necessarily one-term, reflexive, non-logical , concretely realizable, dynamically real, such that its holding is a necessary condition of the existence of the thing it holds of? It helps to consider the thought this very thought is puzzling. Many accept the reality of the kind of awareness of awareness posited in and , and think it must be not only ‘pre-reflective’ and ‘non-positional’, but also irrelational or non-intentional. But perhaps such awareness of awareness can be fully relational and fully intentional, and can be legitimately said to be its own object or content, even while being pre-reflective and non-positional. (shrink)

Demonstratives have different semantic values relative to different contexts of utterance. But it is surprisingly difficult to describe the function from contexts to contents which determines the semantic value of a given use of a demonstrative. It is very natural to think that the intentions of the speaker should play a significant role here. The aim of this paper is to discuss a pair of problems that arise for views which give intentions this central role in explaining the characters of (...) demonstratives. As will emerge, these problems lead quickly to a foundational question about the semantics of demonstratives and many other context-sensitive expressions: the question of whether, in explaining their characters, we need to understand them as sensitive, not just to facts about the psychology of the speaker of the context, but also to facts about the audience of the context. I critically examine Jeffrey King’s theory of demonstratives, which answers this question in the affirmative, and argue that it ultimately collapses into a purely speaker-based view of the character of demonstratives. I then show how to develop a much simpler speaker-based theory which both handles all of the cases handled by King’s theory and avoids some of the more serious problems which King’s theory faces. Towards the end I consider how we might solve the very difficult problems which result from cases in which speakers use demonstratives with conflicting referential intentions. (shrink)

A self-ascription is a thought or sentence in which a predicate is self-consciously ascribed to oneself. Self-ascriptions are best expressed using the first-person pronoun. Mental self-ascriptions are ascriptions to oneself of mental predicates (predicates that designate mental properties), non-mental self-ascriptions are ascriptions to oneself of non-mental predicates (predicates that designate non-mental properties). It is often claimed that there is a range of self-ascriptions that are immune to error through misidentification relative to the first-person pronoun (IEM for short). What this means, (...) and exactly which self-ascriptions are properly classed as IEM, is a topic hotly disputed. Some claim that only mental self-ascriptions are IEM, others claim that some non-mental self-ascriptions are IEM. Before this question can be decided, it needs to be judged exactly what it means to say that a self-ascription is IEM. And here we stumble across the fact that there are, at least, two non-equivalent ways of defining the phenomenon1. I will be claiming that one of these definitions should be rejected. (shrink)