Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, (...) because of its façade as an epistemological analysis. This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language. (shrink)

This chapter reviews some faults of the theoretical literature and findings from the experimental literature on “Gettier” cases. Some “Gettier” cases are so poorly constructed that they are unsuitable for serious study. Some longstanding assumptions about how people tend to judge “Gettier” cases are false. Some “Gettier” cases are judged similarly to paradigmatic ignorance, whereas others are judged similarly to paradigmatic knowledge, rendering it a theoretically useless category. Experimental procedures can affect how (...) people judge “Gettier” cases. Some important central tendencies in judging “Gettier” cases appear to be robust against demographic variation in biological sex, age, language, and culture, although there could be some interesting differences related to culture and personality traits. Some remaining questions regarding Gettier’s cases, “Gettier” cases, and “the Gettier problem” concern the psychology and sociology of contemporary anglophone theoretical epistemology. Some remaining questions regarding the empirical study of knowledge judgments concern mechanisms underlying observed behavioral patterns. (shrink)

“Gettier cases” have played a major role in Anglo-American analytic epistemology over the past fifty years. Philosophers have grouped a bewildering array of examples under the heading “Gettier case.” Philosophers claim that these cases are obvious counterexamples to the “traditional” analysis of knowledge as justified true belief, and they treat correctly classifying the cases as a criterion for judging proposed theories of knowledge. Cognitive scientists recently began testing whether philosophers are right about these cases. (...) It turns out that philosophers were partly right and partly wrong. Some “Gettier cases” are obvious examples of ignorance, but others are obvious examples of knowledge. It also turns out that much research in this area of philosophy is marred by experimenter bias, invented historical claims, dysfunctional categorization of examples, and mischaracterization by philosophers of their own intuitive judgments about particular cases. Despite these shortcomings, lessons learned from studying “Gettier cases” are leading to important insights about knowledge and knowledge attributions, which are central components of social cognition. (shrink)

The term “Gettier Case” is a technical term frequently applied to a wide array of thought experiments in contemporary epistemology. What do these cases have in common? It is said that they all involve a justified true belief which, intuitively, is not knowledge, due to a form of luck called “Gettiering.” While this very broad characterization suffices for some purposes, it masks radical diversity. We argue that the extent of this diversity merits abandoning the notion of a “ (...) class='Hi'>Gettier case” in a favour of more finely grained terminology. We propose such terminology, and use it to effectively sort the myriad Gettier cases from the theoretical literature in a way that charts deep fault lines in ordinary judgments about knowledge. (shrink)

The orthodox view in contemporary epistemology is that Edmund Gettier refuted the JTB analysis of knowledge, according to which knowledge is justified true belief. In a recent paper Moti Mizrahi questions the orthodox view. According to Mizrahi, the cases that Gettier advanced against the JTB analysis are misleading. In this paper I defend the orthodox view.

Human epistemic subjects cannot but employ imperfect and limited tools to gain knowledge. Even in the seemingly simple business of acquiring knowledge of the value of a physical quantity, what the instrument reads or perception tells more often that not does not correspond to real value. However, even though both our perceptual apparatus and measuring instruments are sensible to background noise, under certain conditions, collecting more information of the same quantity using the same tools leads to an improvement of the (...) subject's epistemic condition. The aim of this paper is to formalize this intuition employing a model which extends Williamson (2013) on the arising of Gettier cases in epistemic logic. From a model where each world is univocally represented by the pair r, a defined by the real value and the apparent one, I will be considering a scenario wherein the subject has collected n appearances of the real parameter, so that each world is identified by a n + 1-tuple. On the assumptions that the n data are all independent and regarded by the subject as equally reliable, a plausible model should be able to describe three phenomena. First of all, the more coherent and closer to represent the real value the set of n appearances is, the more knowledge of the real value is gained. Secondly, the more the subject goes on acquiring "good" data, the more she knows. Thirdly, the world where the n apparent values and the real one match is the best world for the subject. Following Williamson, I shall put forth a system for multiple appearances in epistemic logic that aims at modeling these phenomena by describing the interval within which the real value is known to lie. (shrink)

Williamson has a strikingly economical way of showing how justified true belief can fail to constitute knowledge: he models a class of Gettier cases by means of two simple constraints. His constraints can be shown to rely on some unstated assumptions about the relationship between reality and appearance. These assumptions are epistemologically non-trivial but can be defended as plausible idealizations of our actual predicament, in part because they align well with empirical work on the metacognitive dimension of experience.

Timothy Williamson has fruitfully exploited formal resources to shed considerable light on the nature of knowledge. In the paper under examination, Williamson turns his attention to Gettier cases, showing how they can be motivated formally. At the same time, he disparages the kind of justification he thinks gives rise to these cases. He favors instead his own notion of justification for which Gettier cases cannot arise. We take issue both with his disparagement of the (...) kind of justification that figures in Gettier cases and the specifics of the formal motivation. (shrink)

Gettier cases are used to show that having a justified true belief is not sufficient for knowledge. They are cases in which an epistemic agent has a belief that is both justified and true, but intuitively cannot be taken to count as knowledge. Modal epistemology is the field of philosophy that tackles questions regarding the sources of our knowledge of modalities (possibility and necessity) and what offers justification for beliefs about what is possible or necessary. Part of (...) the tradition in modal epistemology is to consider conceivability as a guide to metaphysical possibility. As such, if an agent can conceive that P, then the agent is justified to believe that P is metaphysically possible. In this paper I will discuss the possibility of constructing Gettier cases for a tripartite, conceivability-based, definition of modal knowledge. (shrink)

I argue in this paper that the cases Gettier considers are not examples of justified true beliefs and that the question whether justified true belief sufficiently defines knowledge is not in fact, addressed. Indeed, the question is wholly untouched by Gettier or glossed over at best.

One of the most discussed articles in the theory of knowledge is Edmund Gettier’s article “Is Justified True Belief Knowledge?”, published in 1963. In this article Gettier undermined the view that knowledge is justified true belief. I think that Gettier’s analysis has consequences not only for the question what knowledge is but also for our idea of truth. In this paper I argue that an analysis in the sense of Gettier shows that a statement can be (...) both true and not true at the same time. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, (...) we explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models (...) of knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological (...) models of knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

A brief idea on statistics and epistemology.

[ES] En este breve trabajo, se presenta una edición bilingüe de Is Justified True Belief Knowledge?, de Edmund L. Gettier, donde se presentan contraejemplos a la definición de «conocimiento» como «creencia verdadera justificada». [ES] In this brief text, a bilingual edition of Is Justified True Belief Knowledge?, by Edmund L. Gettier, some counterexamples are presented to the definition of «knowledge» as «justified true belief».

Moti Mizrahi argues that Gettier cases are unsuccessful counterexamples to the traditional analysis of knowledge (TAK) because such cases inadequately reveal epistemic failures of justified true belief (JTB); and because Gettier cases merely demonstrate semantic inadequacy, the apparent epistemic force of Gettier cases is misleading. Although Mizrahi claims to have deflated the epistemic force of Gettier cases, I will argue that the presence of semantic deficiency in Gettier cases neither (...) requires nor indicates the denial of the epistemic force of those cases. I will provide an extracted version of Mizrahi’s argument, which I believe to be most charitable to his motivation. Then I will offer a counterexample to a pivotal premise in Mizrahi’s argument, ultimately rendering the argument unsound. Finally, upon the examination of a plausible objection, I conclude that Gettier cases are epistemically sustained. (shrink)

In this paper, it is argued that there are (at least) two different kinds of ‘epistemic normativity’ in epistemology, which can be scrutinized and revealed by some comparison with some naturalistic studies of ethics. The first kind of epistemic normativity can be naturalized, but the other not. The doctrines of Quine’s naturalized epistemology is firstly introduced; then Kim’s critique of Quine’s proposal is examined. It is argued that Quine’s naturalized epistemology is able to save some room for the concept of (...) epistemic normativity and therefore his doctrine can be protected against Kim’s critique. But, it is the first kind of epistemic normativity that can be naturalized in epistemology. With the assistance of Goldman’s fake barn case, it is shown that the concept of epistemic normativity that is involved in the concept of knowing, which cannot be fully naturalized. The Gettier problem indicates that Quine only gets partially right idea concerning whether epistemology can (and should) be natualized. (shrink)

Many epistemologists use intuitive responses to particular cases as evidence for their theories. Recently, experimental philosophers have challenged the evidential value of intuitions, suggesting that our responses to particular cases are unstable, inconsistent with the responses of the untrained, and swayed by factors such as ethnicity and gender. This paper presents evidence that neither gender nor ethnicity influence epistemic intuitions, and that the standard responses to Gettier cases and the like are widely shared. It argues that (...) epistemic intuitions are produced by the natural ‘mindreading’ capacity that underpins ordinary attributions of belief and knowledge in everyday social interaction. Although this capacity is fallible, its weaknesses are similar to the weaknesses of natural capacities such as sensory perception. Experimentalists who do not wish to be skeptical about ordinary empirical methods have no good reason to be skeptical about epistemic intuitions. (shrink)

It has been pointed out that Gettier case scenarios have deviant realizations and that deviant realizations raise a difficulty for the logical analysis of thought experiments. Grundmann and Horvath have shown that it is possible to rule out deviant realizations by suitably modifying the scenario of a Gettier-style thought experiment. They hypothesize further that the enriched scenario corresponds to the way expert epistemologists implicitly interpret the original one. However, no precise account of this implicit enrichment is offered, which (...) makes the proposal somewhat ad hoc. Drawing on pragmatic theory, I argue that the content of Grundmann and Horvath’s modified scenario corresponds to the default interpretation of the original scenario and that epistemological expertise is not required to access the deviance-proof interpretation. This Default Interpretation proposal offers thus a more general and independently motivated solution to the Problem of Deviant Realizations. (shrink)

A critical review of “Gettier” cases and theoretical attempts to solve “the” "Gettier" "problem".

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...) they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as (...) analytic philosophy of language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

[This is a paper that was originally written in 2017 and doesn't represent Silva's current thinking about degrees of confidence, conviction, and rationality.] Can there be knowledge and rational belief in the absence of a rational degree of confidence? Yes, and cases of "mistuned knowledge" demonstrate this. In this paper we leverage this normative possibility in support of advancing our understanding of the metaphysical relation between belief and credence. It is generally assumed that a Lockean metaphysics of belief that (...) reduces outright belief to degrees of confidence would immediately effect a unification of coarse-grained epistemology of belief with fine-grained epistemology of confidence. Scott Sturgeon has suggested that the unification is effected by understanding the relation between outright belief and confidence as an instance of the determinable-determinate relation. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon of “mistuned knowledge”—knowledge and rational belief in the absence of rational confidence. We contend that there are genuine cases of mistuned knowledge and that, therefore, epistemological unification must forego token identity of belief and high confidence. We show how partial epistemological unification can be secured given determination of outright belief by degrees of confidence even without token-identity. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

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)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are (...) characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, (...) and physiology, which are examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

We consider the complex interactions between rape culture and epistemology. A central case study is the consideration of a deferential attitude about the epistemology of sexual assault testimony. According to the deferential attitude, individuals and institutions should decline to act on allegations of sexual assault unless and until they are proven in a formal setting, i.e., a criminal court. We attack this deference from several angles, including the pervasiveness of rape culture in the criminal justice system, the epistemology of (...) testimony and norms connecting knowledge and action, the harms of tacit idealizations away from important contextual factors, and a contextualist semantics for 'knows' ascriptions. (shrink)

Do laypeople and philosophers differ in their attributions of knowledge? Starmans and Friedman maintain that laypeople differ from philosophers in taking ‘authentic evidence’ Gettier cases to be cases of knowledge. Their reply helpfully clarifies the distinction between ‘authentic evidence’ and ‘apparent evidence’. Using their sharpened presentation of this distinction, we contend that the argument of our original paper still stands.

In recent years, some epistemologists have argued that practical factors can make the difference between knowledge and mere true belief. While proponents of this pragmatic thesis have proposed necessary and sufficient conditions for knowledge, it is striking that they have failed to address Gettier cases. As a result, the proposed analyses of knowledge are either lacking explanatory power or susceptible to counterexamples. Gettier cases are also worth reflecting on because they raise foundational questions for the pragmatist. (...) Underlying these challenges is the fact that pragmatic epistemologies not only rely upon normative theories of rational choice but also require externalist standards to rule out epistemic luck. Unfortunately, we lack adequate externalist theories of rational choice. In response, I address these foundational challenges by offering the outlines of an externalist decision theory. While this task is an ambitious one that I cannot hope to complete, I survey the outlines of a decision-theoretic framework on which a richer pragmatic epistemology can be developed. My hope is that this framework opens up new avenues of exploration for the pragmatic epistemologist. (shrink)

In the social sciences, within the explanatory paradigm of structural individualism, a theory of action – like rational choice theory – models how individuals behave and interact at the micro level in order to explain macro observations as the aggregation of these individuals actions. A central epistemological issue is that such theoretical models are stuck in a dilemma between falsity of their basic assumptions and triviality of their explanation. On the one hand, models which have a great empirical success often (...) rest on unrealistic or even knowingly false assumptions; on the other hand, more complex models, with additional more realistic hypotheses, can (trivially) adapt to a wide range of situations and thus loose their explanatory power. Our purpose here is epistemological and consists in wondering to which extent demanding realistic assumptions in such cases is a relevant criterion with respect to the acceptance of a given explanatory model. Via an analogical reasoning with physics, we argue that this criterion seems too strong and actually irrelevant. General physical principles are not just idealized or unrealistic, they can also be formulated in many different yet equivalent ways which do not imply the same fundamental unobservable entities or phenomena. However, the classification of phenomena that such principles allow to highlight does not depend, at the end, on any particular formulation of these basic assumptions. This suggests that some hypotheses in theoretical models are actually not genuine empirical statements that could be independently tested but only substrates of modeling embodying a classification principle. Thus, we develop a structural invariance criterion that we then apply to rational choice models in the social sciences. We argue that this criterion allows to escape from the epistemological dilemma without condemning formal approaches like rational choice theory for their lack of realisticness nor being stuck to any antirealist viewpoint. (shrink)

In this paper, I argue that, as far as Gettier cases are concerned, appearances are deceiving. That is, Gettier cases merely appear to be cases of epistemic failure (i.e., failing to know that p) but are in fact cases of semantic failure (i.e., failing to refer to x). Gettier cases are cases of reference failure because the candidates for knowledge in these cases contain ambiguous designators. If this is correct, then (...) we may simply be mistaking semantic facts for epistemic facts when we consider Gettier cases. This, in turn, is a good reason not to assign much, if any, evidential weight to Gettier intuitions (i.e., that S doesn’t know that p in a Gettier case). (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 dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the (...) introduction of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and (...) indeed actual) in mathematical reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

In this paper, I respond to Philip Atkins’ reply to my attempt to explain why Gettier cases (and Gettier-style cases) are misleading. I have argued that Gettier cases (and Gettier-style cases) are misdealing because the candidates for knowledge in such cases contain ambiguous designators. Atkins denies that Gettier’s original cases contain ambiguous designators and offers his intuition that the subjects in Gettier’s original cases do not know. I (...) argue that his reply amounts to mere intuition mongering and I explain why Gettier cases, even Atkins’ revised version of Gettier’s Case I, still contain ambiguous designators. (shrink)

The present paper investigates the first step of rational belief acquisition. It, thus, focuses on justificatory relations between perceptual experiences and perceptual beliefs, and between their contents, respectively. In particular, the paper aims at outlining how it is possible to reason from the content of perceptual experiences to the content of perceptual beliefs. The paper thereby approaches this aim by combining a formal epistemology perspective with an eye towards recent advances in philosophy of cognition. Furthermore the paper restricts its (...) focus, it concentrates on the case of color perception and perceptual beliefs about color. (shrink)

I have argued that Gettier cases are misleading because, even though they appear to be cases of knowledge failure, they are in fact cases of semantic failure. Atkins has responded to my original paper and I have replied to his response. He has then responded again to insist that he has the so-called “Gettier intuition.” But he now admits that intuitions are only defeasible, not conclusive, evidence for and/or against philosophical theories. I address the implications (...) of Atkins’ admission in this paper and I again show that his attempts to revise Gettier’s original cases such that they do not involve semantic failures are unsuccessful. (shrink)

We examine a prominent naturalistic line on the method of cases, exemplified by Timothy Williamson and Edouard Machery: MoC is given a fallibilist and non-exceptionalist treatment, accommodating moderate modal skepticism. But Gettier cases are in dispute: Williamson takes them to induce substantive philosophical knowledge; Machery claims that the ambitious use of MoC should be abandoned entirely. We defend an intermediate position. We offer an internal critique of Macherian pessimism about Gettier cases. Most crucially, we argue (...) that Gettier cases needn’t exhibit ‘disturbing characteristics’ that Machery posits to explain why philosophical cases induce dubious judgments. It follows, we show, that Machery’s central argument for the effective abandonment of MoC is undermined. Nevertheless, we engineer a restricted variant of the argument—in harmony with Williamsonian ideology–that survives our critique, potentially limiting philosophy’s scope for establishing especially ambitious modal theses, despite traditional MoC’s utility being partially preserved. (shrink)

To what extent should we trust our natural instincts about knowledge? The question has special urgency for epistemologists who want to draw evidential support for their theories from certain intuitive epistemic assessments while discounting others as misleading. This paper focuses on the viability of endorsing the legitimacy of Gettier intuitions while resisting the intuitive pull of skepticism – a combination of moves that most mainstream epistemologists find appealing. Awkwardly enough, the “good” Gettier intuitions and the “bad” skeptical intuitions (...) seem to be equally strong. This chapter argues that it is not a coincidence that these two types of intuition register with equal force: they are generated by a common mechanism. However, the input to this mechanism is interestingly different in the two types of case, and different in a way that can support the mainstream view that Gettier cases tell us something about knowledge where skeptical intuitions involve systematic error. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. By asserting we share knowledge, coordinate behavior, and advance collective inquiry. Accordingly, assertion is of considerable interest to cognitive scientists, social scientists, and philosophers. This paper advances our understanding of the norm of assertion. Prior evidence suggests that knowledge is the norm of assertion, a view known as “the knowledge account.” In its strongest form, the knowledge account says that knowledge is both necessary and sufficient for assertability: you should (...) make an assertion if and only if you know that it is true. The knowledge account has been rejected on the grounds that it conflicts with our ordinary practice of evaluating assertions. This paper reports four experiments that address an important objection of this sort, which focuses on a class of examples known as “Gettier cases.” The results undermine the objection and, in the process, provide further evidence for the knowledge account. The findings also teach some important general lessons about intuitional methodology and the curation of genres of thought experiment. (shrink)

This paper argues for a sufficient evidence condition on knowledge and I argue that there is no belief condition on knowledge.

A number of prominent epistemologists claim that the principle of sensitivity “play[s] a starring role in the solution to some important epistemological problems”. I argue that traditional sensitivity accounts fail to explain even the most basic data that are usually considered to constitute their primary motivation. To establish this result I develop Gettier and lottery cases involving necessary truths. Since beliefs in necessary truths are sensitive by default, the resulting cases give rise to a serious explanatory problem (...) for the defenders of sensitivity accounts. It is furthermore argued that attempts to modally strengthen traditional sensitivity accounts to avoid the problem must appeal to a notion of safety—the primary competitor of sensitivity in the literature. The paper concludes that the explanatory virtues of sensitivity accounts are largely illusory. In the framework of modal epistemology, it is safety rather than sensitivity that does the heavy explanatory lifting with respect to Gettier cases, lottery examples, and other pertinent cases. (shrink)

I present an argument for a sophisticated version of sceptical invariantism that has so far gone unnoticed: Bifurcated Sceptical Invariantism (BSI). I argue that it can, on the one hand, (dis)solve the Gettier problem, address the dogmatism paradox and, on the other hand, show some due respect to the Moorean methodological incentive of ‘saving epistemic appearances’. A fortiori, BSI promises to reap some other important explanatory fruit that I go on to adduce (e.g. account for concessive knowledge attributions). BSI (...) can achieve this much because it distinguishes between two distinct but closely interrelated (sub)concepts of (propositional) knowledge, fallible-but-safe knowledge and infallible-and-sensitive knowledge, and explains how the pragmatics and the semantics of knowledge discourse operate at the interface of these two (sub)concepts of knowledge. I conclude that BSI is a novel theory of knowledge discourse that merits serious investigation. (shrink)

The problem of demarcating between what is scientific and what is pseudoscientific or merely unscientific - in other words, the problem of defining scientificity - remains open. The modern debate was firstly structured around Karl Popper's falsificationist epistemology from the 1930's, before diversifying a few decades later. His central idea is that what makes something scientific is not so much how adequate it is with data, but rather to what extent it might not have been so. Since the second half (...) of the century, and in the wake of criticisms, such as the Duhem-Quine thesis, that were raised against falsificationism(s), most approaches to the problem of scientific demarcation are now multicriteria and holistic. However, the approach presented in this paper does not follow the same guideline. The present work can be seen as an attempt to adapt Popper's (sophisticated) falsificationism to a model-based view of scientific knowledge. Using formalization and focusing on a particular epistemic unit of analysis (namely, empirical models) allows to properly define the popperian corroboration degree and to view scientificity as the maximization of this degree of corroboration over all available models and data. We eventually recover, in a natural way, well-accepted scientificity criteria: empirical adequacy, Lakatos' progressive problemshifts, balance between strength and simplicity, parsimony, and coherence as special cases of this general scientificity principle. From this viewpoint, the language dependency of our empirical knowledge no longer appears as a limitation of falsificationism but as one more reason to take it as a good epistemological framework. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from (...) class='Hi'>formal epistemology have been used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

Robert Batterman’s ontological insights (2002, 2004, 2005) are apt: Nature abhors singularities. “So should we,” responds the physicist. However, the epistemic assessments of Batterman concerning the matter prove to be less clear, for in the same vein he write that singularities play an essential role in certain classes of physical theories referring to certain types of critical phenomena. I devise a procedure (“methodological fundamentalism”) which exhibits how singularities, at least in principle, may be avoided within the same classes of formalisms (...) discussed by Batterman. I show that we need not accept some divergence between explanation and reduction (Batterman 2002), or between epistemological and ontological fundamentalism (Batterman 2004, 2005). Though I remain sympathetic to the ‘principle of charity’ (Frisch (2005)), which appears to favor a pluralist outlook, I nevertheless call into question some of the forms such pluralist implications take in Robert Batterman’s conclusions. It is difficult to reconcile some of the pluralist assessments that he and some of his contemporaries advocate with what appears to be a countervailing trend in a burgeoning research tradition known as Clifford (or geometric) algebra. In my critical chapters (2 and 3) I use some of the demonstrated formal unity of Clifford algebra to argue that Batterman (2002) equivocates a physical theory’s ontology with its purely mathematical content. Carefully distinguishing the two, and employing Clifford algebraic methods reveals a symmetry between reduction and explanation that Batterman overlooks. I refine this point by indicating that geometric algebraic methods are an active area of research in computational fluid dynamics, and applied in modeling the behavior of droplet-formation appear to instantiate a “methodologically fundamental” approach. I argue in my introductory and concluding chapters that the model of inter-theoretic reduction and explanation offered by Fritz Rohrlich (1988, 1994) provides the best framework for accommodating the burgeoning pluralism in philosophical studies of physics, with the presumed claims of formal unification demonstrated by physicists choices of mathematical formalisms such as Clifford algebra. I show how Batterman’s insights can be reconstructed in Rohrlich’s framework, preserving Batterman’s important philosophical work, minus what I consider are his incorrect conclusions. (shrink)

The contribution deals with knowledge of what to do, and how, where, when and why to do it, as it is found in a multitude of plans, rules, procedures, maxims, and other instructions. It is argued that while this knowledge is conceptual and propositional, it is still irreducible to theoretical knowledge of what is the case and why it is the case. It is knowledge of goals, of ends and means, rather than of facts. It is knowledge-to that is irreducibly (...) practical in having world to mind direction of fit and the essential function of guiding as yet uncompleted action. While practical knowledge is fundamentally different from theoretical knowledge in terms of mind-world relations, the practical and theoretical domains are still parallel in terms of justificatory and inferential relations, they are like mirror images of one another. It is shown that if this view of practical knowledge is accepted, convincing Gettier cases for practical knowledge can be constructed. An extensive analysis of these cases demonstrates the usefulness of the notions of practical deduction, abduction, and induction. (shrink)