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)

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)

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 essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (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)

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.

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)

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)

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)

According to the JUSTIFIED FAIR COINS principle, if I know that a coin is fair, and I lack justification for believing that it won’t be flipped, then I lack justification for believing that it won’t land tails. What this principle says, in effect, is that the only way to have justification for believing that a fair coin won’t land tails, is by having justification for believing that it won’t be flipped at all. Although this seems a plausible and innocuous principle, (...) in a recent paper Dorr, Goodman and Hawthorne use it in devising an intriguing puzzle which places all justified beliefs about the future in jeopardy. They point out, further, that one very widespread theory of justification predicts that JUSTIFIED FAIR COINS is false, giving us additional reason to reject it. In this paper, I will attempt to turn this dialectic around. I will argue that JUSTIFIED FAIR COINS does not inevitably lead to scepticism about the future, and the fact that it is incompatible with a widespread theory of justifi... (shrink)

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.

I begin by describing the solution to the problem of skepticism propounded by contextualists, which constitutes the background of the rest of the paper. I then address the question of what happens when a skeptic and a non-skeptic are confronted in dialogue to the standards in play for correct knowledge ascription, on the assumption that contextualism about knowledge is right. I argue against Keith DeRose that there are reasons, both intuitive and theoretical, to conclude that the standards will be raised (...) in such a way as to make the skeptic’s denials of knowledge true. Next, I argue, again against DeRose, for the claim that that conclusion has significant theoretical consequences. In particular, I argue that, if the standards do tend to rise, then there is a serious problem for contextualist answers to skepticism. The problem, which is sometimes called the factivity problem, is that the contextualist position is not possible to state properly unless we know in the theoretical context that skeptical hypotheses do not hold. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

This article explores the relationship between pragmatic encroachment and epistemic permissiveness. If the suggestion that all epistemic notions are interest-relative is viable , then it seems that a certain species of epistemic permissivism must be viable as well. For, if all epistemic notions are interest relative then, sometimes, parties in paradigmatic cases of shared evidence can be maximally rational in forming competing basic doxastic attitudes towards the same proposition. However, I argue that this total pragmatic encroachment is not tenable, and, (...) thus, epistemic permissivism cannot be vindicated in this way. (shrink)

This paper challenges Bird’s view that scientific progress should be understood in terms of knowledge, by arguing that unjustified scientific beliefs (and/or changes in belief) may nevertheless be progressive. It also argues that false beliefs may promote progress.

On a widely held view, the canonical way to make sense of intentional actions is to invoke the agent's ‘motivating reasons’, where the claim that X did A for some ‘motivating reason’ is taken to be neutral on whether X had a normative reason to do A. In this paper, I explore a challenge to this view, drawing on Anscombe's ‘second-personal’ approach to the nature of action explanation.

[full article, abstract in English; abstract in Lithuanian] Fred Dretske motivates his denial of epistemic closure by way of the thought that the warrant for the premises of a valid argument need not transfer to the argument’s conclusion. The failure-of-transfer-of-warrant strategy has also been used by advocates of epistemic closure as a foil to Michael McKinsey’s argument against the compatibility of first person authority and semantic externalism, and also to illuminate, more generally, why certain valid arguments appear ill-suited for the (...) purpose of establishing their conclusions. This paper takes re-examines some of the central attempts to explain transmission-failure, and a central line of objection to the strategy from Begging-the-Question theorists. The ultimate goal of this paper is to promote a decidedly Dretskean explanation of the unpersuasiveness of the said arguments. (shrink)

1. Quassim Cassam's subtle book, The Possibility of Knowledge, 1 contains many insights. My goal here is not to attempt to give a sense of all that this book has to offer – which I suspect would be foolhardy in the extreme – but rather to explore one particular central theme of this book that I find especially interesting – viz. the application of the ‘multi-level’ response to ‘how possible?’ questions that Cassam offers to the problem of radical scepticism.2. A (...) central contention of Cassam's book is that we should re-cast sceptical problems in terms of ‘how possible?’ questions. Although it is not a sceptical problem that Cassam examines himself , consider how this re-casting would work as regards the problem of free will. The relevant ‘how possible?’ question would be: " How is free will possible?" There are two features of ‘how possible?’ questions that are important for our purposes. The first is that they are by their nature challenging in that they imply that there is a standing obstacle to the possibility in question. In the case of , this obstacle is the familiar one concerning determinism. The second is that they do not presuppose that the target thing – in this case free will – is impossible; rather, they simply ask how such a thing could be possible.These two features of ‘how possible?’ questions impose constraints on what would constitute a satisfactory response to such a question. On the one hand, it would clearly be pointless to respond to such a question by simply insisting – on the basis of commonsense, say – that the target thing is possible, since the question was not suggesting …. (shrink)

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

We propose a Bayesian framework for the attribution of knowledge, and apply this framework to generate novel predictions about knowledge attribution for different types of “Gettier cases”, in which an agent is led to a justified true belief yet has made erroneous assumptions. We tested these predictions using a paradigm based on semantic integration. We coded the frequencies with which participants falsely recalled the word “thought” as “knew” (or a near synonym), yielding an implicit measure of conceptual activation. Our experiments (...) confirmed the predictions of our Bayesian account of knowledge attribution across three experiments. We found that Gettier cases due to counterfeit objects were not treated as knowledge (Experiment 1), but those due to intentionally-replaced evidence were (Experiment 2). Our findings are not well explained by an alternative account focused only on luck, because accidentally-replaced evidence activated the knowledge concept more strongly than did similar false belief cases (Experiment 3). We observed a consistent pattern of results across a number of different vignettes that varied the quality and type of evidence available to agents, the relative stakes involved, and surface details of content. Accordingly, the present findings establish basic phenomena surrounding people’s knowledge attributions in Gettier cases, and provide explanations of these phenomena within a Bayesian framework. (shrink)

I clarify some ambiguities in blame-talk and argue that blame's potential for irrationality and propensity to sting vitiates accounts of blame that identify it with consciously accessible, personal-level judgements or beliefs. Drawing on the cognitive psychology of emotion and appraisal theory, I develop an account of blame that accommodates these features. I suggest that blame consists in a range of hostile, negative first-order emotions, towards which the blamer has a specific, accompanying second-order attitude, namely, a feeling of entitlement—a feeling that (...) these hostile, negative first-order emotions are what the blamed object deserves. (shrink)

Transmission views of testimony hold that a speaker's knowledge or justification can become the audience's knowledge or justification. We argue that transmission views are incompatible with the hypothesis that one's epistemic state, together with one's practical circumstances, determines what actions are rationally permissible for an agent. We argue that there are cases where, if the speaker's epistemic state were transmitted to the audience, then the audience would be warranted in acting in particular ways. Yet, the audience in these cases is (...) not so warranted, as their strength of justification does not come close to the speaker's. (shrink)

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)

The Significance Argument (SA) for the irreducibility of consciousness is based on a series of new puzzle-cases that I call multiple candidate cases. In these cases, there is a multiplicity of physical-functional properties or relations that are candidates to be identified with the sensible qualities and our consciousness of them, where those candidates are not significantly different. I will argue that these cases show that reductive materialists cannot accommodate the various ways in which consciousness is significant and must allow massive (...) vagueness in conscious experience. I also will argue that a nonreductive theory of the conscious-of relation can easily provide a very satisfying, unified explanation of the ways in which this relation is significant. (shrink)

Externalists in epistemology often reject the KK principle – which says that if a person knows that p, then they know that they know that p. This paper argues that one standard argument against the KK principle that many externalists make is fallacious, as it involves illicit substitution into an intensional context. The fallacy is exposed and discussed.

Bayesians since Savage (1972) have appealed to asymptotic results to counter charges of excessive subjectivity. Their claim is that objectionable differences in prior probability judgments will vanish as agents learn from evidence, and individual agents will converge to the truth. Glymour (1980), Earman (1992) and others have voiced the complaint that the theorems used to support these claims tell us, not how probabilities updated on evidence will actually}behave in the limit, but merely how Bayesian agents believe they will behave, suggesting (...) that the theorems are too weak to underwrite notions of scientific objectivity and intersubjective agreement. I investigate, in a very general framework, the conditions under which updated probabilities actually converge to a settled opinion and the conditions under which the updated probabilities of two agents actually converge to the same settled opinion. I call this mode of convergence deterministic, and derive results that extend those found in Huttegger (2015b). The results here lead to a simple characterization of deterministic convergence for Bayesian learners and give rise to an interesting argument for what I call strong regularity, the view that probabilities of non-empty events should be bounded away from zero. (shrink)

What epistemic defect needs to show up in a skeptical scenario if it is to effectively target some belief? According to the false belief account, the targeted belief must be false in the skeptical scenario. According to the competing ignorance account, the targeted belief must fall short of being knowledge in the skeptical scenario. This paper argues for two claims. The first is that, contrary to what is often assumed, the ignorance account is superior to the false belief account. The (...) second is that the ignorance account ultimately hobbles the skeptic. It does so for two reasons. First, when this account is joined with either a closure-based skeptical argument or a skeptical underdetermination argument, the best the skeptic can do is show that we don’t know that we know. And second, the ignorance account directly implies the maligned KK principle. (shrink)