Extended Rationality: A Hinge Epistemology provides a novel account of the structure of epistemic justification. Its central claim builds upon Wittgenstein's idea in On Certainty that epistemic justifications hinge on some basic assumptions and that epistemic rationality extends to these very hinges. It exploits these ideas to address major problems in epistemology, such as the nature of perceptual justifications, external world skepticism, epistemic relativism, the epistemic status of basic logical laws, of the Principle of the Uniformity of Nature, of our (...) belief in the existence of the past and of other minds, and the nature of testimonial justification. Along the way, further technical issues, such as the scope of the Principle of Closure of epistemic operators under known entailment, the notion of transmission failure, and the existence of entitlements are addressed in new and illuminating ways. (shrink)

Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is designed (...) to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)

A good surgeon knows how to perform a surgery; a good architect knows how to design a house. We value their know-how. We ordinarily look for it. What makes it so valuable? A natural response is that know-how is valuable because it explains success. A surgeon’s know-how explains their success at performing a surgery. And an architect’s know-how explains their success at designing houses that stand up. We value know-how because of its special explanatory link to success. But in virtue (...) of what is know-how explanatorily linked to success? This essay provides a novel argument for the thesis that know-how’s special link to success is to be explained at least in part in terms of its being, or involving, a doxastic attitude that is epistemically alike propositional knowledge. It is argued that the role played by know-how in explaining intentional success shows that the epistemic differences between know-how and knowledge, if any, are less than usually thought; and that "revisionary intellectualism", the view that know-how is true belief that might well fall short of knowledge, is not really a stable position. If its explanatory link to success is what makes know-how valuable, an upshot of my argument is that the value of know-how is due, to a considerable extent, to its being, or involving, a kind of propositional knowledge. (shrink)

Do the facts of evolution generate an epistemic challenge to moral realism? Some think so, and many “evolutionary debunking arguments” have been discussed in the recent literature. But they are all murky right where it counts most: exactly which epistemic principle is meant to take us from evolutionary considerations to the skeptical conclusion? Here, I will identify several distinct species of evolutionary debunking argument in the literature, each one of which relies on a distinct epistemic principle. Drawing on recent work (...) in epistemology, I will show that most of these initially plausible principles are false, spoiling the arguments that rely on them. And we will see that each argument threatens only one popular view of moral psychology: a “Representationalist” view on which our moral judgments rely crucially on a mental intermediary—e.g. a sentiment, gut reaction, or affect-laden intuition—delivered by our evolved moral faculty. In the end, only one evolutionary debunking argument remains a menace: an “ Argument from Symmetry ” that I will introduce to the literature. But we will see that it should worry only all naturalists, pressuring them into a trilemma: give up moral realism, accept a rationalism that is incongruous with naturalism, or give up naturalism. Non-naturalists are free and clear. (shrink)

I lay out the framework for my theory of sensory imagination in “Imagining as a guide to possibility.” Sensory imagining involves mental imagery , and crucially, in describing the content of imagining, I distinguish between qualitative content and assigned content. Qualitative content derives from the mental image itself; for visual imaginings, it is what is “pictured.” For example, visually imagine the Philadelphia Eagles defeating the Pittsburgh Steelers to win their first Super Bowl. You picture the greenness of the field and (...) the football’s brown oblong shape. Some of what you imagine isn’t explicitly pictured, however. That it is Sunday, that it is the Super Bowl: these facts are assigned. (shrink)

I argue for a theory that combines elements of reliabilism and evidentialism.

Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, any updating (...) rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (shrink)

How should intellectualists respond to apparent Gettier-style counterexamples? Stanley offers an orthodox response which rejects the claim that the subjects in such scenarios possess knowledge-how. I argue that intellectualists should embrace a revisionary response according to which knowledge-how is a distinctively practical species of knowledge-that that is compatible with Gettier-style luck.

It has been argued recently that dogmatism in epistemology is incompatible with Bayesianism. That is, it has been argued that dogmatism cannot be modelled using traditional techniques for Bayesian modelling. I argue that our response to this should not be to throw out dogmatism, but to develop better modelling techniques. I sketch a model for formal learning in which an agent can discover a posteriori fundamental epistemic connections. In this model, there is no formal objection to dogmatism.

Experimental restrictionists have challenged philosophers’ reliance on intuitions about thought experiment cases based on experimental findings. According to the expertise defense, only the intuitions of philosophical experts count—yet the bulk of experimental philosophy consists in studies with lay people. In this paper, we argue that direct strategies for assessing the expertise defense are preferable to indirect strategies. A direct argument in support of the expertise defense would have to show: first, that there is a significant difference between expert and lay (...) intuitions; second, that expert intuitions are superior to lay intuitions; and third, that expert intuitions accord with the relevant philosophical consensus. At present, there is only little experimental evidence that bears on these issues. To advance the debate, we conducted two new experiments on intuitions about knowledge with experts and lay people. Our results suggest that the intuitions of epistemological experts are superior in some respects, but they also pose an unexpected challenge to the expertise defense. Most strikingly, we found that even epistemological experts tend to ascribe knowledge in fake-barn-style cases. This suggests that philosophy, as a discipline, might fail to adequately map the intuitions of its expert practitioners onto a disciplinary consensus. (shrink)

Here we challenge the orthodoxy according to which abduction is an a posteriori mode of inference. We start by providing a case study illustrating how abduction can justify a philosophical claim not justifiable by empirical evidence alone. While many grant abduction's epistemic value, nearly all assume that abductive justification is a posteriori, on grounds that our belief in abduction's epistemic value depends on empirical evidence about how the world contingently is. Contra this assumption, we argue, first, that our belief in (...) abduction’s epistemic value is not and could not be justified a posteriori, and second, that attention to the roles experience plays in abductive justification supports taking abduction to be an a priori mode of inference. We close by highlighting how our strategy for establishing the a priority of abduction positively contrasts with strategies in Bonjour (1998), Swinburne (2001), and Peacocke (2004) aiming to establish the a priority of certain ampliative modes of inference or abductive principles. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

A lot of good philosophy is done in the armchair, but is nevertheless a posteriori. This paper clarifies and then defends that claim. Among the a posteriori activities done in the armchair are assembling and evaluating commonplaces; formulating theoretical alternatives; and integrating well-known past a posteriori discoveries. The activity that receives the most discussion, however, is the application of theoretical virtues to choose philosophical theories: the paper argues that much of this is properly seen as a posteriori.

We have several intuitive paradigms of defeating evidence. For example, let E be the fact that Ernie tells me that the notorious pet Precious is a bird. This supports the premise F, that Precious can fly. However, Orna gives me *opposing* evidence. She says that Precious is a dog. Alternatively, defeating evidence might not oppose Ernie's testimony in that direct way. There might be other ways for it to weaken the support that Ernie's testimony gives me for believing F, without (...) the new evidence itself intuitively constituting reasons to believe one way or the other about Precious's flight ability. An example: Ursula tells me that Ernie has no idea what Precious's species is; he's just guessing. She may not herself want to or be in a position to weigh in about Precious's real species or flight ability. I call defeating evidence of this sort *undermining evidence. (shrink)

William James famously tells us that there are two main goals for rational believers: believing truth and avoiding error. I argues that epistemic consequentialism—in particular its embodiment in epistemic utility theory—seems to be well positioned to explain how epistemic agents might permissibly weight these goals differently and adopt different credences as a result. After all, practical versions of consequentialism render it permissible for agents with different goals to act differently in the same situation. -/- Nevertheless, I argue that epistemic consequentialism (...) doesn’t allow for this kind of permissivism and goes on to argue that this reveals a deep disanalogy between decision theory and the formally similar epistemic utility theory. This raises the question whether epistemic utility theory is a genuinely consequentialist theory at all. (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.

There is an ever-growing literature on what exactly the condition or criterion is that enables some (but not all) debunking arguments to undermine our beliefs. In this paper, I develop a novel schema for debunking argumentation, arguing that debunking arguments generally have a simple and valid form, but that whether or not they are sound depends on the particular aetiological explanation which the debunker provides in order to motivate acceptance of the individual premises. The schema has three unique features: (1) (...) it satisfies important desiderata for what any acceptable account of debunking would have to look like; (2) it is consistent with the inductively supported claim that there is no special debunking principle; and (3) it coheres with the plausible claim that what makes debunking arguments unique is that they rely on so-called genealogies for the justification of their premises. (shrink)

The distinction between the a priori and the a posteriori is an old and influential one. But both the distinction itself and the crucial notion of a priori knowledge face powerful philosophical challenges. Many philosophers worry that accepting the a priori is tantamount to accepting epistemic magic. In contrast, this Element argues that the a priori can be formulated clearly, made respectable, and used to do important epistemological work. The author's conception of the a priori and its role falls short (...) of what some historical proponents of the notion may have hoped for, but it allows us to accept and use the notion without abandoning either naturalism or empiricism, broadly understood. This Element argues that we can accept and use the a priori without magic. (shrink)

This paper explores the problems that are raised by a certain traditional sceptical paradox. The conclusion will be that the most challenging problem raised by this paradox does not primarily concern the justification of beliefs; it concerns the justification of belief-forming practices. This conclusion is supported by showing that if we can solve the sceptical problem for belief-forming practices, then it will be a relatively straightforward matter to solve the problem that concerns the justification of beliefs.

In Chapter 3 of Judgment and Agency, Ernest Sosa (2015) explicates the concept of a fully apt performance. In the course of doing so, he draws from illustrative examples of practical performances and applies lessons drawn to the case of cognitive performances, and in particular, to the cog- nitive performance of judging. Sosa's examples in the practical sphere are rich and instructive. But there is, I will argue, an interesting disanalogy between the practical and cognitive examples he relies on. Ultimately, (...) I think the source of the disanalogy is a problematic picture of the cogni- tive performance of guessing and its connection to knowledge and defeat. Once this critical line of argument is advanced, an alternative picture of guessing, qua cognitive performance, is articulated, one which avoids the problems discussed, and yet remains compatible with Sosa's broader framework. (shrink)

Can a belief source confer justification when we lack antecedent justification for believing that it’s reliable? A negative answer quickly leads to skepticism. A positive answer, however, seems to commit one to allowing pernicious reasoning known as “epistemic bootstrapping.” Puzzles surrounding bootstrapping arise because we illicitly assume either that justification requires doxastic awareness of a source’s epistemic credentials or that there is no requirement that a subject be aware of these credentials. We can resolve the puzzle by splitting the horns (...) and requiring a non-conceptual awareness of, or direct acquaintance with, a source’s legitimacy. Requiring non-conceptual as opposed to doxastic awareness halts the regress and avoids the skeptical results. On the other hand, requiring non-conceptual awareness also guarantees that we are aware of evidence for a source’s reliability prior to using that source to form justified beliefs; we thereby avoid the problem of allowing epistemic bootstrapping to generate the illicit gains in justification. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

According to epistemological disjunctivism (ED), in paradigmatic cases of perceptual knowledge, a subject, S, has perceptual knowledge that p in virtue of being in possession of reasons for her belief that p which are both factive and reflectively accessible to S. It has been argued that ED is better placed than both knowledge internalism and knowledge externalism to undercut underdetermination-based skepticism. I identify several principles that must be true if ED is to be uniquely placed to attain this goal. After (...) that, I use those principles to formulate a diachronic skeptical argument. This argument yields the counterintuitive conclusion that understanding a global skeptical hypothesis is all it takes for a rational subject to lose all her perceptual knowledge of the world. Next, I show that a popular Austinian move must reject one or another of the principles that underlie ED. I close by delineating a novel strategy that can block the diachronic skeptical argument while preserving all the principles. The key idea is that perceptual knowledge is grounded in primitive, perceptual and recognitional abilities. This view sheds new light on some puzzling features of global skepticism that have been noted by Descartes and Hume, among others. (shrink)

Modal knowledge accounts like sensitivity or safety face a problem when it comes to knowing propositions that are necessarily true because the modal condition is always fulfilled no matter how random the belief forming method is. Pritchard models the anti-luck condition for knowledge in terms of the modal principle safety. Thus, his anti-luck epistemology faces the same problem when it comes to logical necessities. Any belief in a proposition that is necessarily true fulfills the anti-luck condition and, therefore, qualifies as (...) knowledge. Miščević shares Pritchard’s take on epistemic luck and acknowledges the resulting problem. In his intriguing article “Armchair Luck: Apriority, Intellection and Epistemic Luck” Miščević suggests solving the problem by supplementing safety with a virtue theoretic condition-“agent stability”-which he also spells out in modal terms. I will argue that Miščević is on the right track when he suggests adding a virtue-theoretic component to the safety condition. However, it should not be specified modally but rather in terms of performances that manifest competences. (shrink)

: Psychological explanations of philosophical intuitions can help us assess their evidentiary value, and our warrant for accepting them. To explain and assess conceptual or classificatory intuitions about specific situations, some philosophers have suggested explanations which invoke heuristic rules proposed by cognitive psychologists. The present paper extends this approach of intuition assessment by heuristics-based explanation, in two ways: It motivates the proposal of a new heuristic, and shows that this metaphor heuristic helps explain important but neglected intuitions: general factual intuitions (...) which have been highly influential in the philosophies of mind and perception but neglected in on-going debates in the epistemology of philosophy. To do so, the paper integrates results from three philosophically pertinent but hitherto largely unconnected strands of psychological research: research on intuitive judgement, analogy and metaphor, and memory-based processing, respectively. The paper shows that the heuristics-based explanation thus obtained satisfies the key requirements cognitive psychologists impose on such explanations, that it can explain the philosophical intuitions targeted, and that this explanation supports normative assessment of the intuitions' evidentiary value: It reveals whether particular intuitions are due to proper exercise of cognitive competencies or constitute cognitive illusions. (shrink)

How should modal reasoning proceed? Here we compare abduction-based and conceiving-based modal epistemologies, and argue that an abduction-based approach is preferable, and by a wide margin.

According to a doctrine that I call “Cartesianism”, knowledge – at least the sort of knowledge that inquirers possess – requires having a reason for belief that is reflectively accessible as such. I show that Cartesianism, in conjunction with some plausible and widely accepted principles, entails the negation of a popular version of Fallibilism. I then defend the resulting Cartesian Infallibilist position against popular objections. My conclusion is that if Cartesianism is true, then Descartes was right about this much: for (...) S to know that p, S must have reasons for believing that p which are such that S can know, by reflection alone, that she has those reasons, and that she could not possibly have those reasons if p is not true. Where Descartes went wrong was in thinking that our ordinary, fallible, non-theologically grounded sources of belief (e.g., perception, memory, testimony), cannot provide us with such reasons. (shrink)

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...) way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of abduction is (...) (and, indeed, must be) a posteriori. In past work, however, we have argued that this common supposition is incorrect: abduction is an a priori mode of inference, in the sense that the epistemic value of abduction is (and indeed, must be) a priori (Biggs and Wilson 2017a, 2017b, 2019). After sketching our two main argumentative strategies for this conclusion (S2), we go on (S3) to consider its import on the proper understanding of anti-exceptionalism about logic. (shrink)

Suppose that knowledge and ignorance are complements in the sense of being mutually exclusive: for person S and fact p, either S knows that p or is ignorant that p. Understood in this way, ignorance amounts to a lack or absence of knowledge: S is ignorant that p if and only if it is not the case that S knows that p. Let us call the thesis that knowledge and ignorance are opposites the “Complement Thesis”. In this article, I discuss (...) its deployment in an ingenious new argument advanced by Alvin Goldman and Erik Olsson (2009) which, if sound, establishes that there is a kind of knowledge that amounts to nothing more than true belief. I rebut their argument and in doing so delineate some important epistemological lessons brought to light by the contrast between ignorance and knowledge. (shrink)

The evidential role of experience in justifying beliefs has been at the center of debate in philosophy in recent years. One view is that experience, or seeming, can confer immediate justification on belief in virtue of its representational phenomenology. Call this view “representational dogmatism.” Another view is that experience confers immediate justification on belief in virtue of its relational phenomenology. Call this view “relational dogmatism.” The goal of this paper is to pit these two versions of dogmatism against each other (...) in terms of their ability to account for ampliative, or non-deductive, inferential justification. I will argue that only the representational view can provide a plausible account of this type of justification. (shrink)

How is moral knowledge possible? This paper defends the anti-Humean thesis that we can acquire moral knowledge by deduction from wholly non-moral premises. According to Hume’s Law, as it has become known, we cannot deduce an ‘ought’ from an ‘is’, since it is “altogether inconceivable how this new relation can be a deduction from others, which are entirely different from it” (Hume, 1739, 3.1.1). This paper explores the prospects for a deductive theory of moral knowledge that rejects Hume’s Law.

Timothy Williamson (1992, 224–5) and Ernest Sosa (1996) have ar- gued that knowledge requires one to be safe from error. Something is said to be safe from happening iff it does not happen at “close” worlds. I expand here on a puzzle noted by John Hawthorne (2004, 56n) that suggests the need for two notions of closeness. Counterfac- tual closeness is a matter of what could in fact have happened, given the specific circumstances at hand. The notion is involved in (...) the semantics for counterfactuals and is the one epistemologists have typically assumed. Normalized closeness is rather a matter of what could typically have happened, that is, what would go on in a class of normal alternatives to actuality, irrespectively of whether or not they could have happened in the circumstances at hand. (shrink)

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

According to the extended knowledge account of assertion, we should only assert and act on what we know. Call this the ‘Knowledge Norm’. Because moral and prudential rules prohibit morally and prudentially unacceptable actions and assertions, they can, familiarly, override the Knowledge Norm. This, however, raises the question of whether other epistemic norms, too, can override the Knowledge Norm. The present chapter offers an affirmative answer to this question and then argues that the Knowledge Norm is derived from a more (...) fundamental norm that demands that we do not hinder intellectual flourishing. As the fundamental epistemic norm can come into conflict with the Knowledge Norm, it is sometimes permissible to assert and act on what we don’t know. The chapter concludes with a discussion of the consequences of this insight for the extended knowledge account of assertion. (shrink)

(revisions posted 12/5/2006) to appear in Internalism and Externalism in Semantics and Epistemology, ed. by Sanford Goldberg (to be published by Oxford in 2006 or 2007) Michael McKinsey formulated an argument that raises a puzzle about the relation between externalism about content and our introspective awareness of content. The puzzle goes like this: it seems like I can know the contents of my thoughts by introspection alone; but philosophical reflection tells me that the contents of those thoughts are externalist, and (...) so I couldn. (shrink)

We use the normality framework of Goodman and Salow (2018, 2021, 2023b) to investigate of dynamics of rational belief. The guiding idea is that people are entitled to believe that their circumstances aren’t especially abnormal. More precisely, a rational agent’s beliefs rule out all and only those possibilities that are either (i) ruled out by their evidence or (ii) sufficiently less normal than some other possibility not ruled out by their evidence. Working within this framework, we argue that the logic (...) of rational belief revision is much weaker than is usually supposed. We do so by isolating a natural family of orthodox principles about belief revision, describing realistic cases in which these principles seem to fail, and showing how these counterexamples are predicted by independently motivated models of the cases in question. In these models, whether one evidential possibility counts as sufficiently less normal than another is determined by underlying probabilities (together with a contextually determined question). We argue that the resulting probabilistic account of belief compares favorably with other such accounts, including Lockeanism (Foley, 1993), a ‘stability’ account inspired by Leitgeb (2017), the ‘tracking theory’ of Lin and Kelly (2012), and the influential precursor of Levi (1967). We show that all of these accounts yield subtly different but similarly heterodox logics of belief revision. (shrink)

Applying good inductive rules inside the scope of suppositions leads to implausible results. I argue it is a mistake to think that inductive rules of inference behave anything like 'inference rules' in natural deduction systems. And this implies that it isn't always true that good arguments can be run 'off-line' to gain a priori knowledge of conditional conclusions.

I argue that beliefs that are true whenever held-like I exist, I am thinking about myself, and (in an object-dependent framework) Jack = Jack-needn't on that account be a priori. It does however seem possible to remove the existential commitment from the last example, to get a belief that is knowable a priori. I discuss some difficulties concerning how to do that.

In this paper I will draw attention to an important route to external world skepticism, which I will call confidence skepticism. I will argue that we can defang confidence skepticism (though not a meeker ‘argument from might’ which has got some attention in the 20th century literature on external world skepticism) by adopting a partially psychologistic answer to the problem of priors. And I will argue that certain recent work in the epistemology of mathematics and logic provides independent support for (...) such psychologism. (shrink)