Defining Knowledge, Misc

Adrian Heathcote has proposed a truth-making account of knowledge that combines traditional conditions of justified true belief with the truth-making condition, which would jointly provide us with the sufficient condition of knowledge, and this truth-maker account of knowledge in turn explains why a gettiered justified true belief fails to be regarded as a genuine instance of knowledge. In this paper, by the comparison of two different casual models that are illustrated by the thermometer and the clock respectively, however, it will (...) be argued that Heathcote’s truth-making account of knowledge fails to cope with the Gettier case of the stopped clock and therefore is called for some further remedy. (shrink)

ABSTRACT Given the complexity of the Cosmos, and of the contingent observer, it is axiomatic that the obverse of the law of identity includes a complex reverse: a thing not only is only what it is, it also is not all those things which it is not. But, given the possible combinations of knowledge and ignorance regarding a given topic, any number of various conflations of the two sides of this axiom is possible regarding that topic. Further, given the extent (...) of ignorance possible regarding a topic, the extent of this conflation can be so deep that a person may have a virtually unlimited body of 'logic' upon which to seem to confirm the sense that a favored position is sound. Moreover, given the demands and rewards of the practical epistemological algorithms in which we continually are engaged, much of the a priori knowledge on which such algorithms are based is obscured. As one of the most a priori conceptions, omnipotence, divine or otherwise, is especially opaque. Abraham Lincoln said if you want to test a person’s character, you can’t do so simply by making him suffer, but by giving him power. Logic is a power to know or prove things; but, what a person is in the habit of most valuing informs all his logic. Divine omnipotence is defined as essentially primary, creative, and immediately coherent. But, a more-or-less pressing concern for cognitive efficiency, combined with a psychologically adversarial response to a world of disharmony and progressive entropy, impels us to re-conceptualize omnipotence in terms of a notion which, by being logically indifferent to the relations of effects to their causes, is 'epistemologically adverse' to any positive concept of power. (shrink)

In the recent literature on the nature of knowledge, a rivalry has emerged between modalism and explanationism. According to modalism, knowledge requires that our beliefs track the truth across some appropriate set of possible worlds. Modalists tend to focus on two modal conditions: sensitivity and safety. According to explanationism, knowledge requires only that beliefs bear the right sort of explanatory relation to the truth. In slogan form: knowledge is believing something because it’s true. In this paper, we aim to vindicate (...) explanationism from some recent objections offered by Gualtiero Piccinini, Dario Mortini, and Kenneth Boyce and Andrew Moon. Together, these authors present five purported counterexamples to the sufficiency of the explanationist analysis for knowledge. In addition, Mortini devises a clever argument that explanationism entails the violation of a plausible closure principle on knowledge. We will argue that explanationism is innocent of all these charges against it, and we hope that the strength of the defense we offer of explanationism is evidence in its favor, and a reason to investigate explanationism further as the long-elusive truth about the nature of knowledge. (shrink)

The thesis that knowledge is a factive mental state plays a central role in knowledge-first epistemology, but accepting this thesis requires also accepting an unusually severe version of externalism about the mind. On this strong attitude externalism, whether S is in the mental state of knowledge can and often will rapidly change in virtue of changes in external states of reality with which S has no causal contact. It is commonly thought that this externalism requirement originates in the factivity of (...) knowledge. However, despite a number of recent defenses of non-factive accounts of knowledge, epistemology has yet to consider whether a non-factive approach might produce a version of the mental state thesis that can avoid strong externalism. Here I do just that, exploring how three different proposals for weakening factivity might be adapted to theories of knowledge as a non-factive mental state. Contrary to what we might expect, however, none of these proposals are compatible with anything close to attitude internalism about knowledge—or even a substantially weaker externalism. All told, the widespread view that wraps up the severe externalism required for knowledge to be a mental state in factivity is mistaken. Knowledge’s external-world connection runs far deeper than the factivity constraint. (shrink)

It is widely accepted that knowledge is factive. This claim is typically justified linguistically: ascribing knowledge of a falsehood sounds contradictory. But linguistic arguments can be problematic. In a recent article, Brent G. Kyle argues that the factivity of knowledge can be proved deductively, without appeal to ordinary language. I argue, however, that his proof relies on a premise that can only be justified linguistically.

In his "On the Metaphysics of Knowledge" (this volume), Sven Bernecker introduces and defends a novel account of knowledge that he calls ‘identificationism’. In fact, Bernecker’s account is a hybrid view that combines a modal tracking condition – some variation on safety and/or sensitivity – with his original identificationist condition. The reason for including a tracking condition is that some Gettier cases, like the famous fake barn case, are best accommodated in this way. In making this more familiar claim, Bernecker (...) follows epistemologists like Nozick, Sosa, or Pritchard. But he also adds the less familiar claim that there are ‘intractable’ Gettier cases that cannot be dealt with by a tracking condition alone. These intractable cases involve necessary or modally stable propositions, such as '2+2=4' or 'there is carbon on earth', which are either true in all possible worlds, or at least true in all possible worlds that are close to the actual world. In this paper, I will not directly address the epistemological adequacy of Bernecker’s identificationism. Rather, I want to focus on the substantial metaphysical commitments that it incurs, in particular on the problematic idea that our epistemic reasons identify the truthmaker of our respective belief when we know something. My conclusion will be that being a truthmaker for p is metaphysically more demanding than being an epistemic reason for p. A truthmaker for p must necessitate the truth of p, while an epistemic reason for p must merely indicate the truth of p. Thus, we should not expect that epistemic reasons identify the truthmakers of our knowledge-constituting beliefs in the way that Bernecker suggests. (shrink)

This entry summarizes arguments for and against the thesis that knowledge entails belief.

If there is any consensus about knowledge in contemporary epistemology, it is that there is one primary kind: knowledge-that. I put forth a view, one I find in the works of Aristotle, on which knowledge-of – construed in a fairly demanding sense, as being well-acquainted with things – is the primary, fundamental kind of knowledge. As to knowledge-that, it is not distinct from knowledge-of, let alone more fundamental, but instead a species of it. To know that such-and-such, just like to (...) know a person or place, is to be well-acquainted with a portion of reality – in this case a fact. In part by comparing classic Gettier cases to cases in which one has true impressions of but fails to know a person, I argue that this account not only respects our intuitions about knowledge-that – in particular that it is or entails non-accidentally true justified belief – but also explains them, providing a compelling analysis. (shrink)

This paper argues that the historical conception of knowing as a presentational factive mental state (‘presentationalism’) is not best understood as an alternative to belief-based and knowledge-first epistemology, but rather as an account of epistemic architecture that is compatible with these paradigms. To defend this claim, the paper focuses on a challenge to presentationalism raised by inferential knowledge and argues that the problem can be solved only if presentationalism is understood as I suggest. The paper is structured as follows. §1 (...) explains presentationalism and its recent revival. §2 considers a flat-footed argument that presentationalism cannot get any cases of inferential knowledge right. §3 suggests that this problem can and should be solved by drawing a distinction between two kinds of epistemic priority, and by holding that inferential knowledge can be immediate in an epistemologically significant sense. But §4 argues that this only goes so far, since not all inferential knowledge is alike. This further problem can also be solved, but only if presentationalism is reframed as a proposal about epistemic architecture that does not compete with belief-based and knowledge-first accounts, §5 concludes. (shrink)

Ernest Sosa (1940-) is a central figure in contemporary epistemology. He is best known for pioneering the subfield of virtue epistemology, as well as developing across four decades his own distinctive framework in this tradition. Besides providing an overview of this work, this article offers a guide to Sosa’s other contributions to epistemology, stretching back to his first publication in 1964. The organization is as follows. §1 reviews Sosa’s distinctive brand of virtue epistemology and its development since 1980. §2 provides (...) a fuller synopsis of Sosa’s contributions to epistemology in five parts, covering his work on (i) the structure of justification and knowledge, (ii) the dawning of knowledge and understanding, (iii) skepticism and the possibility of empirical knowledge, (iv) methodology and the possibility of philosophy, and (v) the relationship between mind and world. Our aim is to encourage renewed appreciation of the full scope and depth of Sosa’s epistemology. We hope the reader will benefit from (re)exploring Sosa’s work guided by the map detailed below. (shrink)

According to the safety account of knowledge, one knows that p only if one’s belief in p could not easily have been false. In the literature, most objections to the safety account rely on intuition of knowledge that could be easily denied by the safety theorists. In this paper, an objection to the safety account which does not make use of such intuition is raised. It is argued that either there are instances of unsafe knowledge or the safety account has (...) an implausible implication that one’s epistemic status might depend on what happens in the future. (shrink)

Nozick has an account of inferential knowledge which has rarely been discussed. According to this account, in order to know q via competent inference from p, S’s belief in q should track the truth of p in the right way. In detail, S knows via competent inference from p that q iff 1*. S knows that p. 2*. q is true, and S infers q from p. 3*. If q were false, S wouldn’t believe that p. 4*. If q were (...) true, S would believe that p. In this paper, it is argued that the account is problematic. It is both too restrictive and too inclusive. It is too restrictive because condition 4* is not satisfied in some cases of inferential knowledge. It is too inclusive because condition 3*, together with other conditions, could be easily satisfied in some cases where inferential knowledge does not exist. (shrink)

These thirteen paragraphs portray epistemology as the study, not directly of knowing as a human action (which could be considered the object also of anthropology) but as the study of the mode of being of the object in the subject and, in this sense, of intentional being. Moreover, intentional being is not understood as the being of the cognitional species or representation, which is real and subjective, but as the being of the known, as the presence of the known to (...) the knower (obviously, through the species but a being not reduced to the subjective being of the species): this kind of being is the proper object of epistemology. Other considerations regarding the distinction between metaphysics and epistemology take place as well. As regards the method, this essay attempts to apply Aquinas’ four steps of scientific reasoning to epistemology, in the following fashion and order: 1- Solution of the problem of the universals by recourse to the theory of the agent intellect (resolutio secundum rem); 2- Definition of knowledge as intentional possession of being (res. sec. rationem); 3- Judgment of value regarding the different instances of human knowledge or critique of knowledge (compositio secundum rem) and 4- Reinterpretation (in the light of the previous path) of common notions of epistemology, such as truth, certainty, evidence, and error (comp. sec. rationem). (shrink)

Thought experiments figure prominently in contemporary epistemology. Beyond that humdrum observation, controversy abounds. The aim of this paper is to make progress on two fronts. On the descriptive front, the aim is to illuminate what the practice of using thought experiments involves. On the normative front, the aim is to illuminate what the practice of using thought experiments should involve. Thought experiments result in judgments that are passed on to further philosophical reasoning. What are these judgments? What is the point (...) of making them? What basis do we have for making them? A conception of thought experiments includes answers to these three questions. My thesis is that epistemologists should use thought experiments in accordance with a conception of them organized around the idea of explanation. My case for endorsing the thesis rests on the fruitfulness of the interventions in current debates about the content, point, and basis of thought experiment judgments that it suggests. (shrink)

Despite recent controversies surrounding the principle that knowledge entails truth (KT), this paper aims to prove that the principle is true. It offers a proof of (KT) in the following sense. It advances a deductively valid argument for (KT), whose premises are, by most lights, obviously true. Moreover, each premise is buttressed by at least two supporting arguments. And finally, all premises and supporting arguments can be rationally accepted by people who don’t already accept (KT).

This paper shows that Hume was ultimately forced to conclude in The Treatise that all demonstrative and intuited claims can in fact, be imagined as otherwise. As a result, he was forced to conclude that all knowledge claims must, ultimately, reduce to probable claims, or in Hume’s own, and indisputably clear words: “all knowledge degenerates into probability." As a further result, it is suggested (briefly) that this anticipates Quine’s well-known attack on the analytic / synthetic distinction (Quine 1953).

Maria Rosa Antognazza's work has issued a historical challenge to the thesis that the analysis of knowledge (as justified true belief) attacked by epistemologists from Gettier onwards was indeed the standard view traditionally upheld from Plato onwards. This challenge led to an ongoing reappraisal of the historical significance of intuitive knowledge, in which the knower is intimately connected to what is known. Such traditional accounts of intuition, and their accompanying claims to epistemological primacy, constituted the precise target of Moritz Schlick's (...) critique. Schlick engages with this topic throughout his oeuvre, from some of his early epistemological writings, to his anti-metaphysical stance as a leading Logical Empiricist. Schlick crucially distinguishes knowledge from mere acquaintance, denying that the latter has epistemic status. He therefore argues that the very notion of ‘intuitive knowledge’ is a contradictio in adjecto. (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)

One interesting and potentially attractive feature of the sensitivity account of knowledge is that it not only preserves knowledge of ordinary propositions, but also concedes the skeptic's intuition that we do not know skeptical hypotheses do not obtain. This paper challenges the sensitivity‐based reply to the skeptic, advocated by Robert Nozick, among others. Sensitivity generates an implausibly bizarre result that although we do not know we are not brains in vats (because a belief to this effect is insensitive), a real (...) BIV who is in a much worse epistemic situation can sensitively believe that it is not in the good case. This result reveals a fundamental problem with the sensitivity conditional: its antecedent is not suitable for picking out possibilities that are relevant for our epistemic evaluation. I then offer a systematic explanation of why it is the safety account—the main competitor of sensitivity—that picks out a more suitable set of possibilities. A consequence of this comparison is that the safety account delivers an overall more satisfying reply to the skeptic than sensitivity does. (shrink)

I advance a novel argument for an infallibilist theory of knowledge, according to which we know all and only those propositions that are certain for us. I argue that this theory lets us reconcile major extant theories of knowledge, in the following sense: for any of these theories, if we require that its central condition (evidential support, reliability, safety, etc.) obtains to a maximal degree, we get a theory of knowledge extensionally equivalent to infallibilism. As such, the infallibilist can affirm (...) that, when their conditions are suitably interpreted, most post-Gettier theories of knowledge offer necessary and sufficient conditions for knowledge. The infallibilist can thus reconcile major theories of knowledge, and is in a better position to explain the intuitive appeal of these theories than the fallibilist who only accepts one of them, and rejects the rest. (shrink)

In this essay, we explore how digital publishing can intervene in these processes and serve as a form of feminist activism. We take as our focus the Journal of Interactive Technology and Pedagogy (JITP), founded in 2011 to expand the perspectives and standpoints that count as scholarly knowledge production and provide graduate students with editorial experience. As three long-standing members of the journal’s editorial collective, we have firsthand knowledge of how JITP’s publishing methods were developed through debate, struggle, and dialogue, (...) including many missteps and failures along the way. We argue that JITP's collaborative knowledge practices of inclusive editorial governance, open access, and open peer review are fundamentally feminist, as they diversify scholarly voices and increase access to the material channels in and through which knowledge circulates. At stake in our reflective analysis is a broader claim that extends beyond the parameters of our work with one particular journal: that feminist digital publishing methods can expand what counts as knowledge production. (shrink)

This article examines Christoph Kelp's project of epistemology, which combines the approaches of Timothy Williamson's knowledge-first approach and Ernest Sosa's virtue reliabilism. Arguments are given in favour of the position that Kelp's theory of competence is a quite productive and substantially self-contained epistemological concept. It allows to construct special epistemologies and to analyse the competence of non-human actors.

In this paper, I develop and motivate a novel formulation of the safety condition in terms of etiological proper function. After testing this condition against the most pressing objections to safety-theoretic accounts of knowledge in the literature, my conclusion will be the following: once safety is suitably understood in terms of etiological proper function, it stands a better chance as the right anti-Gettier condition on knowledge.

A significant discrepancy in Wittgenstein's studies is whether Philosophical Investigations contains any trace of positive philosophy, notwithstanding the author's apparent anti-theoretic position. This study argues that the so-called ‘Chapter on philosophy’ in the Investigations §§89–133 contains negative and positive vocabulary and the use of various voices through which Wittgenstein employs his primary method of language-games, thus providing a surveyable understanding of several philosophical concepts, such as knowledge and time. His positive philosophy aims to reorient our attention from understanding the theories (...) on these concepts to understanding the concepts themselves, regardless of any theorisation. (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)

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)

Modalists think that knowledge requires forming your belief in a “modally stable” way: using a method that wouldn't easily go wrong, or using a method that wouldn't have given you this belief had it been false. Recent Modalist projects from Justin Clarke-Doane and Dan Baras defend a principle they call “Modal Security,” roughly: if evidence undermines your belief, then it must give you a reason to doubt the safety or sensitivity of your belief. Another recent Modalist project from Carlotta Pavese (...) and Bob Beddor defends “Modal Virtue Epistemology”: knowledge is a belief that is maximally modally robust across “normal” worlds. We'll offer new objections to these recent Modalist projects. We will then argue for a rival view, Explanationism: knowing something is believing it because it's true. We will show how Explanationism offers a better account of undermining defeaters than Modalism, and a better account of knowledge. (shrink)

Post-Gettier epistemology is increasingly modalized epistemology – proposing and debating modally explicable conditionals with suitably epistemic content (an approach initially inspired by Robert Nozick's 1981 account of knowledge), as needing to be added to 'true belief' in order to define or understand knowing's nature. This Element asks whether such modalized attempts – construed as responding to what the author calls Knowing's Further Features question (bequeathed to us by the Meno and the Theaetetus) – can succeed. The answer is that they (...) cannot. Plato's and Aristotle's views on definition reinforce that result. Still, in appreciating this, we might gain insight into knowing's essence. We might find that knowledge is, essentially, nothing more than true belief. (shrink)

This book attempts to revolutionise epistemology. A traditional goal of epistemology is to provide an analysis of knowledge in terms of more basic things. But the post-Gettier literature has made some philosophers like Timothy Williamson suspect that knowledge cannot be analysed. Kelp claims that both the traditional project and Williamson's knowledge-first project are misguided. He provides an alternative: Knowledge is an item in an inquiry-related network and can thereby be analysed in terms of its relations to other items in the (...) network, rather than of things that are more basic than knowledge.Kelp begins his book by distinguishing two types of inquiry: inquiry into specific questions (such as whether Plato's Republic advocates totalitarianism and when World War I took place) and inquiry into general phenomena (such as the rise of the Roman Empire and the origins of species). Chapter 1 argues that the goal of inquiry into specific questions—Kelp's discussion focuses on whether questions—is knowledge. This is because even if the inquirer into whether p acquires a Gettierised justified true belief that p, she has not achieved the goal of inquiry, for the question of whether p has not been properly closed for her: she can be sensibly asked to do more research. (shrink)

Despite the substantial appeal of the safety condition, Kelp (J Philos Res 34:21–31, 2009; Am Philos Q 53:27–37; Good Thinking. A Knowledge First Virtue Epistemology, Routledge, London, 2018) has raised a difficult challenge for safety-theoretic accounts of knowledge. By combining Gettier-style fake barn cases with epistemic Frankfurt cases, he concludes that no formulation of safety can be strong enough to predict ignorance in the former and weak enough to accommodate knowledge in the latter. In this note, my contribution is two-fold. (...) Firstly, I take up Kelp’s challenge and I show that, once properly understood, safety successfully rises to it. Secondly, I draw a more general lesson on the safety condition: a satisfactory solution to Kelp’s challenge calls for a revision of the standard formulation of safety, which must be indexed to both methods and environments. My conclusion will be that an environment-relative version of safety not only meets Kelp’s challenge, but it also advances our understanding of the safety condition on knowledge. (shrink)

Recent epistemology has witnessed a substantial opposition between two competing approaches to capturing the notion of non-accidentality in the analysis of knowledge: the explanationist and the modalist. According to the latest advocates of the former, S knows that p if and only if S believes that p because p is true. According to champions of the latter, S knows that p if and only if S's belief that p is true in a relevant set of possible worlds. Because Bogardus and (...) Perrin's explanationism promises to deliver a plausible analysis of knowledge without any need for modal notions, it is an elegant proposal with prima facie appeal. However, such version of explanationism ultimately does not live up to its promises: in this paper, I raise some objections to their explanationist analysis of knowledge while showing that modalism is in much better shape than they think. In particular, I argue that their explanationist condition generates the wrong results in Gettier cases and fake-barn cases. I also offer and defend a novel version of modalism: I introduce a refined safety condition which is shown to successfully handle the same Gettier cases that beset Bogardus and Perrin's version of explanationism. The paper concludes with a reassessment of the explanationist's initial ambition to provide an analysis of knowledge without modal notions. The upshot will be that even if the prospects for such analysis remain dim, our money should be on the modalist, not the explanationist. (shrink)

A standard view in philosophy is that knowledge entails justification. Yet recent research suggests otherwise. We argue that this admirable and striking research suffers from an important limitation: participants were asked about knowledge but not justification. Thus it is possible that people attributed knowledge partly because they thought the belief was justified. Perhaps though, if given the opportunity, people would deny justification while still attributing knowledge. It is also possible that earlier findings were due to perspective taking. This paper reports (...) further research that directly addresses these questions. Our findings support the hypothesis that knowledge entails justification on the ordinary view. (shrink)

Whether some condition is equivalent to a conjunction of some conditions has been a major issue in analytic philosophy. Examples include: knowledge, acting freely, causation, and justice. Philosophers have striven to offer analyses of these, and other concepts, by showing them equivalent to such a conjunction. Timothy Williamson offers a number of arguments for the idea that knowledge is ‘prime’, hence not equivalent to or composed by some such conjunction. I focus on one of his arguments: the requirement that such (...) conjuncts must be freely recombinable. Although there has been a great deal of discussion of Williamson's arguments, the flaw I describe has gone unnoticed. Williamson's argument is expressed in terms of conditions, and cases of the condition. Does the condition include specific information, or is the specific information only part of the case? His argument equivocates between more and less general specifications of the conditions. Once this distinction is clarified, his argument can be seen to be vitiated by this conflation. Neither option yields a sound argument for Williamson's desired conclusion. (shrink)

This essay explores a problem for Nyāya epistemologists. It concerns the notion of pramā. Roughly speaking, a pramā is a conscious mental event of knowledge-acquisition, i.e., a conscious experience or thought in undergoing which an agent learns or comes to know something. Call any event of this sort a knowledge-event. The problem is this. On the one hand, many Naiyāyikas accept what I will call the Nyāya Definition of Knowledge, the view that a conscious experience or thought is a knowledge-event (...) just in case it is true and non-recollective. On the other hand, they are also committed to what I shall call Nyāya Infallibilism, the thesis that every knowledge-event is produced by causes that couldn’t have given rise to an error. These two commitments seem to conflict with each other in cases of epistemic luck, i.e., cases where an agent arrives a true judgement accidentally or as a matter of luck. While the Nyāya Definition of Knowledge seems to predict that these judgements are knowledge-events, Nyāya Infallibilism seems to entail that they aren’t. In this essay, I show that Gaṅgeśa Upādhyāya, the 14th century Naiyāyika, solves this problem by adopting what I call epistemic localism, the view that upstream causal factors play no epistemically significant role in the production of knowledge. (shrink)

This paper models knowledge in cases where an agent has multiple experiences over time. Using this model, we introduce a series of observations that undermine the pretheoretic idea that the evidential significance of experience depends on the extent to which that experience matches the world. On the basis of these observations, we model knowledge in terms of what is likely given the agent’s experience. An agent knows p when p is implied by her epistemic possibilities. A world is epistemically possible (...) when its probability given the agent’s experiences is not significantly lower than the probability of the actual world given that experience. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

Classical philosophical analyses seek to explain knowledge as deriving from more basic notions. The influential “knowledge first” program in epistemology reverses this tradition, taking knowledge as its starting point. From the perspective of epistemic logic, however, this is not so much a reversal as it is the default—the field arguably begins with the specialization of “necessity” to “epistemic necessity”—that is, it begins with knowledge. In this context, putting knowledge second would be the reversal. This article motivates, develops, and explores such (...) a “knowledge second” approach in epistemic logic, founded on distinguishing what a body of evidence actually entails from what it is (merely) believed to entail. We import a logical framework that captures exactly this distinction, use it to define formal notions of (internal and external) justification and knowledge, and investigate applications to the KK principle, the “strong belief” postulate, and the regress problem. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth for (...) present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

Recently John Turri (2015b) has argued, contra the orthodoxy amongst epistemologists, that reliability is not a necessary condition for knowledge. From this result, Turri (2015a, 2017, 2016a, 2019) defends a new account of knowledge - called abilism - that allows for unreliable knowledge. I argue that Turri's arguments fail to establish that unreliable knowledge is possible and argue that Turri's account of knowledge is false because reliability must be a necessary condition for knowledge.

In this paper, we propose a general constraint on theories of knowledge that we call ‘normalism’. Normalism is a view about the epistemic threshold that separates knowledge from mere true belief; its basic claim is that one knows only if one has at least a normal amount of epistemic support for one’s belief. We argue that something like normalism is required to do full justice to the normative role of knowledge in many key everyday practices, such as assertion, inquiry, and (...) testimony. The view of normality we employ to flesh out this claim is inspired by experimental work on the folk notion of normality, which suggests that folk judgments of what is ‘normal’ are based upon both statistical averages as well as normative ideals within the relevant target domain. Adopting this notion of normality to set the threshold for knowledge results in a view upon which knowledge is routinely available on an everyday basis without being a merely trivial achievement. We explore several interesting consequences of this view, including the implication that the threshold for knowing may change as, e.g., the ease of availability of information in an epistemic community changes over time. The result is a ‘shifty’ view of knowledge which nonetheless retains more stability than standard contextualist or pragmatic encroachment approaches. (shrink)

Intuitively, knowledge is distinctively valuable, i.e., knowledge is more valuable than any of its proper parts. Call it “the distinctive value thesis.” Recently, the distinctive value thesis has been forcefully challenged by three arguments, which I call “the swamping argument,” “the generalized swamping argument,” and “the ad hoc argument,” respectively. These three arguments rely on what I will call “epistemic veritism,” the view that the distinctive value of knowledge is parasitic on the value of truth. Against these arguments, I argue (...) that not only is epistemic veritism compatible with the distinctive value thesis, the former in effect implies the latter. My argument depends on the idea that justification enough for knowledge does not contain or presuppose certain falsehoods in a way that mere justification does. (shrink)

This paper provides an account of how virtue epistemology can accommodate knowledge acquired through testimony and extended cognition. Section 1 articulates the characteristic claim of virtue epistemology, and introduces the issues discussed in the paper. Section 2 details a related pair of objections to VE: that it is unable to accommodate cases of knowledge through testimony and extended cognition. Section 3 reviews two different virtue epistemologies and their responses to these objections presented in Greco :1–26, 2012). Considerations are presented for (...) why both of these accounts and responses are inadequate. Because of this, I suggest that it is unlikely that an analysis of the attribution relation will provide an adequate response to the objections. Section 4 advocates for a revised VE and a different way of dealing with the objections, which accommodates how agents are sometimes epistemically dependent on external sources. The central claim, for which a novel argument is presented, is that in some cases of knowledge the success is attributable to the abilities of an information system of which the knower is a part. This requires an important revision to traditional VE, but the characteristic claim of VE still holds true–every instance of knowledge is an instance of success attributable to ability. Thus, VE’s solutions to problems concerning the nature and value of knowledge are secured. (shrink)

Here is a definition of knowledge: for you to know a proposition p is for you to have an outright belief in p that is correct precisely because it manifests the virtue of rationality. This definition resembles Ernest Sosa’s “virtue theory”, except that on this definition, the only virtue that must be manifested in all instances of knowledge is rationality, and no reductive account of rationality is attempted—rationality is assumed to be an irreducibly normative notion. This definition is compatible with (...) “internalism” about rationality, and with a form of “pragmatic encroachment” on the conditions of rational outright belief. An interpretation is given of this definition, and especially of the sense of ’because’ that it involves. On this interpretation, this definition entails that both safety and adherence are necessary conditions on knowledge; it supports a kind of contextualism about terms like ‘knowledge’; and it provides resources to defend safety, adherence, and contextualism, against some recent objections. (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)

Modal epistemic conditions have played an important role in post-Gettier theories of knowledge. These conditions purportedly eliminate the pernicious kind of luck present in all Gettier-type cases and offer a rather convincing way of refuting skepticism. This motivates the view that conditions of this sort are necessary for knowledge. I argue against this. I claim that modal conditions, particularly sensitivity and safety, are not necessary for knowledge. I do this by noting that the problem cases for both conditions point to (...) a problem that cannot be fixed even by a revised similarity ranking or ordering of worlds. I offer as groundwork a set theoretical analysis of the profiles of the problem cases for safety and sensitivity. I then demonstrate that these conditions fail whenever necessary links constitutive of the epistemic situation actually obtain but are not modally preserved. (shrink)

This is a reply to Howard Sankey’s comment (“Factivity or Grounds? Comment on Mizrahi”) on my paper, “You Can’t Handle the Truth: Knowledge = Epistemic Certainty,” in which I present an argument from the factivity of knowledge for the conclusion that knowledge is epistemic certainty. While Sankey is right that factivity does not entail epistemic certainty, the factivity of knowledge does entail that knowledge is epistemic certainty.

Epistemology for the Rest of the World. Edited by Mizumoto Masaharu, Stich Stephen, McCready Eric.

I argue that S knows that p implies that S is properly committed to the truth of p, not that S believes that p. Belief is not required for knowledge because it is possible that one could know that there are no beliefs. Being ‘properly committed’ to the truth of a proposition is a matter of having a certain normative status, not occupying a particular psychological state. After arguing that knowledge requires commitment instead of belief, I go on to demonstrate (...) the theoretical utility of this hypothesis. (shrink)

The generality problem is one of the most pressing challenges for reliabilism. The problem begins with this question: of all the process types exemplified by a given process token, which types are the relevant ones for determining whether the resultant belief counts as knowledge? As philosophers like Earl Conee and Richard Feldman have argued, extant responses to the generality problem have failed, and it looks as if no solution is forthcoming. In this paper, I present a new response to the (...) generality problem that illuminates the nature of knowledge-enabling reliability. My response builds upon the insights of Juan Comesaña’s well-founded solution to the generality problem, according to which relevant types are content–evidence pairs, i.e., descriptions of both the target belief’s content and the evidence on which the belief was based. While most responses to the generality problem, including Comesaña’s, only posit one relevant type for any given process token, I argue that knowledge-enabling reliability requires a process token to be reliable with respect to multiple content–evidence pairs, each with varying degrees of descriptive specificity. I call this solution multi-type evidential reliabilism. After offering a clear formulation of MTE, I conclude by arguing that MTE is sufficiently informative to rebut Conee and Feldman’s generality problem objection to a reliability condition on knowledge. (shrink)