We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

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 \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. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 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 $\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. 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 \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. 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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. 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)

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 \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. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 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 $\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. 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 \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. 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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. 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)

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)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

Is truth the rule or the aim of assertion? Philosophers disagree. After reviewing the available evidence, the hypothesis that truth is the aim of assertion is defended against recent attempts to prove that truth is rather a rule of assertion.

Despite the efforts of meta-ethical expressivists to rebut such worries, one objection raised over and over again against expressivism is that, if the theory is true, matters of morality must be mind-dependent in some objectionable way. This paper develops an argument which not only shows that this is and cannot be the case, but also – and perhaps more importantly – offers a diagnosis why philosophers are nevertheless so often led to think otherwise.

A general trend in recent philosophical and empirical work aims to undermine various traditional claims regarding the distinctive nature of self-knowledge. So far, however, this work has not seriously threatened the Cartesian claim that (at least some) self-knowledge is immune to the sort of sceptical problem that seems to afflict our knowledge of the external world. In this paper I carry this trend further by arguing that the Cartesian claim is false. This is done by showing that a familiar sceptical (...) argument that targets my knowledge of the external world can be adapted to target my belief that I exist, along with any of my self-knowledge that I know entails my own existence. Thus, my self-knowledge and my knowledge of the external world are subject to the same sort of sceptical problem. (shrink)

If it works, I can use Putnam’s vat argument to show that I have not always been a brain-in-a-vat. It is widely thought that the vat argument is of no use against closure scepticism – that is, scepticism motivated by arguments that appeal to a closure principle. This is because, even if I can use the vat argument to show that I have not always been a BIV, I cannot use it to show that I was not recently envatted, and (...) it is thought that the claim that I am not justified in thinking that I was not recently envatted is all that the closure sceptic requires. In this paper I first argue that scenarios in which I have been recently envatted are inadequate for the sceptic’s purposes, and so the standard argument that the vat argument is of no use against closure scepticism fails. I then argue that it is not possible to revise the standard argument to meet my objection. I conclude that, if it works, I can use the vat argument as a defence against closure scepticism. (shrink)

Putnam’s vat argument is intended to show that I am not a permanently envatted brain. The argument holds promise as a response to vat scepticism, which depends on the claim that I do not know that I am not a permanently envatted brain. However, there is a widespread idea that the vat argument cannot fulfil this promise, because to employ the argument as a response to vat scepticism I would have to make assumptions about the content of the premises and/or (...) conclusion of the argument that beg the question against the sceptic. In this paper, I show that this idea is mistaken. (shrink)

It is argued that a popular way of accounting for the distinctive value of knowledge by appeal to the distinctive value of cognitive achievements fails because it is a mistake to identify knowledge with cognitive achievements. Nevertheless, it is claimed that understanding, properly conceived, is a type of cognitive achievement, and thus that the distinctive value of cognitive achievements can explain why understanding is of special value.

It has been alleged that the demands of friendship conflict with the norms of epistemology—in particular, that there are cases in which the moral demands of friendship would require one to give a friend the benefit of the doubt, and thereby come to believe something in violation of ordinary epistemic standards on justified or responsible belief :329–351, 2004; Stroud in Ethics 116:498–524, 2006; Hazlett in A luxury of the understanding: on the value of true belief, Oxford University Press, Oxford, 2013). (...) The burden of this paper is to explain these appearances away. I contend that the impression of epistemic partiality in friendship dissipates once we acknowledge the sorts of practical and epistemic reasons that are generated by our values: value-reflecting reasons. The present proposal has several virtues: it requires fewer substantial commitments than other proposals seeking to resist the case for epistemic partiality ; it is independently motivated, as it cites a phenomenon—value-reflecting reasons—we have independent reasons to accept; it provides a single, unified account of how various features of friendship bear on belief-formation; and makes clear how it is the very value we place on friendship itself that ensures against epistemic partiality. (shrink)

The idea that knowledge is conceptually related to practical reasoning is becoming increasingly popular. In defending this idea, philosophers have been relying on a conception of practical reasoning that drastically deviates from one which has been more traditionally advocated in analytic philosophy and which assigns no special role to knowledge. This paper argues that these philosophers have failed to give good reasons for thinking that the conception of practical reasoning they have been assuming is the right one, and that hence (...) they have been rash to conclude that there is a conceptual relation between knowledge and practical reasoning. (shrink)

I argue that considerations about computational complexity show that all finite agents need characteristics like those that have been called epistemic virtues. The necessity of these virtues follows in part from the nonexistence of shortcuts, or efficient ways of finding shortcuts, to cognitively expensive routines. It follows that agents must possess the capacities – metavirtues –of developing in advance the cognitive virtues they will need when time and memory are at a premium.

Traditional epistemological reflection on our beliefs about the world attempts to proceed without presupposing or ineliminably depending upon any claims about the world. It has been argued that epistemological externalism fails to engage in the right way with the motivations for this project. I argue, however, that epistemological externalism satisfyingly undermines this project. If we accept the thesis that certain conditions other than the truth of one's belief must obtain in the world outside of one's mind in order for one (...) to have knowledge (or justified belief) about the world, then there is no good intellectual motivation for taking up the traditional project. This results stands even if we accept the traditional theses that knowledge requires justified belief and that justified belief requires the ability to provide good reasons for one's belief. (shrink)

We citizens of the 21st century live in a world where division of epistemic labour rules. Most of what we know we learned from the spoken or written word of others, and we depend in endless practical ways on the technological fruits of the dispersed knowledge of others—of which we often know almost nothing—in virtually every moment of our lives. Interest has been growing in recent years amongst philosophers, in the issues in epistemology raised by this fact. One issue concerns (...) the depth and extent of our epistemic dependence on testimony, as we may label this broad epistemic source: Do we have any knowledge at all that is free of epistemic dependence on what we have learned from others? A related question is whether our entitlement to believe what we have learned from others can be explained without invoking any epistemic principles special to testimony. These questions concern, as it were, the macro-epistemology of testimony. In the present discussion I shall focus instead on the micro foundations. Testimony, in our broad sense, can occur through an extensive range of types of spoken and written means of purportedly factual communication, including telephone calls, e-mails and personal letters, lectures and radio broadcasts, newspapers, textbooks and encyclopaedias, personal diaries, and public records of all kinds. But the central paradigm—what started the whole communication thing off—is surely that of face-to-face spoken encounter, when one person tells something to another, thereby intending and hoping to share her knowledge with her audience. I begin by describing the speech act of telling, identifying what takes place in a felicitous act of telling. From the nature of the speech act of telling, we see precisely how it is that knowledge is, when all goes as it should, acquired from teller by trusting hearer, in such an act, and in acts of testimony more broadly. (shrink)

Every philosopher should wish for commentators as thoughtful and rigorous as Mario Gómez-Torrente and Delia Graff. Their papers contribute significantly to our understanding of the fine structure of vagueness, but not by undermining its epistemicist interpretation.

Jason Stanley's "Knowledge and Practical Interests" is a brilliant book, combining insights about knowledge with a careful examination of how recent views in epistemology fit with the best of recent linguistic semantics. Although I am largely convinced by Stanley's objections to epistemic contextualism, I will try in what follows to formulate a version that might have some prospect of escaping his powerful critique.

In this paper, I present an argument for the revision of classical logic. The argument is based on the coherence of a metaethical position which is a species of agnosticism. According to this view, the debate between cognitivists and noncognitivists about moral discourse is unresolved. I argue that there is something at stake in this debate and so something one can coherently be agnostic about. The revisionary argument also draws on principles of epistemic closure. I make these principles explicit and (...) indicate to what extent they can plausibly be assumed. The proposal to revise classical logic is likely to meet with some resistance: classical logic is too deeply entrenched in our reasoning. Before suggesting what to put in its place, I address and defuse four objections that might be levelled against the argument for its revision. I close with some general remarks on the force of arguments for logical reform. (shrink)

A common objection against deflationist theories of truth is that they cannot do justice to the correspondence intuition, i.e. the intuition that there is an explanatory relationship between, for instance, the truth of ‘Snow is white’ and snow's being white. We scrutinize two attempts to meet this objection and argue that both fail. We then propose a new response to the objection which, first, sheds doubt on the correctness of the correspondence intuition and, second, seeks to explain how we may (...) nonetheless have come to have that intuition. (shrink)

A knowledge argument is offered that presents unique difficulties for Christians who wish to assert that God is essentially omniscient. The difficulties arise from the doctrine of the incarnation. Assuming that God the Son did not necessarily have to become incarnate, then God cannot necessarily have knowledge de se of the content of a non-divine mind. If this is right, then God’s epistemic powers are not fixed across possible worlds and God is not essentially omniscient. Some options for Christian theists (...) are discussed, including rejecting traditional theism in favour of some version of pantheism or panentheism. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

Recent philosophical discussions of self-knowledge have focused on basic cases: our knowledge of our own thoughts, beliefs, sensations, experiences, preferences, and intentions. Empiricists argue that we acquire this sort of self-knowledge through inner perception; rationalists assign basic self-knowledge an even more secure source in reason and conceptual understanding. I try to split the difference. Although our knowledge of our own beliefs and thoughts is conceptually insured, our knowledge of our experiences is relevantly like our perceptual knowledge of the external world.

Recently, it has been objected that naïve realism is inconsistent with an empirically well-supported claim that mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously (SFK). The main aim of this paper is to establish the following conditional claim: if SFK turns out to be true, the naïve realist can and should accommodate it into her theory. Regarding the antecedent of this conditional, I suggest that empirical evidence renders SFK plausible but not obvious. For it (...) is possible that what is currently advocated as unconscious perception of the stimulus is in fact momentaneous perceptual awareness (or residual perceptual awareness) of the stimulus making the subject prone to judge in some way rather than another, or to act in some way rather than another. As to the apodosis, I show that neither the core of naïve realism nor any of its main motivations is undermined if SFK is assumed. On the contrary, certain incentives for endorsing naïve realism become more tempting on this assumption. Since the main motivations for naïve realism retain force under SFK, intentionalism is neither compulsory nor the best available explanation of unconscious perception. (shrink)

This paper controverts the ability of intentionalism about perception to account for unique epistemic significance of phenomenal consciousness. More specifically, the intentionalist cannot explain the latter without denying two well-founded claims: the transparency of experience, and the possibility of unconscious perception. If they are true, intentionality of perception entails that phenomenal consciousness has no special epistemic role to play. Although some intentionalists are ready to bite this bullet, by doing so they effectively undermine one of the standard motivations of their (...) view, i.e. the claim that perceptual experiences justify beliefs. Consequently, whatever reason might there be to think that phenomenal consciousness has unique epistemic import, it is also a reason to reject intentionalism. I recommend replacing the latter with an unorthodox formulation of relationalism about perception. (shrink)

It has been argued that an advantage of the safety account over the sensitivity account is that the safety account preserves epistemic closure, while the sensitivity account implies epistemic closure failure. However, the argument fails to take the method-relativity of the modal conditions on knowledge, viz., sensitivity and safety, into account. In this paper, I argue that the sensitivity account and the safety account are on a par with respect to epistemic closure once the method-relativity of the modal conditions is (...) taken into account. Therefore, epistemic closure is no longer an arbiter in the debate. (shrink)

Both sensitivity and safety theorists concur that their accounts should be relativized to the same method that one employs in the actual world. However, properly individuating methods has proven to be a tricky matter. In this regard, Nozick (Philosophical Explanations, Harvard University Press, Cambridge, 1981) proposes a Same-Experience-Same-Method Principle: if the experiences associated with two method tokens are the same, they are of the same type of method. This principle, however, has been widely rejected by recent safety and sensitivity theorists. (...) In this paper, I raise an argument in favor of Nozick: not endorsing the principle leads to some rather implausible consequences when certain skeptical scenarios are considered—i.e., scenarios in which skeptical possibilities are ‘close’. Additionally, this argument reveals some important lessons about skepticism in general and the place of modal accounts of knowledge in the internalism/externalism debate. (shrink)

In this paper, I first seek a relatively plausible formulation of the safety principle. To this end, I refute a recent form of safety by Duncan Pritchard and then defend another weaker form of safe...

In a recent paper, Helton and Nanay, 415–423, 2019) present a new argument against two modal accounts of knowledge—safety and sensitivity. Their argument is based on the phenomenon of amodal completion. According to them, amodal completion experience can ground knowledge; but in some instances, such knowledge is neither sensitive nor safe. Thus, they conclude that neither sensitivity nor safety is a necessary condition for knowledge. This paper pushes back. In particular, I defend the following three theses. First, Helton and Nanay’s (...) argument for the claim that amodal completion itself can ground knowledge is unsound. Second, their objection against sensitivity is best construed as merely another instantiation of the old objection against sensitivity regarding inductive knowledge. Thus, sensitivity theorists have nothing to worry about over and above the old objection. Third, safety theorists can plausibly defend their account, insofar as they acknowledge that one’s ‘awareness’ of error-possibilities can affect the epistemic status of one’s belief. My conclusion is that reflections on the phenomenon of amodal completion fail to generate any new objections against modal accounts of knowledge. (shrink)

Practical knowledge is discussed in close relation to practical expertise. For both anti-intellectualists and intellectualists, the knowledge of how to φ is widely assumed to entail the practical expertise in φ-ing. This paper refutes this assumption. I argue that non-experts can know how to φ via other experts’ knowledge of φ-ing. Know-how can be ‘outsourced’. I defend the outsourceability of know-how, and I refute the objections that reduce outsourced know-how to the knowledge of how to ask for help, of how (...) to get things done, or of external contents. Interestingly, outsourcing differs from social cooperation, collective agency, testimonial transmission, and many other notions in social-epistemological debates. Thus, outsourcing provides not only a hitherto unconsidered form of know-how but also a novel way for knowledge to be social. Furthermore, outsourcing plausibly involves a ‘social’ cognitive extension that does not rest on EMT or HEC. Given the outsourceability of know-how, we must reconsider the nature of know-how and expertise, as well as the relation between non-experts and experts. (shrink)

According to the sensitivity account of knowledge, S knows that p only if S's belief in p is sensitive in the sense that S would not believe that p if p were false. It is widely accepted that the sensitivity condition should be relativized to belief-formation methods to avoid putative counterexamples. A remaining issue for the account is how belief-formation methods should be individuated. In this paper, I argue that while a coarse-grained individuation is still susceptible to counterexamples, a fine-grained (...) individuation makes the target belief trivially insensitive. Therefore, there is no principled way of individuating belief-formation methods that helps the sensitivity account to accommodate different cases. (shrink)

According to the safety account of knowledge, one knows that p only if one’s belief could not easily have been false. An important issue for the account is whether we should only examine the target belief when evaluating whether a belief is safe or not. In this paper, it is argued that, if we should only examine the target belief, then the account fails to account for ignorance of necessary truths. But, if we should also examine beliefs in other relevant (...) propositions, then the account fails to account for knowledge from falsehood. Therefore, the safety account of knowledge is undermined by knowledge from falsehood and ignorance of necessary truths. (shrink)

The safety principle is the view that, roughly, if one knows that p, p could not easily have been false. It is common for safety theorists to relativize safety to belief-formation methods. In this paper, I argue that there is no fixed principle of method-individuation that can stand up to scrutiny. I examine various ways to individuate methods and argue that all of them are subject to serious counterexamples. In the end, I conclude by considering some alternative ways to preserve (...) the insight behind safety without invoking a fixed principle of method-individuation. (shrink)

Safety accounts of knowledge claim, roughly, that knowledge that p requires that one's belief that p could not have easily been false. Such accounts have been very popular in recent epistemology. However, one serious problem safety accounts have to confront is to explain why certain lottery‐related beliefs are not knowledge, without excluding obvious instances of inductive knowledge. We argue that the significance of this objection has hitherto been underappreciated by proponents of safety. We discuss Duncan Pritchard's recent solution to the (...) problem and argue that it fails. More importantly, the problem reaches deeper and poses a threat to any current safety accounts that require a belief's modal stability in close possibilities (as well as safety accounts that appeal to ‘normality’). We end by arguing that ways out of the problem require substantial reconstruction for a safety‐based account of knowledge. (shrink)

According to the safety principle, if one knows that p, one's belief that p could not easily have been false. One problem besetting this principle is the lottery problem – that of explaining why one does not seem to know that one will lose the lottery purely based on probabilistic considerations, prior to the announcement of the lottery result. As Greco points out, it is difficult for a safety theorist to solve this problem, without paying a heavy price. In this (...) paper, I first reject three existing safety-based solutions to the lottery problem, due to Pritchard, Sosa, and Broncano-Berrocal. Failure of these accounts reveals that there is something crucial missing in the safety principle. By way of remedying this, I propose to integrate a safety principle with a condition regarding one's own awareness of (nearby) error-possibilities. The resulting account, as I argue, enjoys a number of theoretical advantages, including its capacity to handle the lottery problem. (shrink)

Depending on whether we are somewhat tolerant of nearby error-possibilities or not, the safety condition on knowledge is open to a strong reading and a weak reading. In this paper, it is argued that induction and conjunction introduction constitute two horns of a dilemma for the safety account of knowledge. If we opt for the strong reading, then the safety account fails to account for inductive knowledge. In contrast, if we opt for the weak reading, then the safety account fails (...) to accommodate knowledge obtained via the method of conjunction introduction. (shrink)

According to the safety account of knowledge, one knows that p only if one's belief could not easily have been false. An important issue for the account is whether we should only examine the belief in the target proposition when evaluating whether a belief is safe or not. In this paper, it is argued that if we only examine the belief in the target proposition, then the account fails to account for why beliefs in necessary truths could fall short of (...) knowledge. But, if we also examine beliefs in other relevant propositions, then the account fails to preserve epistemic closure. Therefore, the safety account cannot find a safe path between epistemic closure and necessary truths. (shrink)

According to the sensitivity account of knowledge, if one knows that p, then (roughly) were p false, one would not believe that p. One important issue regarding sensitivity is whether or not it preserves inductive knowledge. Critics including Jonathan Vogel, Ernest Sosa, and Duncan Pritchard argue that it does not. Proponents including Kevin Wallbridge insist that it does. In this paper, I first draw attention to an often-neglected distinction between two different versions of sensitivity—a distinction that has important implications for (...) the debate regarding inductive knowledge. In particular, I distinguish between the sensitivity principle originally defended by Robert Nozick and another version that has been the focus of many recent discussions. With the distinction in place, it is shown that a sensitivity theorist cannot preserve inductive knowledge while being unscathed. For neither account can simultaneously preserve inductive knowledge while properly handling the Gettier problem. Overall, sensitivity theorists are in trouble. (shrink)

According to the safety principle, if one knows that p, then one’s belief in p could not easily have been false. In this paper, I pose a dilemma for safety theorists by asking the following question: In evaluating whether or not a belief is safe, must we only examine the error-possibilities of the same belief as formed in the actual world? If ‘yes’, safety meets a familiar objection regarding necessary truths and the objection also extends to contingent propositions. If ‘no’, (...) however, there is no necessity of safety for knowledge. It is argued that this dilemma poses a threat for a number of safety principles from the recent literature. In the end, I draw implications of my arguments for the debate between robust and anti-luck virtue epistemologies. The result is that anti-luck virtue epistemology suffers from the difficulty with the safety principle whereas the robust variant remains intact. (shrink)