Does ‘remembering that p’ entail ‘knowing that p’? The widely-accepted epistemic theory of memory answers affirmatively. This paper purports to reveal the tension between ETM and the prevailing anti-luck epistemology. Central to my argument is the fact that we often ‘vaguely remember’ a fact, of which one plausible interpretation is that our true memory-based beliefs formed in this way could easily have been false. Drawing on prominent theories of misremembering in philosophy of psychology, I will construct cases where the subject (...) vaguely remembers that p while fails to meet the safety condition, which imply either that ETM is false or that safety is unnecessary for knowledge. The conclusion reached in this paper will be a conditional: if veritic epistemic luck is incompatible with knowledge, then ‘remembering that p’ does not entail ‘knowing that p’. (shrink)

One diagnosis of Fitch’s paradox of knowability is that it hinges on the factivity of knowledge: that which is known is true. Yet the apparent role of factivity and non-factive analogues in related paradoxes of justified belief can be shown to depend on familiar consistency and positive introspection principles. Rejecting arguments that the paradox hangs on an implausible consistency principle, this paper argues instead that the Fitch phenomenon is generated both in epistemic logic and logics of justification by the interaction (...) of analogues of the knowability principle and positive introspection theses that are characteristic of, even if not entailed by, epistemic internalism. (shrink)

The view that the subject matter of epistemology is the concept of knowledge is faced with the problem that all attempts so far to define that concept are subject to counterexamples. As an alternative, this article argues that the subject matter of epistemology is knowledge itself rather than the concept of knowledge. Moreover, knowledge is not merely a state of mind but rather a certain kind of response to the environment that is essential for survival. In this perspective, the article (...) outlines an answer to four basic questions about knowledge: What is the role of knowledge in human life? What is the relation between knowledge and reality? How is knowledge acquired? Is there any a priori knowledge? (shrink)

Empiricist theories of knowledge are attractive for they offer the prospect of a unitary theory of knowledge based on relatively well understood physiological and cognitive processes. Mathematical knowledge, however, has been a traditional stumbling block for such theories. There are three primary features of mathematical knowledge which have led epistemologists to the conclusion that it cannot be accommodated within an empiricist framework: 1) mathematical propositions appear to be immune from empirical disconfirmation; 2) mathematical propositions appear to be known with certainty; (...) and 3) mathematical propositions are necessary. Epistemologists who believe that some nonmathematical propositions, such as logical or ethical propositions, cannot be known a posteriori also typically appeal to the three factors cited above in defending their position. The primary purpose of this paper is to examine whether any of these alleged features of mathematical propositions establishes that knowledge of such propositions cannot be a posteriori. (shrink)

E. J. Lowe offers an account of modal knowledge that involves two primary theses. First, the basis of modal knowledge is essential knowledge, and the source of essential knowledge is grasp of essence. Second, all empirical knowledge ultimately depends on some modal knowledge. This article assesses Lowe’s account and defends four conclusions. First, there is a tension in Lowe’s account of grasp of essence; it wavers between an undemanding version, which holds that grasp of essence requires no more than our (...) ordinary understanding of propositions, and a more demanding version, which holds that it requires rational insight into necessary relationships between essences. Second, both versions face serious challenges. Third, Lowe’s account of knowledge of essence does not provide a basis for modal knowledge. Fourth, Lowe’s supporting argument for his second thesis contains two significant gaps and the principles necessary to close the gaps reveal further tensions in his epistemological views. (shrink)

Research questions in mainstream epistemology often take for granted a cognitive internalist picture of the mind. Perhaps this is unsurprising given the seemingly safe presumptions that knowledge entails belief and that the kind of belief that knowledge entails supervenes exclusively on brainbound cognition. It will be argued here that the most plausible version of the entailment thesis holds just that knowledge entails dispositional belief. However, regardless of whether occurrent belief supervenes only as the cognitive internalist permits, we should reject the (...) idea that dispositional belief supervenes only in cognitive internalist-friendly ways. These observations, taken together, reveal two things: first, that a cognitive internalist picture of the mind is much more dispensable in epistemology than has been assumed and, second, that pursuing questions in extended epistemology need not involve any radical departure from the commitments of more traditional epistemological projects. (shrink)

According to reductive intellectualism, knowledge-how just is a kind of propositional knowledge (e.g., Stanley & Williamson 2001; Stanley 2011a, 2011b; Brogaard, 2008a, 2008b, 2009, 2011, 2009, 2011). This proposal has proved controversial because knowledge-how and propositional knowledge do not seem to share the same epistemic properties, particularly with regard to epistemic luck. Here we aim to move the argument forward by offering a positive account of knowledge-how. In particular, we propose a new kind of anti-intellectualism. Unlike neo-Rylean anti-intellectualist views, according (...) to which the possession of knowledge-how is just a matter of possessing certain abilities, we submit that knowledge-how is a particular kind of cognitive achievement attained just when cognitive ability is connected in the right way with successful performance. (shrink)

Intentional action is, in some sense, non-accidental, and one common way action theorists have attempted to explain this is with reference to control. The idea, in short, is that intentional action implicates control, and control precludes accidentality. But in virtue of what, exactly, would exercising control over an action suffice to make it non-accidental in whatever sense is required for the action to be intentional? One interesting and prima facie plausible idea that we wish to explore in this paper is (...) that control is non-accidental in virtue of requiring knowledge—either knowledge-that or knowledge-how (e.g., Beddor and Pavese 2021; cf., Setiya 2008; 2012 and Habgood-Coote 2018). We review in detail some key recent work defending such knowledge-centric theories of control, and we show that none of these accounts holds water. We conclude with some discussion about how control opposes the sort of luck intentional action excludes without doing so by requiring knowledge (that- or how). (shrink)

I will argue that internalism about justification entails the apparently absurd conclusion that it is possible to know specific facts about the external world—for example, that there is a tree in the quad—on the basis of introspection and a priori reflection. After a brief characterization of internalism (§1), I will set out the problem (§2). I will then discuss three replies: one that denies the form of doxastic voluntarism involved in the problem (§3), one that denies that knowledge of higher-order (...) facts about justification can justify corresponding first-order beliefs (§4), and, finally, one that involves biting the bullet (§5). I will argue that each reply fails. (shrink)

Internalist approaches to epistemic justification are, though controversial, considered a live option in contemporary epistemology. Accordingly, if ‘active’ externalist approaches in the philosophy of mind—e.g. the extended cognition and extended mind theses—are _in principle_ incompatible with internalist approaches to justification in epistemology, then this will be an epistemological strike against, at least the _prima facie_ appeal of, active externalism. It is shown here however that, contrary to pretheoretical intuitions, neither the extended cognition _nor_ the extended mind theses are in principle (...) incompatible with two prominent versions of epistemic internalism—viz., accessibilism and mentalism. In fact, one possible diagnosis is that pretheoretical intuitions regarding the incompatibility of active externalism with epistemic internalism are symptomatic of a tacit yet incorrect identification of epistemic internalism with epistemic individualism. Thus, active externalism is not in principle incompatible with epistemic internalism per se and does not significantly restrict one’s options in epistemology. (shrink)

It is widely accepted in epistemology that knowledge is factive, meaning that only truths can be known. We argue that this theory creates a skeptical challenge: because many of our beliefs are only approximately true, and therefore false, they do not count as knowledge. We consider several responses to this challenge and propose a new one. We propose easing the truth requirement on knowledge to allow approximately true, practically adequate representations to count as knowledge. In addition to addressing the skeptical (...) challenge, this view also coheres with several previous theoretical proposals in epistemology. (shrink)

Nearly all philosophers agree that only true things can be known. But does this principle reflect actual patterns of ordinary usage? Several examples in ordinary language seem to show that ‘know’ is literally used non-factively. By contrast, this paper reports five experiments utilizing explicit paraphrasing tasks, which suggest that non-factive uses are actually not literal. Instead, they are better explained by a phenomenon known as protagonist projection. It is argued that armchair philosophical orthodoxy regarding the truth requirement for knowledge withstands (...) current empirical scrutiny. (shrink)

The perennial question of the nature of natural-language understanding has received renewed attention in recent years. Two kinds of natural-language understanding, in particular, have captivated the interest of philosophers: linguistic understanding and utterance understanding. While the literature is rife with discussions of linguistic understanding and utterance understanding, the question of how the two types of understanding explanatorily depend on each other has received relatively scant attention. Exceptions include the linguistic ability/know-how views of linguistic understanding proposed by Dean Pettit and Brendan (...) Balcerak Jackson. On these views, to tacitly linguistically understand a sentence just is to possess the linguistic ability/knowledge-how needed to derive/infer what is said by different utterances of the sentence. Despite their focus on linguistic understanding, both views can straightforwardly explain utterance understanding as the output of a derivation/inference from a representation of the sentence uttered. Here, I take issue with these approaches to utterance understanding and then develop an alternative. More specifically, I distinguish two kinds of utterance understanding, experiential and doxastic, and then argue that experiences of what is said by utterances play distinct rational roles in the two kinds of utterance understanding. I conclude by addressing a recent challenge to my proposal. (shrink)

The lottery problem is the problem of explaining why mere reflection on the long odds that one will lose the lottery does not yield knowledge that one will lose. More generally, it is the problem of explaining why true beliefs merely formed on the basis of statistical evidence do not amount to knowledge. Some have thought that the lottery problem can be solved by appeal to a violation of the safety principle for knowledge, i.e., the principle that if S knows (...) that p, not easily would S have believed that p without p being the case. Against the standard safety‐based solution, I argue that understanding safe belief as belief that directly covaries with the truth of what is believed in a suitably defined set of possible worlds forces safety theorists to make a series of theoretical choices that ultimately prevent a satisfactory solution to the problem. In this way, I analyze several safety principles that result from such choices—the paper thus gives valuable insights into the nature of safety—and explain why none solves the lottery problem, including their inability to explain away Gettierized lottery cases. On a more positive note, I show that there is a viable solution in terms of safety if we get rid of the unquestioned assumption that safe beliefs directly track the truth. The alternative is a conception of safe belief according to which what safe beliefs directly track is the appropriateness of the circumstances and, indirectly, the truth. The resulting safety principle, I argue, explains why mere statistical evidence is not a safe source of knowledge. (shrink)

The main lesson from Gettier cases is that while one cannot know a proposition by luck, one can hold a lucky true belief justifiedly. Possibly because the latter is taken for granted, the relationship between epistemic justification and epistemic luck has been less discussed. The paper investigates whether luck can undermine doxastic justification, and if so, how and to what extent. It is argued that, as in the case of knowledge, beliefs can fall short of justification due to luck. Moreover, (...) it is argued that justification-undermining luck is a problem for both internalist and externalist conceptions of justification. Accordingly, it is shown that epistemic luck is a more widespread phenomenon than many in epistemology commonly assume. (shrink)

There is currently a lively debate about whether there are practical reasons for belief, epistemic reasons for belief, or both. I will argue that the intuitions on all sides can be fully accounted for by applying an independently motivated contextualist semantics for normative terms. Specifically, normative terms must be relativized to a goal. One possible goal is epistemic, such as believing truly and not believing falsely, while another possible goal is practical, such as satisfying desires, or maximizing value. I will (...) argue that we have practical reasons given the practical goal and epistemic reasons given the epistemic goal. Disagreement disappears when we make the context explicit. The result is an independently motivated version ofpluralism. (shrink)

What does logic tells us how about we ought to reason? If P entails Q, and I believe P, should I believe Q? I will argue that we should embed the issue in an independently motivated contextualist semantics for ‘ought’, with parameters for a standard and set of propositions. With the contextualist machinery in hand, we can defend a strong principle expressing how agents ought to reason while accommodating conflicting intuitions. I then show how our judgments about blame and guidance (...) can be handled by this machinery. (shrink)

Standard epistemology takes it for granted that there is a special kind of value: epistemic value. This claim does not seem to sit well with act utilitarianism, however, since it holds that only welfare is of real value. I first develop a particularly utilitarian sense of “epistemic value”, according to which it is closely analogous to the nature of financial value. I then demonstrate the promise this approach has for two current puzzles in the intersection of epistemology and value theory: (...) first, the problem of why knowledge is better than mere true belief, and second, the relation between epistemic justification and responsibility. (shrink)

The paper introduces a new problem for fallibilist and infallibilist epistemologies – the diachronic threshold problem. As the name suggests, this is a problem similar to the well–known threshold problem for fallibilism. The new problem affects both fallibilism and infallibilism, however. The paper argues that anyone who worries about the well known problem for fallibilism should also worry about this new, diachronic version of the problem.

This paper argues that a necessary condition on inferential knowledge is that one knows all the propositions that knowledge depends on. That is, I will argue in support of a principle I call the Knowledge from Knowledge principle: (KFK) S knows that p via inference or reasoning only if S knows all the propositions on which p depends. KFK meshes well with the natural idea that (at least with respect to deductively valid or induc- tively strong arguments) the epistemic status (...) of one’s belief in the conclusion of an argument is a function of the epistemic status of the attitudes one has to the premises of that argument. One gets what one puts in: S’s belief in the conclusion C of an argument A has epistemic status E for S only if S’s belief in each of the premises C depends on also has epistemic status E.1 This is compatible, of course, with the epistemic status of S’s conclusion being greater than the epistemic status of the premises on which the conclusion of her reasoning depends. Furthermore, even though KFK applies more straightforwardly to non-suppositional inferences, we can also plausibly apply the principle to sup- positional reasoning if we treat S’s assuming for the sake of argument that p,2 as S assuming for the sake of argument that she knows that p.3 Although extremely plausible, philosophers have failed to present a concerted case in support of KFK. Most of their energy goes to articulating and/or defending some form of closure principle for knowledge.4 What is more, recently versions of this principle have been dismissed as problematic but I think without the reasons in its support been fully appreciated. This paper is an e fort to change the current state of affairs. Its focus is positive, however: my goal is to make the best case I can in support of KFK.5 To that end, the paper presents the reasons we have to accept KFK (§1), consid- ers an objection to the principle (§2), and situates the principle in the broader normative context of knowledge norms (§3). (shrink)

John McDowell, Richard Rorty, and Robert Brandom invoke Sellars's arguments against the Myth of the Given as having shown that the Given is nothing more than a myth. But most of Sellars's arguments attack logical atomism, not the framework of givenness as such. Moreover, they do not succeed. At crucial points the arguments confuse the perspectives of a knower and those attributing knowledge to a knower. Only one argument—the “inconsistent triad” argument—addresses the Myth of the Given as such, and there (...) are several ways of escaping its conclusion. Invocations of Sellars's refutation of the Myth of the Given are empty. (shrink)

This paper presents and defends a novel meta‐epistemological thesis, epistemic isomorphism, according to which our relations to others and to ourselves have the same pattern of relevance to our rationality. This means that correct epistemological theorizing will give formal parity to interpersonal and intrapersonal epistemic norms, such that what holds interpersonally also holds, mutatis mutandis, intrapersonally. In addition to arguing for epistemic isomorphism, the paper presents some epistemological case studies in which it is shown that the methodological and argumentative strategies (...) used by epistemologists in these case studies give expression to the idea of epistemic isomorphism as well as the argument presented here for its truth. Finally, the paper considers a possible counterexample to epistemic isomorphism based on an agent‐centered theory of justification, but it shows how to reconcile this theory with epistemic isomorphism. (shrink)

It would seem that an epistemic framework can be justified only by means of a non-circular argument that establishes its truth-conduciveness. The problem of epistemic circularity suggests that no such argument is possible. Externalists and particularists have addressed the problem of scepticism by claiming that epistemically circular arguments can establish the truth-conduciveness of a framework’s epistemic methods. However, since these arguments are available for a good many frameworks, this response does nothing to answer the threat of epistemic relativism. The purpose (...) of this paper is to offer a non-circular argument in favour of naturalistic epistemic frameworks, and therefore against epistemic relativism. The argument establishes that non-naturalistic frameworks depend on naturalistic methods for their application, and therefore, they cannot be more truth-conducive than naturalistic frameworks. This argument does not establish that naturalistic frameworks are truth-conducive, but it does provide a ra.. (shrink)

This paper examines the relationship between evidentialism, knowledge‐first epistemology, (E=K) in particular, and justification. Evidentialism gives an account of justified belief in terms of evidence but is silent on the nature of evidence. Knowledge‐first tells us what evidence is but stands in need of an agreed account of justification. So each might be able to supply what the other lacks. I argue that the combination of evidentialism, (E=K), and some plausible principles leads to the scepticism familiar from the Agrippan trilemma. (...) I develop an Evidentialist Knowledge‐First view of justification that avoids scepticism by rejecting the entailment of justification by knowledge. This combination turns out to have unpalatable consequences. Nonetheless, the process of reaching that conclusion teaches lessons both to the evidentialist (regarding what evidence could be) and to the knowledge‐firster (regarding what justification is). (shrink)

Twardowski'sOn the Content and Object of Presentations(1894) is one of the most influential works that Austrian philosophy has left to posterity. The manuscriptLogik(1894–1895) supplements that work and allows us to reconstruct Twardowski's theory of judgement. These texts raise several issues, in particular whether Twardowski accepts propositions and states of affairs in his theory of judgement and whether his theory is acceptable. This article presents Twardowski's theory, shows that he accepts states of affairs, that he has a notion of proposition, and (...) that his theory is interesting and sophisticated. (shrink)

Despite various attempts to rectify matters, the internalism-externalism (I-E) debate in epistemology remains mired in serious confusion. I present a new account of this debate, one which fits well with entrenched views on the I-E distinction and illuminates the fundamental disagreements at the heart of the debate. Roughly speaking, the I-E debate is over whether or not certain of the necessary conditions of positive epistemic status are internal. But what is the sense of internal here? And of which conditions of (...) which positive epistemic status are we speaking? I argue that an adequate answer to these questions requires reference to what I call the no-defeater condition which is satisfied by a subjects belief B just in case she does not believe that B is defeated. I close by stating succinctly the main positions taken in the I-E debate, identifying the basic points of disagreement and suggesting fruitful courses for future discussion. (shrink)

When experimental philosophers carry out studies on thought experiments, some participants are excluded based on certain exclusion criteria, mirroring standard social science vignette methodology. This involves excluding people that do not pay attention or who miscomprehend the scenario presented in thought experiments. However, experimental philosophy studies sometimes exclude an alarmingly high number of participants. We argue that this threatens the external and internal validity of the conclusions being drawn and we show how a simple visualization of thought experiments can reduce (...) exclusion rates significantly. Furthermore, we argue that focus should not merely be on how many are excluded, but also why they are excluded, and we highlight the role of comprehension questions in this regard. Philosophical thought experiments often rely on the acceptance of certain key premises that may be regarded contestable, and asking comprehension questions involving such key assumptions could be problematic as that may result in some participants being inadvertently excluded from the study, potentially creating a selection bias. (shrink)

Whither the philosophy of intuition?Herman Cappelen’s Philosophy Without Intuitions (PWI) is a novel study in philosophical sociology—or, as Cappelen at one point suggests, “intellectual anthropology” (96).All undated references are to Cappelen (2012). Its target is the thesis that intuition is central, in the descriptive sense that contemporary analytic philosophers rely on intuitions for evidence—or, more generally, positive epistemic status. Cappelen labels the target thesis Centrality.If Centrality is true, then especially urgent are two questions in the rapidly growing field that is (...) the philosophy of intuition:[Q1] What are intuitions?[Q2] Can intuitions serve as evidence?There are of course others, but in chapter one Cappelen singles out these two as The Burning Questions about intuition. He then summarizes the overall upshot of PWI as follows:In this book I argue that Centrality, on any reasonable interpretation, is false. If you share that view, the Burning Questions will no lo .. (shrink)

This paper offers an interpretation of Quine's naturalized epistemology through the lens of Jaegwon Kim's influential critique of the same. Kim argues that Quine forces a false choice between traditional deductivist foundationalism and naturalized epistemology and contends that there are viable alternative epistemological projects. However it is suggested that Quine would reject these alternatives by reference to the same fundamental principles (underdetermination, indeterminacy of translation, extensionalism) that led him to reject traditional epistemology and propose naturalism as an alternative. Given this (...) interpretation of Quine, it is essential that a successful critic of naturalism also examine Quine's aforementioned principles. The divide between naturalist and nonnaturalist epistemology turns out to be defined by the divide between more fundamental naturalist and nonnaturalist approaches to semantics. (shrink)

I argue racial injustice undermines the reliability of news source reports in the information domain of racial injustice. I argue that this in turn undermines subjects’ doxastic justification in inferences they base on these news sources in the racial injustice information domain. I explain that racial injustice does this undermining through the effect of racial prejudice on news organizations’ members and the effect of society's racially unjust structure on non-dominant racial group-controlled news sources.

I argue racial injustice undermines the reliability of news source reports in the information domain of racial injustice. I argue that this in turn undermines subjects’ doxastic justification in inferences they base on these news sources in the racial injustice information domain. I explain that racial injustice does this undermining through the effect of racial prejudice on news organizations’ members and the effect of society's racially unjust structure on non-dominant racial group-controlled news sources.

A natural view of testimony holds that a source's statements provide one with evidence about what the source believes, which in turn provides one with evidence about what is true. But some theorists have gone further and developed a broadly analogous view of memory. According to this view, which this essay calls the “diary model,” one's memory ordinarily serves as a means for one's present self to gain evidence about one's past judgments, and in turn about the truth. This essay (...) rejects the diary model's analogy between memory and testimony from one's former self, arguing first that memory and a diary differ with respect to their psychological roles, and second that this psychological difference underwrites important downstream epistemic differences. The resulting view stands opposed to prominent discussions of memory and testimony, which either, like the diary model, treat memory by analogy to what we naively wish to say about testimony, or which instead attempt to extend to testimony the epistemically preservative role of memory. (shrink)

A platitude in epistemology is that an individual’s belief does not qualify as knowledge if it is true by luck. Individuals, however, are not the only bearers of knowledge. Many epistemologists agree that groups can also possess knowledge in a way that is genuinely collective. If groups can know, it is natural to think that, just as true individual beliefs fall short of knowledge due to individual epistemic luck, true collective beliefs may fall short of knowledge because of collective epistemic (...) luck. This paper argues, first, that the dominant view of epistemic luck in the literature, the modal view, does not yield a satisfactory account of lucky collective beliefs. Second, it argues that collective epistemic luck is better explained in terms of groups lacking forms of control over collective belief formation that are specific to the different procedures for forming collective beliefs. One of the main implications of this, we will argue, is that groups whose beliefs are formed via internal deliberation are more vulnerable to knowledge-undermining collective luck than groups that form their beliefs via non-deliberative methods, such as non-deliberative anonymous voting. The bottom line is that the greater exposure to knowledge-undermining luck that deliberation gives rise to provides a reason for thinking that non-deliberative methods of group belief formation have greater epistemic value. (shrink)

Some epistemologists hold that exploration and elaboration of the nature of luck will allow us to better understand knowledge. I argue this is a mistake.

Two common theses in contemporary epistemology are that ‘knowledge excludes luck’ and that knowledge depends on ‘purely epistemic’ factors. In this essay, I shall argue as follows: given some plausible assumptions, ‘anti-luck epistemology,’ which is committed to the fi rst thesis, implies the falsity of the second thesis. That is, I will argue that anti-luck epistemology leads to what has been called ‘pragmatic encroachment’ on knowledge. Anti-luck epistemologists hoping to resist encroachment must accept a controversial thesis about true belief or (...) a dubious claim about luck and value and interests. (shrink)

Many epistemologists are enamored with a defeat condition on knowledge. In this paper we present some implementation problems for defeatism, understood along either internalist or externalist lines. We then propose that one who accepts a knowledge norm of belief, according to which one ought to believe only what one knows, can explain away much of the motivation for defeatism. This is an important result, because on the one hand it respects the plausibility of the intuitions about defeat shared by many (...) in epistemology; but on the other hand, it obviates the need to provide a unified account of defeat which plays well with the most plausible views of how knowledge fits with evidential probability. (shrink)

The terrain of character-based or “responsibilist” virtue epistemology has evolved dramatically over the last decade -- so much so that it is far from clear what, if anything, unifies the various views put forth in this area. In an attempt to bring some clarity to the overall thrust and structure of this movement, I develop a fourfold classification of character-based virtue epistemologies. I also offer a qualified assessmentof each approach, defending a certain account of the probable future of this burgeoning (...) subfield. (shrink)

The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...) proofs, and can be sensibly regarded as a priori. We also show that the aforementioned impression is mistaken because it fails to distinguish between proof search (the context of discovery) and proof checking (the context of justification). By using mechanized proof assistants capable of producing certificates that can be independently checked, it is possible to carry out complex proofs without the need to trust arbitrary custom-written code. We only need to trust one fixed, small, and simple piece of software: the proof checker. This is not only possible in principle, but is in fact becoming a viable methodology for performing complicated mathematical reasoning. This is evinced by a new proof of the four-color theorem that appeared in 2005, and which was developed and checked in its entirety by a mechanical proof system. (shrink)

I defend a proposition-directed, sui generis account of agnosticism, according to which being agnostic about some proposition, P, involves a sceptical or questioning mental stance towards both the truth and falsity of P. Call this the questioning-attitude account. The questioning-attitude account contrasts with the question-directed attitude account of Jane Friedman, which holds that the object of agnosticism is a question rather than a proposition. I argue that the questioning-attitude account not only avoids a major weakness of Friedman’s question-directed attitude account, (...) but it also displays the following three attractive features: (1) it offers an explanation of why ascriptions of agnosticism often take an interrogative compliment, (2) it offers a univocal account of the content of all three doxastic attitudes, and (3) it fleshes out the claim that agnosticism is sui generis by describing what makes agnosticism distinct from both belief and disbelief. (shrink)

It is widely accepted that knowledge is incompatible with the presence of non-neutralized defeaters. A common way of addressing this issue is to introduce a condition to the effect that there are no non-neutralized defeaters for the belief that _p_ (i.e. a “no-defeaters condition”). I argue that meeting this condition leaves open a possibility for defeaters to squander our knowledge. The no-defeaters condition can be fortuitously met, and as a result it can be met luckily. I shall argue that this (...) kind of luck is inconsistent with knowledge. In order to prevent this pernicious form of luck I introduce a “defeaters-responsiveness” condition, according to which subjects ought to be disposed to adequately address defeaters if they were to arise (even if they in fact do not arise). (shrink)

There are three distinct projects - ontological, phenomenological, and conceptual - to pursue in the philosophy of perception. They are, however, rarely distinguished. Failure to distinguish them has resulted in their being pursued as one. Their completion then requires that they admit of the same solution, while accommodating the existence of misperception and the scientific facts concerning the perceptual process. The lesson to learn from misperceptions and those facts is, however, that no such common solution is possible, and that the (...) projects must, and can, be pursued separately. Pursuit of the phenomenological and conceptual projects then requires a context in which discourse concerning objects of perception is permitted without ontological commitment to such objects. This is supplied by treating certain uses of perceptual locutions as within a context of pretense. (shrink)

The present paper argues that there are at least two equally plausible yet mutually incompatible answers to the question of what is of non-instrumental epistemic value. The hypothesis invoked to explain how this can be so—moderate epistemic expressivism—holds that (a) claims about epistemic value express nothing but commitments to particular goals of inquiry, and (b) there are at least two viable conceptions of those goals. It is shown that such expressivism survives recent arguments against a more radical form of epistemic (...) expressivism, as well as two further arguments, framed in terms of the two most promising attempts to ground claims about epistemic value in something other than commitments to particular conceptions of inquiry. While this does not establish that moderate epistemic expressivism is true, its ability to explain a significant but puzzling axiological datum, as well as withstand strong counterarguments, makes clear that it is a theory to be reckoned with. (shrink)

A conspicuous oversight in recent debates about the vexed problem of the value of knowledge has been the value of knowledge-how. This would not be surprising if knowledge-how were, as Gilbert Ryle [1945, 1949] famously thought, fundamentally different from knowledge-that. However, reductive intellectualists [e.g. Stanley and Williamson 2001; Brogaard 2008, 2009, 2011; Stanley 2011a, 2011b] maintain that knowledge-how just is a kind of knowledge-that. Accordingly, reductive intellectualists must predict that the value problems facing propositional knowledge will equally apply to knowledge-how. (...) We show, however, that this is not the case. Accordingly, we highlight a value-driven argument for thinking that knowledge-how and knowledge-that come apart. (shrink)

The philosophical case for extended cognition is often made with reference to ‘extended-memory cases’ ; though, unfortunately, proponents of the hypothesis of extended cognition as well as their adversaries have failed to appreciate the kinds of epistemological problems extended-memory cases pose for mainstream thinking in the epistemology of memory. It is time to give these problems a closer look. Our plan is as follows: in §1, we argue that an epistemological theory remains compatible with HEC only if its epistemic assessments (...) do not violate what we call ‘the epistemic parity principle’. In §2, we show how the constraint of respecting the epistemic parity principle stands in what appears to be a prima facie intractable tension with mainstream thinking about cases of propositional memory. We then outline and evaluate in §3 several lines of response. (shrink)