The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

In some lottery situations, the probability that your ticket's a loser can get very close to 1. Suppose, for instance, that yours is one of 20 million tickets, only one of which is a winner. Still, it seems that (1) You don't know yours is a loser and (2) You're in no position to flat-out assert that your ticket is a loser. "It's probably a loser," "It's all but certain that it's a loser," or even, "It's quite certain that it's (...) a loser" seem quite alright to say, but, it seems, you're in no position to declare simply, "It's a loser." (1) and (2) are closely related phenomena. In fact, I'll take it as a working hypothesis that the reason "It's a loser" is unassertable is that (a) You don't seem to know that your ticket's a loser, and (b) In flat-out asserting some proposition, you represent yourself as knowing it.1 This working hypothesis will enable me to address these two phenomena together, moving back and forth freely between them. I leave it to those who reject the hypothesis to sort out those considerations which properly apply to the issue of knowledge from those germane to that of assertability. Things are quite different when you report the results of last night's basketball game. Suppose your only source is your morning newspaper, which did not carry a story about the 1 game, but simply listed the score, "Knicks 83, at Bulls 95," under "Yesterday's Results." Now, it doesn't happen very frequently, but, as we all should suspect, newspapers do misreport scores from time to time. On several occasions, my paper has transposed a result, attributing to each team the score of its opponent. In fact, that your paper's got the present result wrong seems quite a bit more probable than that you've won the lottery of the above paragraph. Still, when asked, "Did the Bulls win yesterday?", "Probably" and "In all likelihood" seem quite unnecessary. "Yes, they did," seems just fine.. (shrink)

The use of ‘S knows p’ varies from context to context. The contextualist theories of Cohen, Lewis, and DeRose explain this variation in terms of semantic hypotheses: ‘S knows p’ is indexical in meaning, referring to features of the ascriber’s context like salience, interests, and stakes. The linguistic evidence against contextualism is extensive. I maintain that the contextual variation of knowledge claims results from pragmatic factors. One is variable strictness :395–438, 2007). In addition to its strict use, ‘S knows p’ (...) may be used loosely to implicate that S is close enough to knowing p for contextually indicated purposes. Here I explore another variable: belief about what is known. This factor is pragmatic rather than semantic in that it affects the use of ‘S knows p’ without affecting its truth conditions. While variation in strictness accounts for the variation in the bank, parking, and some lottery cases, variation in belief accounts for the variation in other lottery cases and the epistemology cases. Along the way, I sketch an insensitive invariantist semantics that is strict but non-skeptical, and show how it works with these pragmatic factors. (shrink)

There is abundant evidence of contextual variation in the use of “S knows p.” Contextualist theories explain this variation in terms of semantic hypotheses that refer to standards of justification determined by “practical” features of either the subject’s context (Hawthorne & Stanley) or the ascriber’s context (Lewis, Cohen, & DeRose). There is extensive linguistic counterevidence to both forms. I maintain that the contextual variation of knowledge claims is better explained by common pragmatic factors. I show here that one is variable (...) strictness. “S knows p” is commonly used loosely to implicate “S is close enough to knowing p for contextually indicated purposes.” A pragmatic account may use a range of semantics, even contextualist. I use an invariant semantics on which knowledge requires complete justification. This combination meets the Moorean constraint as well as any linguistic theory should, and meets the intuition constraint much better than contextualism. There is no need for ad hoc error theories. The variation in conditions of assertability and practical rationality is better explained by variably strict constraints. It will follow that “S knows p” is used loosely to implicate that the condition for asserting “p” and using it in practical reasoning are satisfied. (shrink)

In “How to Be an Infallibilist,” Julien Dutant (2016, 149) presents a simple and seemingly plausible argument that knowledge requires infallible belief—roughly, belief that could not be mistaken. As Dutant recognizes, infallibilism is almost universally dismissed, in large part because it seems to rule out any knowledge of the physical world. He seeks to show how we can be an Infallibilist without being a skeptic, based on the assumption that knowledge has a safety condition. I critically examine each line of (...) Dutant’s argument, showing that the argument is unsound on any plausible interpretation. I also question the idea that knowledge cannot be the conjunction of true belief and a nonfactive condition, that any belief about the physical world could not be false, and that any nonskeptical alternative to infallibilism would have to allow knowledge of chancy outcomes. I briefly suggest that a fallibilist account can be strict enough to satisfy the Infallibilist’s quest for certainty. (shrink)

In this paper I look at Fred Dretske’s account of information and knowledge as developed in Knowledge and The Flow of Information. In particular, I translate Dretske’s probabilistic definition of information to a modal logical framework and subsequently use this to explicate the conception of information and its flow which is central to his account, including the notions of channel conditions and relevant alternatives. Some key products of this task are an analysis of the issue of information closure and an (...) investigation into some of the logical properties of Dretske’s account of information flow. (shrink)

Dretske's conclusive reasons account of knowledge is designed to explain how epistemic closure can fail when the evidence for a belief does not transmit to some of that belief's logical consequences. Critics of Dretske dispute the argument against closure while joining Dretske in writing off transmission. This paper shows that, in the most widely accepted system for counterfactual logic , conclusive reasons are governed by an informative, non-trivial, logical transmission principle. If r is a conclusive reason for believing p in (...) Dretske's sense, and if p logically implies q, and if p and q satisfy one additional condition, it follows that r is a conclusive reason for believing q. After introducing this additional condition, I explain its intuitive import and use the condition to shed new light on Dretske's response to scepticism, as well as on his distinction between the so-called ‘lightweight’ and ‘heavyweight’ implications of a piece of perceptual knowledge. (shrink)

What relation must hold between a fact p and the corresponding belief that p for the belief to amount to knowledge? Many authors have recently proposed that the relation can be captured by subjunctive conditionals. In this paper I critically evaluate the main proposals along those lines.

Modal epistemologists parse modal conditions on knowledge in terms of metaphysical possibilities or ways the world might have been. This is problematic. Understanding modal conditions on knowledge this way has made modal epistemology, as currently worked out, unable to account for epistemic luck in the case of necessary truths, and unable to characterise widely discussed issues such as the problem of religious diversity and the perceived epistemological problem with knowledge of abstract objects. Moreover, there is reason to think that this (...) is a congenital defect of orthodox modal epistemology. This way of characterising modal epistemology is however optional. It is shown that one can non-circularly characterise modal conditions on knowledge in terms of epistemic possibilities, or ways the world might be for the target agent. Characterising the anti-luck condition in terms of epistemic possibilities removes the impediment to understanding epistemic luck in the case of necessary truths and opens the door to using these conditions to shed new light on some longstanding epistemological problems. (shrink)

We offer a novel theory of information that differs from traditional accounts in two respects: (i) it explains information in terms of counterfactuals rather than conditional probabilities, and (ii) it does not make essential reference to doxastic states of subjects, and consequently allows for the sort of objective, reductive explanations of various notions in epistemology and philosophy of mind that many have wanted from an account of information.

In “Beat the (Backward) Clock,” we argued that John Williams and Neil Sinhababu’s Backward Clock Case fails to be a counterexample to Robert Nozick’s or Fred Dretske’s Theories of Knowledge. Williams’ reply to our paper, “There’s Nothing to Beat a Backward Clock: A Rejoinder to Adams, Barker and Clarke,” is a further attempt to defend their counterexample against a range of objections. In this paper, we argue that, despite the number and length of footnotes, Williams is still wrong.

This paper deals with the semantic issues of epistemological contextualism - the doctrine according to which the truth-conditions of knowledge ascribing sentences vary depending on the context in which they are uttered. According to the contextualist, a sentence of the form "S knows that p" does not express a complete proposition. Different utterances of this same sentence, in different contexts of utterance, can express different propositions: "know" is context-dependent. Little attention has been paid to a precise formulation of the semantic (...) contextualist thesis grounding epistemological contextualism. My goal is then to assess differences and similarities between "know" and context-sensitive terms in a natural language – in particular pure indexicals and demonstratives: my remarks are a strong argument against the postulation of an indexical element in ascriptions of propositional knowledge. (shrink)

Philosophical Explorations, Volume 15, Issue 2, Page 87-90, June 2012.

In this paper, I lend credence to the move toward non-reductive religious epistemology by highlighting the systematic failings of Alvin Plantinga’s seminal, religious epistemology when it comes to surmounting the Gettier Problem. Taking Plantinga’s account as archetypal, I argue that we have systematic reasons to believe that no reductive theory of knowledge can viably surmount the Gettier Problem, that the future of religious epistemology lies in non-reductive models of knowledge.

The Gettier dilemma facing reductive analyses of knowledge has not been properly appreciated by virtue epistemologist or even virtue epistemology’s most vocal critics. In §1, we start by considering how recent critics of virtue epistemology understand the Gettier Problem facing virtue-theoretic accounts of knowledge. I highlight how the dilemma facing virtue- theoretic analyses of knowledge is more general than these critics seem to suggest. In §2, I elucidate the worry that the threat facing virtue epistemology is really a dilemma between (...) Gettier counterexamples and radical skepticism. In §3, we will consider how some recent virtue epistemologists have tried to viably defuse the Gettier Problem. We will see (i) just how the critiques elucidated in §1 have (mis)shaped the dialectic between virtue epistemology and what is required in solving Gettier counterexamples and (ii) how this has led to virtue epistemologists underestimating the widespread insidiousness of Gettier counterexamples. (shrink)

Our aim is to provide a topography of the relevant philosophical terrain with regard to the possible ways in which knowledge can be conceived of as extended. We begin by charting the different types of internalist and externalist proposals within epistemology, and we critically examine the different formulations of the epistemic internalism/externalism debate they lead to. Next, we turn to the internalism/externalism distinction within philosophy of mind and cognitive science. In light of the above dividing lines, we then examine first (...) the extent to which content externalism is compatible with epistemic externalism; second, whether active externalism entails epistemic externalism; and third whether there are varieties of epistemic externalism that are better suited to accommodate active externalism. Finally, we examine whether the combination of epistemic and cognitive externalism is necessary for epistemology and we comment on the potential ramifications of this move for social epistemology and philosophy of science. (shrink)

El propósito de este ensayo es presentar una interpretación deflacionaria de la línea dividida en República VI-VII. Argumento que una parte importante de las dificultades existentes entre la διάνοια y la νόησις radica en el hecho de que se leen las diferentes secciones de la línea dividida como si fueran compartimientos cerrados. Mi afirmación es que uno de los problemas cruciales y de difícil solución es cómo entender que un alma que opere según la νόησις pueda llevar a cabo sus (...) actividades cognitivas prescindiendo completamente de cualquier ingrediente sensible, toda vez que el alma que procede “noéticamente” está en un cuerpo. Para intentar explicar este importante detalle utilizo un pasaje del Fedón, en el que Platón intenta mostrar que es posible desentenderse del cuerpo “en la medida de lo posible”. La tesis de que el alma va ganando “claridad” a medida que va ascendiendo desde la εἰκασία hasta la νόησις, sostengo, podría entenderse como “certeza”: como algunos epistemólogos contemporáneos, Platón parece haber visualizado la idea de que, si hay conocimiento, tal conocimiento debe ser cierto, y tal certeza, sugiero, no se entiende como una mera certeza ‘psicológica’, sino como una certeza ‘epistémica’. Es decir, las razones que el sujeto cognoscente platónico posee son lo suficientemente fuertes como para creer que lo que cree es verdadero. (shrink)

A notorious objection to robust virtue epistemology—the view that an agent knows a proposition if and only if her cognitive success is because of her intellectual virtues—is that it fails to eliminate knowledge-undermining luck. Modest virtue epistemologists agree with robust virtue epistemologists that if someone knows, then her cognitive success must be because of her intellectual virtues, but they think that more is needed for knowledge. More specifically, they introduce independently motivated modal anti-luck principles in their accounts to amend the (...) problem of eliminating luck—this makes their views instances of impure virtue epistemology. The aim of the paper is to argue, firstly, that such a move lacks adequate motivation; secondly, that the resulting impure accounts equally fail to handle knowledge-undermining luck. On a more positive note, these results bolster a more orthodox virtue-theoretic approach to knowledge that assigns a fundamental explanatory role to the notion of ability. In this sense, the paper also sketches an account of ability and a corresponding account of knowledge that explains how success from ability is incompatible with success from luck. (shrink)

The distinction between true belief and knowledge is one of the most fundamental in philosophy, and a remarkable effort has been dedicated to formulating the conditions on which true belief constitutes knowledge. For decades, much of this epistemological undertaking has been dominated by a single strategy, referred to here as the modal approach. Shared by many of the most widely influential constraints on knowledge, including the sensitivity, safety, and anti-luck/risk conditions, this approach rests on a key underlying assumption — the (...) modal profiles available to known and unknown beliefs are in some way asymmetrical. The first aim of this paper is to deconstruct this assumption, identifying its plausibility with the way in which epistemologists frequently conceptualize human perceptual systems as excluding certain varieties of close error under conditions conducive to knowledge acquisition. The second aim of this paper is to then argue that a neural phase phenomenon indicates that this conceptualization is quite likely mistaken. This argument builds on the previous introduction of this neural phase to the context of epistemology, expanding the use of neural phase cases beyond relatively narrow questions about epistemic luck to a much more expansive critique of the modal approach as a whole. (shrink)

Realism concerning a given domain of things is the view that the things in that domain exist, and are as they are, quite independently of anyone.

In this paper we survey some main arguments for and against epistemological contextualism. We distinguish and discuss various kinds of contextualism, such as attributer contextualism (the most influential version of which is semantic, conversational, or radical contextualism); indexicalism; proto-contextualism; Wittgensteinian contextualism; subject, inferential, or issue contextualism; epistemic contextualism; and virtue contextualism. Starting with a sketch of Dretske's Relevant Alternatives Theory and Nozick's Tracking Account of Knowledge, we reconstruct the history of various forms of contextualism and the ways contextualists try to (...) handle some notorious epistemological quandaries, especially skepticism and the lottery paradox. Then we outline the most important problems that contextualist theories face, and give overviews of their criticisms and defenses as developed in this issue. (shrink)

A prominent objection to the knowledge norm of belief is that it is too demanding or too strong. The objection is commonly framed in terms of the idea that there is a tight connection between norm violation and the appropriateness of criticism or blame. In this paper I do two things. First, I argue that this way of motivating the objection leads to an impasse in the epistemic norms debate. It leads to an impasse when knowledge normers invoke excuses to (...) explain away a prima facie connection between blamelessness and justified belief. Second, I argue that a way out of the impasse becomes available when we take a closer look at some distinctions in the theory of responsibility. There are at least three different notions of responsibility relevant here. I argue that a weaker notion of responsibility – attributability – should be used to motivate the objection that the knowledge norm of belief is too strong. Insofar as the proposal motivates the objection without appeal to blamelessness, it opens up space to move beyond the impasse. (shrink)

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

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)

Since the most promising path to a solution to the problem of skepticism regarding perceptual knowledge seems to rest on a sharp distinction between perceiving and inferring, I begin by clarifying and defending that distinction. Next, I discuss the chief obstacle to success by this path, the difficulty in making the required distinction between merely logical possibilities that one is mistaken and the real (Austin) or relevant (Dretske) possibilities which would exclude knowledge. I argue that this distinction cannot be drawn (...) in the ways Austin and Dretske suggest without begging the questions at issue. Finally, I sketch and defend a more radical way of identifying relevant possibilities that is inspired by Austin's controversial suggestion of a parallel between saying I know and saying I promise: a claim of knowledge of some particular matter is relative to a context in which questions about the matter have been raised. (shrink)

Standard Analytic Epistemology (SAE) names a contingently clustered class of methods and theses that have dominated English-speaking epistemology for about the past half-century. The major contemporary theories of SAE include versions of foundationalism, coherentism, reliabilism, and contextualism. While proponents of SAE don’t agree about how to define naturalized epistemology, most agree that a thoroughgoing naturalism in epistemology can’t work. For the purposes of this paper, we will suppose that a naturalistic theory of epistemology takes as its core, as its starting-point, (...) an empirical theory. The standard argument against naturalistic approaches to epistemology is that empirical theories are essentially descriptive, while epistemology is essentially prescriptive, and a descriptive theory cannot yield normative, evaluative prescriptions. In short, naturalistic theories cannot overcome the is-ought divide. Our main goal in this paper is to show that the standard argument against naturalized epistemology has it almost exactly backwards. (shrink)

It is widely thought that if knowledge requires sensitivity, knowledge is not closed because sensitivity is not closed. This paper argues that there is no valid argument from sensitivity failure to non-closure of knowledge. Sensitivity does not imply non-closure of knowledge. Closure considerations cannot be used to adjudicate between safety and sensitivity accounts of knowledge.

This paper argues that for someone to know proposition p inferentially it is not enough that his belief in p and his justification for believing p covary with the truth of p through a sphere of possibilities. A further condition on inferential knowledge is that p's truth-maker is identical with, or causally related to, the state of affairs the justification is grounded in. This position is dubbed ‘identificationism.’.

The paper makes two points. First, any theory of knowledge must explain the difference between cases of knowledge from falsehood and Gettier cases where the subject relies on reasoning from falsehood. Second, the closeness-to-the-truth approach to explaining the difference between knowledge-yielding and knowledge-suppressing falsehoods does not hold up to scrutiny.

The paper proposes a novel account of justified evidence resistance. When S inquires as to whether p is the case, S resists available counterevidence e if S either fails to countenance e or is insensitive to e’s probative force. S is justified in resisting available counterevidence e if and only if e is irrelevant.

The global method safety account of knowledge states that an agent’s true belief that p is safe and qualifies as knowledge if and only if it is formed by method M, such that her beliefs in p and her beliefs in relevantly similar propositions formed by M in all nearby worlds are true. This paper argues that global method safety is too restrictive. First, the agent may not know relevantly similar propositions via M because the belief that p is the (...) only possible outcome of M. Second, there are cases where there is a fine-grained belief that is unsafe and a relevantly similar coarse-grained belief that is safe and where both beliefs are based on the same method M. Third, the reliability of conditional reasoning, a basic belief-forming method, seems to be sensitive to fine-grained contents, as suggested by the wide variation in success rates for thematic versions of the Wason selection task. (shrink)

Reliabilism furnishes an account of basic knowledge that circumvents the problem of the given. However, reliabilism and other epistemological theories that countenance basic knowledge have been criticized for permitting all-too-easy higher-level knowledge. In this paper, I describe the problem of easy knowledge, look briefly at proposed solutions, and then develop my own. I argue that the easy knowledge problem, as it applies to reliabilism, hinges on a false and too crude understanding of ‘reliable’. With a more plausible conception of ‘reliable’, (...) a simple and elegant solution emerges. (shrink)

Epistemic luck has been the focus of much discussion recently. Perhaps the most general knowledge-precluding type is veritic luck, where a belief is true but might easily have been false. Veritic luck has two sources, and so eliminating it requires two distinct conditions for a theory of knowledge. I argue that, when one sets out those conditions properly, a solution to the generality problem for reliabilism emerges.

We often think or say that someone was wrong about something but almost right about it or close to the truth. This can mean more than one thing. Here, I propose an analysis of the idea of being epistemically close to the truth. This idea plays an important role in our practice of epistemic evaluation and therefore deserves some detailed attention. I start with an exposition of the idea of getting things right by looking at the main forms of reliabilism (...) about true belief and belief acquisition. The focus on reliabilism is justified because everyone is a reliabilist in a basic sense. Section 2 develops a notion of closeness to the truth in two steps. Section 3 mentions some ways in which this notion is useful, one having to do with the Gettier problem. (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)

The article presents information on the capabilities of Dretske-style analysis of knowing (DAK) and of several competing analyses with respect to accounting for the apparent facts. It informs that the DAK can ground plausible verdicts about knowledge and ignorance in cases involving lotteries. It further informs that the knowledge-efficacy donor imply the implausible thesis.

A familiar criticism of religious belief starts from the claim that a typical religious believer holds the particular religious beliefs she does just because she happened to be raised in a certain cultural setting rather than some other. This claim is commonly thought to have damaging epistemological consequences for religious beliefs, and one can find statements of an argument in this vicinity in the writings of John Stuart Mill and more recently Philip Kitcher, although the argument is seldom spelled out (...) very precisely. This paper begins by offering a reconstruction of an argument against religious beliefs from cultural contingency, which proceeds by way of an initial argument to the unreliability of the processes by which religious beliefs are formed, whose conclusion is then used to derive two further conclusions, one which targets knowledge and the other, rationality. Drawing upon recent work in analytic epistemology, I explore a number of possible ways of spelling out the closely related notions of accidental truth, epistemic luck, and reliability upon which the argument turns. I try to show that the renderings of the argument that succeed in securing the sceptical conclusion against religious beliefs also threaten scepticism about various sorts of beliefs besides religious beliefs. (shrink)

Feminist epistemologies hold that differences in the social locations of inquirers make for epistemic differences, for instance, in the sorts of things that inquirers are justified in believing. In this paper we situate this core idea in feminist epistemologies with respect to debates about social constructivism. We address three questions. First, are feminist epistemologies committed to a form of social constructivism about knowledge? Second, to what extent are they incompatible with traditional epistemological thinking? Third, do the answers to these questions (...) raise serious problems for feminist epistemologies? We argue that some versions of two of the main strands in feminist epistemology – feminist standpoint theory and feminist empiricism – are committed to a form of social constructivism, which requires certain departures from traditional epistemological thinking. But we argue that these departures are less problematic than one might think. Thus, (some) feminist epistemologies provide a plausible way of understanding how (some) knowledge might be socially constructed. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)