Vogel argues that sensitivity accounts of knowledge are implausible because they entail that we cannot have any higher-level knowledge that our beliefs are true, not false. Becker and Salerno object that Vogel is mistaken because he does not formalize higher-level beliefs adequately. They claim that if formalized correctly, higher-level beliefs are sensitive, and can therefore constitute knowledge. However, these accounts do not consider the belief-forming method as sensitivity accounts require. If we take bootstrapping as the belief-forming method, as the discussed (...) cases suggest, then we face a generality problem. Our higher-level beliefs as formalized by Becker and Salerno turn out to be sensitive according to a wide reading of bootstrapping, but insensitive according to a narrow reading. This particular generality problem does not arise for the alternative accounts of process reliabilism and basis-relative safety. Hence, sensitivity accounts not only deliver opposite results given different formalizations of higher-level beliefs, but also for the same formalization, depending on how we interpret bootstrapping. Therefore, sensitivity accounts do not fail because they make higher-level knowledge impossible, as Vogel argues, and they do not succeed in allowing higher-level knowledge, as Becker and Salerno suggest. Rather, their problem is that they deliver far too heterogeneous results. (shrink)

Keith DeRose’s solution to the skeptical problem is based on his indirect sensitivity account. Sensitivity is not a necessary condition for any kind of knowledge, as direct sensitivity accounts claim, but the insensitivity of our beliefs that the skeptical hypotheses are false explains why we tend to judge that we do not know them. The orthodox objection line against any kind of sensitivity account of knowledge is to present instances of insensitive beliefs that we still judge to constitute knowledge. This (...) objection line offers counter-examples against the claim of direct sensitivity accounts that sensitivity is necessary for any kind of knowledge. These examples raise an easy problem for indirect sensitivity accounts that claim that there is only a tendency to judge that insensitive beliefs do not constitute knowledge, which still applies to our beliefs that the skeptical hypotheses are false. However, a careful analysis reveals that some of our beliefs that the skeptical hypotheses are false are sensitive; nevertheless, we still judge that we do not know them. Therefore, the fact that some of our beliefs that the skeptical hypotheses are false are insensitive cannot explain why we tend to judge that we do not know them. Hence, indirect sensitivity accounts cannot fulfill their purpose of explaining our intuitions about skepticism. This is the hard problem for indirect sensitivity accounts. (shrink)

Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification. However, in this role, justification (and modal) logics are defective insofar as they represent justification with a necessity-like operator, whereas actual evidentialist justification is usually probabilistic. This paper first examines and rejects extant candidates for solving this problem: Milnikel’s Logic of Uncertain Justifications, Ghari’s Hájek–Pavelka-Style Justification Logics and a version of probabilistic justification logic developed by Kokkinis et al. It (...) then proposes a new solution to the problem in the form of a justification logic that incorporates the essential features of both a fuzzy logic and a probabilistic logic. (shrink)

The proof paradox results from conflicting intuitions concerning different types of fallible evidence in a court of law. We accept fallible individual evidence but reject fallible statistical evidence even when the conditional probability that the defendant is guilty given the evidence is the same, a seeming inconsistency. This paper defends a solution to the proof paradox, building on a sensitivity account of checking and settling a question. The proposed sensitivity account of legal proof not only requires sensitivity simpliciter but sensitivity (...) of each relevant step of the proof procedure and/or sensitivity concerning all relevant alternatives. This account avoids problems that have been identified for other sensitivity views of legal proof. Moreover, it is argued that sensitivity, rather than safety, is the crucial modal condition for legal proof. It is, finally, shown that the provided account can fruitfully support very different existing views on the relationship between knowledge and legal proof. (shrink)

Over the years I’ve written many papers defending an idiosyncratic version of interest-relative epistemology. This book collects and updates the views I’ve expressed over those papers. -/- Interest-relative epistemologies all start in roughly the same way. A big part of what makes knowledge important is that it rationalises action. But for almost anything we purportedly know, there is some action that it wouldn’t rationalise. I know what I had for breakfast, but I wouldn’t take a bet at billion to one (...) odds about it. Knowledge has practical limits. The first idiosyncratic feature of my version of interest-relative epistemology is how those limits are identified. Other interest-relative philosophers typically say that the limits have to do with stakes; in high stakes situations knowledge goes away. That’s no part of my view. I think knowledge goes away in long odds situations. High stakes situations are almost always are long odds situations, for reasons to do with the declining marginal utility of money. But the converse isn’t true. On my view, knowledge often goes away in cases where it is trivial to check before action. This idea, that interests matter in long odds cases, and not just in high stakes cases, is the main constant in what I’ve written on interest-relativity over the years. -/- But there are three other respects in which the view I’m going to set out and defend in this book is very different from the view I set out in older papers. -/- I used to identify the practical limits on knowledge with cases where relying on the purported knowledge would get the wrong answer. I focused, that is, on the outputs of inquiry. Knowledge goes away if relying on it would lead one to make a mistake. I now think I was looking at the wrong end of inquiry. Knowledge goes away if the thinker starts conducting an inquiry where the purported knowledge is an inappropriate starting point, and inappropriate for the special reason that it might be false. Now one way we can tell that something is a bad starting point is that starting there will mean we end up at the wrong place. But it’s not the only way. Sometimes a bad starting point will lead to the right conclusion for the wrong reasons. As the Nyāya philosophers argued, rational inquiry starts with knowledge. If it would be irrational to start this inquiry with a particular belief, that belief isn’t knowledge. -/- Not all inquiries are practical inquiries, but many are. And practical inquiries are usually going to be at the center of attention in this book. But what is someone trying to figure out when they conduct a practical inquiry? I used to think that they were trying to figure out which option maximised expected utility, and to a first approximation identified knowledge with those things one could conditionalise on without changing the option that maximised expected utility. As noted in the previous paragraph, I no longer think that we can identify knowledge with what doesn’t change our verdicts. But more importantly, I no longer think that expected utility maximisation is as central to practical inquiry as I once did. There are some theoretical reasons from game theory that raise some doubts about expected utility maximisation. Weak dominance reasoning is part of our theory of rational choice, and can’t be modelled as expected utility maximisation. Perhaps some kinds of equilibrium seeking are parts of practical inquiry, and can’t be modelled as expected utility maximisation. But there are also very practical reasons to think that practical inquiry doesn’t aim at expected utility maximisation. When there are a lot of very similar options - think about selecting a can from a supermarket shelf - and it’s more trouble than it’s worth to figure out which of them maximises expected utility, it’s best to ignore the differences between them and just pick. As I’ll argue in Chapter 6, this makes a big difference to how interests and knowledge interact. -/- In the version of interest-relativity that I’m defending here, everything in epistemology is interest-relative. Knowledge, rational belief, and evidence are all interest-relative. But they are all interest-relative in slightly different ways. The main aim here is to defend the interest-relativity of knowledge. A common objection to interest-relative theories of knowledge is that they can’t be extended into theories of all the things we care about in epistemology. Here I try to meet that challenge. The way I do so is a little messy. It would be nice if there was some part of epistemology that’s interest-invariant, as I used to think, or if all the interest-relative notions were interest-relative in the same way, as other interest-relative epistemologists argue. For better or worse, that’s not the view I’m defending. Interests matter throughout epistemology, and we just have to go case by case to figure out how and why they matter. (shrink)

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)

Those in the Gricean tradition take it that successful human communication features an audience who not only arrives at the intended content of the signal, but also recognizes the speaker’s intention that they do so. Some in this tradition have also argued that there are yet further conditions on communicative success, which rule out the possibility of communicating by luck. Supposing that both intention-recognition and some sort of anti-luck condition are correctly included in an analysis of human communication, this article (...) asks what the value of events satisfying these conditions is. I present a puzzle concerning the value of intention-recognition which is analogous to the Meno Problem in epistemology, but ultimately argue that this puzzle is solveable: the signaling-relevant value of intention recognition can be vindicated. However, I argue that the version of this puzzle that concerns the further proposed luck-proofing conditions on communication can not be answered. I argue therefore that communication, as analyzed by many, is no more valuable qua signal than a proper subset of its conditions. Human communication is thennot a uniquely valuable signaling event. (shrink)

In this thesis, I will explore the epistemological evolutionary debunking arguments in meta-ethics. I will defend these arguments by accomplishing two tasks: I will offer the best way to understand the EDA and I will also respond to two strongest objections to the EDA. Firstly, in Part I of this thesis, I will offer my account of how the EDA should be best formulated. I will start from how evolution has significantly influenced our moral beliefs. I will then explain why, (...) due to their evolutionary origin, our moral beliefs are not tracking the moral truth reliably. Furthermore, I will argue that the fact that our moral beliefs are not tracking the moral truth also provides an undercutting and a higher-order defeater for those beliefs. As a result, I will conclude that the epistemic status of our moral beliefs is undermined because of these two kinds of defeaters. Secondly, in Part II of this thesis, I will turn my attention to the two strongest objections to the EDA – the Conceptual Truth Objection and the Third Factor Objection. I will first offer two responses to the Conceptual Truth Objection and, based on these two responses, I will argue that the Conceptual Truth Objection fails as a challenge to the EDA. I will then also argue that there currently doesn’t exist an acceptable version of the Third Factor Objection and it is also unlikely that such a version could be constructed in the future. I will finally conclude that both objections are problematic and they are thus unable to give us reason to doubt the EDA. (shrink)

This paper critically explores Timothy Williamson’s view of evidence, and it does so in light of the problem of epistemic luck. Williamson’s view of evidence is, of course, a crucially important aspect of his novel and influential “knowledge-first” epistemological project. Notoriously, one crucial thesis of this project is that one’s evidence is equivalent to what one knows. This has come to be known as the E = K thesis. This paper specifically addresses Williamson’s knowledge-first epistemology and the E = K (...) thesis in the context of anti-luck epistemology and the idea that knowledge is factive. Williamson’s views on these matters are worth investigating in some detail because he subscribes to a well-worked out anti-luck view of knowledge that incorporates what is perhaps the most common anti-luck condition. But this paper is also of more general importance because the critique of Williamson’s views on these matters reveals some important things about the nature of evidence and evidence is one of the most fundamental concepts in epistemology. (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)

Two major arguments have been advanced for the claim that there is a transmission failure in G. E. Moore’s famous proof of an external world. The first argument, due to Crispin Wright, is based on an epistemological doctrine now known as “conservatism.” Proponents of the second argument, like Nicholas Silins, invoke probabilistic considerations, most important among them Bayes’ theorem. The aim of this essay is to defend Moore’s proof against these two arguments. It is shown, first, that Wright’s argument founders (...) because one of its premises, viz, conservatism, invites skepticism and must therefore be rejected. Then the probabilistic argument is challenged, yet not because its formal part is dubious, but rather on the grounds that it incorporates as an implicit premise an unconvincing philosophical claim. Finally, the most promising objection to dogmatism – understood here as the negation of conservatism – is repudiated. (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)

Sensitivity has sometimes been thought to be a highly epistemologically significant property, serving as a proxy for a kind of responsiveness to the facts that ensure that the truth of our beliefs isn’t just a lucky coincidence. But it's an imperfect proxy: there are various well-known cases in which sensitivity-based anti-luck conditions return the wrong verdicts. And as a result of these failures, contemporary theorists often dismiss such conditions out of hand. I show here, though, that a sensitivity-based understanding of (...) epistemic luck can be developed that respects what was attractive about sensitivity-based approaches in the first place but that's immune to these failures. (shrink)

The safety condition is supposed to be a necessary condition on knowledge which helps to eliminate epistemic luck. It has been argued that the condition should be globalized to a set of propositions rather than the target proposition believed to account for why not all beliefs in necessary truths are safe. A remaining issue is which propositions are relevant when evaluating whether the target belief is safe or not. In the literature, solutions have been proposed to determine the relevance of (...) propositions. This paper examines a case of luckily true belief—thus a case of ignorance—and a case of knowledge. It argues that no solution in the literature offers a correct verdict in either case. Therefore, the strategy to globalize safety remains unsatisfactory. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

In this paper, I argue that hinge propositions are ways of acting that constitute abilities or skills. My starting point is Moyal-Sharrock's account of hinge propositions. However, Moyal-Sharrock's account leaves gaps to be filled, as it does not offer a unified explanation of the origin of our ungrounded grounds. Her account also lacks resources to respond to the issue of demarcation, since it does not provide a criterion for distinguishing ways of acting that can legitimately fulfill the role of ungrounded (...) grounds from those that cannot. Without an answer to this issue, the relativistic threat is serious. I then propose that by narrowing the ways of acting to those that are constitutive of abilities, we can deal with the relativistic threat. I provide an ecological approach to abilities through which I explain why abilities are reality-soaked and therefore why the ways of acting that constitute them are legitimate ungrounded grounds. Based on that approach, I provide an answer to the issue of demarcation that defuses the relativistic threat. (shrink)

Tracking theories see knowledge as a relation between a subject’s belief and the truth, where the former is responsive to the latter. This relationship involves causation in virtue of a sensitivity condition, which is constrained by an adherence condition. The result is what I call a stable causal relationship between a fact and a subject’s belief in that fact. I argue that when we apprehend the precise role of causation in the theory, previously obscured problems pour out. This paper presents (...) thirteen distinct and original counterexamples to Nozick’s tracking theory—many of which also constitute problems for more recent tracking theories. I begin by discussing how tracking relates to causation: Nozick invokes causation through conditions similar to those of Lewisian causal dependence. As a result, when causal dependence is not necessary for causation, Nozick fails to identify knowledge. I then address the inability of causation to capture epistemically important concepts, such as justification and truth. I conclude by discussing the underlying asymmetries between causation and knowledge that undermine any attempt to reduce knowledge to a purely metaphysical relation. (shrink)

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on discrimination. Safety in (...) contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which we also (...) consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

This paper defends the simple view that in asserting that p, one lies iff one knows that p is false. Along the way it draws some morals about deception, knowledge, Gettier cases, belief, assertion, and the relationship between first- and higher-order norms.

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

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

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Epistemic closure under known implication is the principle that knowledge of "p" and knowledge of "p implies q", together, imply knowledge of "q". This principle is intuitive, yet several putative counterexamples have been formulated against it. This paper addresses the question, why is epistemic closure both intuitive and prone to counterexamples? In particular, the paper examines whether probability theory can offer an answer to this question based on four strategies. The first probability-based strategy rests on the accumulation of risks. The (...) problem with this strategy is that risk accumulation cannot accommodate certain counterexamples to epistemic closure. The second strategy is based on the idea of evidential support, that is, a piece of evidence supports a proposition whenever it increases the probability of the proposition. This strategy makes progress and can accommodate certain putative counterexamples to closure. However, this strategy also gives rise to a number of counterintuitive results. Finally, there are two broadly probabilistic strategies, one based on the idea of resilient probability and the other on the idea of assumptions that are taken for granted. These strategies are promising but are prone to some of the shortcomings of the second strategy. All in all, I conclude that each strategy fails. Probability theory, then, is unlikely to offer the account we need. (shrink)

In this paper I will offer a comprehensive defense of the safety account of knowledge against counterexamples that have been recently put forward. In Sect. 2, I will discuss different versions of safety, arguing that a specific variant of method-relativized safety is the most plausible. I will then use this specific version of safety to respond to counterexamples in the recent literature. In Sect. 3, I will address alleged examples of safe beliefs that still constitute Gettier cases. In Sect. 4, (...) I will discuss alleged examples of unsafe knowledge. In Sect. 5, I will address alleged cases of safe belief that do not constitute knowledge for non-Gettier reasons. My overall goal is to show that there are no successful counterexamples to robust anti-luck epistemology and to highlight some major presuppositions of my reply. (shrink)

This paper introduces a new argument against Richard Foley’s threshold view of belief. His view is based on the Lockean Thesis (LT) and the Rational Threshold Thesis (RTT). The argument introduced here shows that the views derived from the LT and the RTT violate the safety condition on knowledge in way that threatens the LT and/or the RTT.

This paper introduces a new argument for the safety condition on knowledge. It is based on the contention that the rejection of safety entails the rejection of the factivity condition on knowledge. But, since we should maintain factivity, we should endorse safery.

An account of the nature of knowledge must explain the value of knowledge. I argue that modal conditions, such as safety and sensitivity, do not confer value on a belief and so any account of knowledge that posits a modal condition as a fundamental constituent cannot vindicate widely held claims about the value of knowledge. I explain the implications of this for epistemology: We must either eschew modal conditions as a fundamental constituent of knowledge, or retain the modal conditions but (...) concede that knowledge is not more valuable than that which falls short of knowledge. This second horn—concluding that knowledge has no distinctive value—is unappealing since it renders puzzling why so much epistemological theorising focuses on knowledge, and why knowledge seems so important. (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)

Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) on two brands of epistemic theory that naturally incorporate closure restrictions. The first type holds that the truth value of a knowledge ascription is relative to a relevant question. The second holds that the truth value of a knowledge ascription is relative to a relevant topic. For each approach, I offer a formalization of a leading theory from the literature and use this formalization to evaluate the theory’s adequacy in terms of a precise set of desiderata. I conclude that neither theory succeeds in meeting these desiderata, casting doubt on the viability of the underlying approaches. Finally, I offer a novel variant of the topic-sensitive approach that fares better. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

در این مقاله با تبیین نظریۀ تبعیت از صدق نوزیک و بررسی اشکالات وارد بر آن، به دو روایت اولیه و اصلاح‌شدۀ سوسا از شرطی التزامی امنیت، به‌عنوان شرط لازم دانستن پرداخته شده است. پس از پرداختن به روایت دقیق سوسا از امنیت، برخی اشکالات بدان بررسی شده‌، نشان داده می‌شود که برخی از این اشکال‌ها بر نظریه سوسا واردند. درعین‌حال، من تلاش کرده‌ام نشان دهم که برخی از این اشکال‌ها بر روایت دقیق این شرط وارد نیستند و نیز این (...) شرط نمی‌تواند از پس برخی مثال‌های نقض وارد بر نظریه نوزیک برآید. -/- In this paper, I will explicate Nozick's truth-tracking theory of knowledge and objections raised against it, and I will then deal with Sosa's primary and reformed versions of the subjunctive conditional of safety as a necessary condition of knowledge. I will then consider some objections to Sosa's view, showing that some of these counterexamples work against Sosa's view. However, I have sought to show that some of these objections do not work against a more precise version of this condition. I have also shown that this condition cannot deal with some counterexamples of Nozick's theory. (shrink)

We have reasons to want an epistemology of simple belief in addition to the Bayesian notion of belief which admits of degree. Accounts of simple belief which attempt to reduce it to the notion of credence all face difficulties. We argue that each conception captures an important aspect of our pre-theoretic thinking about epistemology; the differences between the two accounts of belief stem from two different conceptions of unlikelihood. On the one hand there is unlikelihood in the sense of improbability, (...) on the other hand there is unlikelihood in the sense of far-fetchedness. A non-reductive account of simple belief is outlined. Belief aims not just at truth, but at attaining the status of knowledge, and knowledge should satisfy the weak modal principle: If S knows that p then S is certain that there is no possibility very close to actuality at which p is false. The account faces a difficulty in dealing with statistical inductive cases. We sketch a speculative strategy for dealing with such cases, based on the pragmatic considerations that lead to an agent’s partition of the space of possibilities and a nonprobabilistic notion of the “estimated distance” of elements of such a partition from actuality. (shrink)

A Série Investigação Filosófica é uma série de livros de traduções de verbetes da Enciclopédia de Filosofia da Stanford (Stanford Encyclopedia of Philosophy) e de outras plataformas internacionalmente reconhecidas, que intenciona servir tanto como material didático para os professores das diferentes sub-áreas e níveis da Filosofia quanto como material de estudo para a pesquisa e para concursos da área. Nós, professores, sabemos o quão difícil é encontrar bom material em português para indicarmos. E há uma certa deficiência na graduação brasileira (...) de filosofia, principalmente em localizações menos favorecidas, com relação ao conhecimento de outras línguas, como o inglês e o francês. Tentamos, então, suprir essa deficiência, ao introduzirmos essas traduções ao público de língua portuguesa, sem nenhuma finalidade comercial e meramente pela glória da filosofia. (shrink)

Knowledge is closed under implication, according to standard theories. Orthodoxy can allow, though, that apparent counterexamples to closure exist, much as Kripkeans recognize the existence of illusions of possibility which they seek to explain away. Should not everyone, orthodox or not, want to make sense of “intimations of openness”? This paper compares two styles of explanation: evidence that boosts P’s probability need not boost that of its consequence Q; evidence bearing on P’s subject matter may not bear on the subject (...) matter of Q. (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)

Threshold models and their dynamics may be used to model the spread of ‘behaviors’ in social networks. Regarding such from a modal logical perspective, it is shown how standard update mechanisms may be emulated using action models – graphs encoding agents’ decision rules. A small class of action models capturing the possible sets of decision rules suitable for threshold models is identified, and shown to include models characterizing best-response dynamics of both coordination and anti-coordination games played on graphs. We conclude (...) with further aspects of the action model approach to threshold dynamics, including broader applicability and logical aspects. Hereby, new links between social network theory, game theory and dynamic ‘epistemic’ logic are drawn. (shrink)

Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that this position is attractive; it (...) evades concerns that its rivals face. (shrink)

Tracking theories of knowledge are widely known to have the consequence that knowledge is not closed. Recent arguments by Vogel and Hawthorne claim both that there are no legitimate examples of knowledge without closure and that the costs of theories that deny closure are too great. This paper considers the tracking theories of Dretske and Nozick and the arguments by Vogel and Hawthorne. We reject the arguments of Vogel and Hawthorne and evaluate the costs of closure denial for tracking theories (...) of knowledge. (shrink)

Guido Melchior’s important and rich book (Melchior _Knowing and Checking. __An Epistemological Investigation_ 2019 ) draws our attention to the much neglected topic of checking. There are many new leads to follow. Here, I will pick a few that seem to me to allow the most room for discussion and disagreement: the alleged modal profile of checking (Sect. 1), the contrastive aspects of checking (Sect. 2), and the relation of checking to closure (Sect. 3). I will end with two smaller (...) points worth bringing up here (Sect. 4). (shrink)

Virtue Reliabilism holds that knowledge is a cognitive achievement—an epistemic success that is creditable to the cognitive abilities of the knowing subject. Beyond this consensus, there is much disagreement amongst proponents of virtue reliabilism about the conditions under which the credit-relation between an epistemic success and a person’s cognitive abilities holds. This paper aims to establish a new and attractive view of this crucial relation in terms of difference-making. We will argue that the resulting theory, Difference-Making Virtue Epistemology, can deal (...) with cases of epistemic luck and testimonial knowledge while revealing the common core of knowledge and other achievements. (shrink)

Despite its intrinsic plausibility, the sensitivity principle has remained deeply unpopular on the grounds that it violates an even more plausible closure principle. Here we show that sensitivity does not, in general, violate closure. Sensitivity only violates closure when combined with further auxiliary premises—regarding which of an agent’s commitments constitute that agent’s beliefs—which are optional for the sensitivity theorist.

The beliefs involved in the placebo effect are often assumed to be self-fulfilling, that is, the truth of these beliefs would merely require the patient to hold them. Such a view is commonly shared in epistemology. Many epistemologists focused, in fact, on the self-fulfilling nature of these beliefs, which have been investigated because they raise some important counterexamples to Nozick’s “tracking theory of knowledge.” We challenge the self-fulfilling nature of placebo-based beliefs in multi-agent contexts, analyzing their deep epistemological nature and (...) the role of higher-order beliefs involved in the placebo effect. (shrink)

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

Replies to contributions to a symposium on the book, Scepticism and Reliable Belief.