The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light (...) of the problems of logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)

The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. (...) Then I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. (...) In defense of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The central topic of this article is (the possibility of) de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that (Peano) numerals are eligible for existential quantification in epistemic contexts (‘canonical’), whereas other names for natural numbers are not. In other words, (Peano) numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking (...) for an explanation of this phenomenon. It is argued that the standard induction scheme plays a key role. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended (...) arithmetic when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

This book is written so as to be ‘accessible to philosophers without a mathematical background’. The reviewer can assure the reader that this aim is achieved, even if only by focusing throughout on just one example of an arithmetical truth, namely ‘7+5=12’. This example’s familiarity will be reassuring; but its loneliness in this regard will not. Quantified propositions — even propositions of Goldbach type — are below the author’s radar.The author offers ‘a new kind of arithmetical epistemology’, one which ‘respects (...) certain important intuitions’ 1 : apriorism, realism, and empiricism. The book contains some clarification of these ‘isms’, and some thoughtful critiques of major positions regarding them, as espoused by such representative figures as Boghossian, Bealer, Peacocke, Field, Bostock, Maddy, Locke, Kant, C.I. Lewis, Ayer, Quine, Fodor, and McDowell. The philosophical reader will find some interest and value in these wider-ranging discussions. Our concern in this review, however, is to examine closely the original positive proposal on offer.Arithmetical truths, the author maintains, are conceptual truths. Knowing truths like 7+5=12 involves no ‘epistemic reliance on any empirical evidence’; but that, she says, is not to claim ‘epistemic independence of the senses altogether’. She wants to show that "experience grounds our concepts … and then mere conceptual examination enables us to learn arithmetical truths ." Concepts that are ‘appropriately sensitive’ to ‘the nature of [an independent] reality’ she calls grounded. Because of the role of grounded concepts, ‘arithmetical truths explain our arithmetical beliefs in the right sort of way for those beliefs to count as knowledge’ .In the context of her concentration on the special nature of arithmetical knowledge, the author offers what could strike some bystanders as an unnecessarily over-ambitious account of knowledge tout court. Knowledge, for the author, is "true belief which … ". (shrink)

The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second (...) Incompleteness Theorem it’s shown that either we must be agnostic about the consistency of Peano Arithmetic or akratic in our arithmetical theorizing. If successful, these sections will underscore the pertinence and persistence of akrasia in arithmetic (by appeal to Gödel’s seminal work). Thirdly, §5 concludes by suggesting a way of translating the dilemma of arithmetical akrasia into a case of regular epistemic akrasia; and further how one might try to escape the dilemma when it’s framed this way. (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)

The mind-body problem is one of the important topics in philosophy of mind and cognitive science. Following the analytical tradition of linguistic and logical analysis, we focus on two aspects of the mind- body problem: one is around Gödel's incompleteness theorem, and the other is on cognitive logic, especially on the question of whether Epistemological Arithmetic and machines are private. In the former case, in response to the popular view that the Gödel Incompleteness Theorem supports dualism in the mind-body (...) problem, H. Putnam constructs a counter-argument that defends the computationalist agenda: the equivalence of mind and Turing machine. In this regard, the paper discusses Putnam's line of analysis and then argues that it is unsound. In the latter case, the paper examines in detail the cognitive form of the expression of privateness and concludes, together with recent results in EA, that the existence of privateness in Turing machines is logically untenable and, therefore, we argue that the mind is not equivalent to a machine in terms of cognitive ability and privateness, i.e., the computationalist agenda is not valid. (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it (...) can be overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem (...) of epistemic access to numbers. For an incompatibilist, proofs of numerical non-identities must appeal to primitive incompatibilities. I argue that no analytic primitive incompatibilities are forthcoming. Hence incompatibilists cannot be Fregeans. (shrink)

There is a long-standing gap in the literature as to whether Gödelian incompleteness constitutes a challenge for Neo-Logicism, and if so how serious it is. In this paper, I articulate and address the challenge in detail. The Neo-Logicist project is to demonstrate the analyticity of arithmetic by deriving all its truths from logical principles and suitable definitions. The specific concern raised by Gödel’s first incompleteness theorem is that no single sound system of logic syntactically implies all arithmetical truths. I (...) set out some responses that initially seem appealing and explain why they are not compelling. The upshot is that Neo-Logicism either offers an epistemic route only to some truths of arithmetic; or that it has to move from a syntactic to a semantic notion of logical consequence, which risks undermining its epistemic goals. I conclude by considering Crispin Wright’s recent attempt to address Gödelian incompleteness, which I argue is not satisfactory. (shrink)

According to Quine, Charles Parsons, Mark Steiner, and others, Russell’s logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as aprioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell’s explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building on recent (...) work by Andrew Irvine and Martin Godwyn, I argue that Russell thought a systematic reduction of mathematics increases the certainty of known mathematical theorems (even basic arithmetical facts) by showing mathematical knowledge to be coherently organized. The paper outlines Russell’s theory of coherence, and discusses its relevance to logicism and the certainty attributed to mathematics. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that (...) such formalization shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

This thesis is about how deduction is analytic and, at the same time, informative. In the first two chapters I am after the question of the justification of deduction. This justification is circular in the sense that to explain how deduction works we use some basic deductive rules. However, this circularity is not trivial as not every rule can be justified circularly. Moreover, deductive rules may not need suasive justification because they are not ampliative. Deduction preserves meaning, that is, the (...) meaning of non-logical vocabulary of any theory which is developed by deductive reasoning remains unchanged. It means that deduction adds no information to what we already had in our premises. This is why deduction is analytic. -/- However, there are many ways deduction can be informative. In the next three chapters, I will pick a specific kind of deductive reasoning, namely arithmetical reasoning, and will attempt to understand the nature of information we obtain by this kind of reasoning. There is a difference between simple deductive moves such as inferring `Socrates is mortal' from `All human are mortal' and `Socrates is human', and inferring that a relation is reflexive given that it is directed, symmetric and transitive. The latter is more complicated and not as easy to prove as the former. Therefore it is informative and the proof we construct to prove it puts us in an epistemic position that we were not in before having the proof. To be more specific, I show that concepts we need to confirm the conclusion are made in the process of proving the conclusion. (shrink)

Metaepistemology may be partly characterized as the study of the nature, aims, methods and legitimacy of epistemology. Given such a characterization, most epistemological views and theories have an important metaepistemological aspect or, at least, a number of more or less explicit metaepistemological commitments. Metaepistemology is an important area of philosophy because it exemplifies that philosophy must serve as its own meta-discipline by continuously reflecting critically on its own methods and aims. Even though philosophical methodology may be regarded as a branch (...) of epistemology, epistemology itself is as much in need of metaphilosophical examination as other core disciplines of philosophy. Moreover, metaepistemology is important because it bears significantly on first-order epistemological questions. Indeed, many of the most prominent contemporary debates in philosophy have a distinctly metaepistemological aspect. For example, the debates between rationalists and empiricists do not only concern the nature of cognition of specific areas – perception, arithmetic, logic and so forth – but also general metaepistemological questions about whether it is realistic and desirable that epistemology be naturalized. Likewise, the debates between epistemic internalists and externalists include metaepistemological debates about whether the proper focus for epistemology should be the cognizer’s rational perspective or some more objective property of the cognizer’s epistemic position. Similarly, the debates concerning the relationship between folk epistemology and epistemological theorizing include metaepistemological debates about how empirical data concerning folk epistemology should impact epistemology itself. Each of these debates provides an example of how first-order epistemological issues are deeply connected, and sometimes inseparable from, metaepistemological considerations. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in (...) a way that epistemic bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

[Author note: There is a video explainer of this paper on youtube at the new work in philosophy channel (search for surname+deepfakes).] -/- It is widely thought that deepfake videos are a significant and unprecedented threat to our epistemic practices. In some writing about deepfakes, manipulated videos appear as the harbingers of an unprecedented _epistemic apocalypse_. In this paper I want to take a critical look at some of the more catastrophic predictions about deepfake videos. I will argue for (...) three claims: (1) that once we recognise the role of social norms in the epistemology of recordings, deepfakes are much less concerning, (2) that the history of photographic manipulation reveals some important precedents, correcting claims about the novelty of deepfakes, and (3) that proposed solutions to deepfakes have been overly focused on technological interventions. My overall goal is not so much to argue that deepfakes are not a problem, but to argue that behind concerns around deepfakes lie a more general class of social problems about the organisation of our epistemic practices. (shrink)

We provide an analysis of the public's having warranted epistemic trust in science, that is, the conditions under which the public may be said to have well-placed trust in the scientists as providers of information. We distinguish between basic and enhanced epistemic trust in science and provide necessary conditions for both. We then present the controversy regarding the connection between autism and measles–mumps–rubella vaccination as a case study to illustrate our analysis. The realization of warranted epistemic public (...) trust in science requires various societal conditions, which we briefly introduce in the concluding section. (shrink)

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit (...) Fine and present six different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

There are two central kinds of epistemological mistakes: believing things you shouldn’t, and failing to believe things that you should. The knowledge-first program offers a canonical explanation for the former: if you believe something without knowing it, you violate the norm to believe only that which you know. But the explanation does not extend in any plausible way to a story about what’s wrong with suspending judgment when one ought to believe. In this paper I explore prospects for a knowledge-centering (...) account of positive epistemic norms that describe epistemic duties to believe. (shrink)

Deepfake technology uses machine learning to fabricate video and audio recordings that represent people doing and saying things they've never done. In coming years, malicious actors will likely use this technology in attempts to manipulate public discourse. This paper prepares for that danger by explicating the unappreciated way in which recordings have so far provided an epistemic backstop to our testimonial practices. Our reasonable trust in the testimony of others depends, to a surprising extent, on the regulative effects of (...) the ever-present possibility of recordings of the events they testify about. As deepfakes erode the epistemic value of recordings, we may then face an even more consequential challenge to the reliability of our testimonial practices themselves. (shrink)

I propose to study one problem for epistemic dependence on experts: how to locate experts on what I will call cognitive islands. Cognitive islands are those domains for knowledge in which expertise is required to evaluate other experts. They exist under two conditions: first, that there is no test for expertise available to the inexpert; and second, that the domain is not linked to another domain with such a test. Cognitive islands are the places where we have the fewest (...) resources for evaluating experts, which makes our expert dependences particularly risky. -/- Some have argued that cognitive islands lead to the complete unusability of expert testimony: that anybody who needs expert advice on a cognitive island will be entirely unable to find it. I argue against this radical form of pessimism, but propose a more moderate alternative. I demonstrate that we have some resources for finding experts on cognitive islands, but that cognitive islands leave us vulnerable to an epistemic trap which I will call runaway echo chambers. In a runaway echo chamber, our inexpertise may lead us to pick out bad experts, which will simply reinforce our mistaken beliefs and sensibilities. (shrink)

This paper analyses the communicative and epistemic value of retweeting (and more generally of reposting content on social media). Against a naïve view, it argues that retweets are not acts of endorsement, motivating this diagnosis with linguistic data. Retweeting is instead modelled as a peculiar form of quotation, in which the reported content is indicated rather than reproduced. A relevance-theoretic account of the communicative import of retweeting is then developed, to spell out the complex mechanisms by which retweets achieve (...) their communicative goals. The last section outlines the epistemic threats posed by the increasing prevalence of retweeting on social media, linking them to the low reputational, cognitive and practical costs linked to this emerging form of communication. (shrink)

This paper argues that epistemic errors rooted in group- or identity- based biases, especially those pertaining to disability, are undertheorized in the literature on medical error. After sketching dominant taxonomies of medical error, we turn to the field of social epistemology to understand the role that epistemic schemas play in contributing to medical errors that disproportionately affect patients from marginalized social groups. We examine the effects of this unequal distribution through a detailed case study of ableism. There are (...) four primary mechanisms through which the epistemic schema of ableism distorts communication between nondisabled physicians and disabled patients: testimonial injustice, epistemic overconfidence, epistemic erasure, and epistemic derailing. Measures against epistemic injustices in general and against schema-based medical errors in particular are ultimately issues of justice that must be better addressed at all levels of health care practice. (shrink)

Social epistemologists should be well-equipped to explain and evaluate the growing vulnerabilities associated with filter bubbles, echo chambers, and group polarization in social media. However, almost all social epistemology has been built for social contexts that involve merely a speaker-hearer dyad. Filter bubbles, echo chambers, and group polarization all presuppose much larger and more complex network structures. In this paper, we lay the groundwork for a properly social epistemology that gives the role and structure of networks their due. In particular, (...) we formally define epistemic constructs that quantify the structural epistemic position of each node within an interconnected network. We argue for the epistemic value of a structure that we call the (m,k)-observer. We then present empirical evidence that (m,k)-observers are rare in social media discussions of controversial topics, which suggests that people suffer from serious problems of epistemic vulnerability. We conclude by arguing that social epistemologists and computer scientists should work together to develop minimal interventions that improve the structure of epistemic networks. (shrink)

We discuss the social-epistemic aspects of Catherine Elgin’s theory of reflective equilibrium and understanding and argue that it yields an argument for the view that a crucial social-epistemic function of epistemic authorities is to foster understanding in their communities. We explore the competences that enable epistemic authorities to fulfil this role and argue that among them is an epistemic virtue we call “epistemic empathy”.

Introduces contextualism about knowledge ascriptions, and provides a brief summary of the contributions to the Routledge Handbook of Epistemic Contextualism.

I defend the thesis that friendship can constitutively require epistemic irrationality against a recent, forceful challenge, raised by proponents of moral and pragmatic encroachment. Defenders of the “encroachment strategy” argue that exemplary friends who are especially slow to believe that their friends have acted wrongly are simply sensitive to the high prudential or moral costs of falsely believing in their friends’ guilt. Drawing on psychological work on epistemic motivation (and in particular on the notion of “need for closure”), (...) I propose a different picture of what friendship requires in the doxastic realm. I argue that contrary to what the encroachment strategy suggests, exemplary friends’ belief formation ought not be guided by a concern with accuracy or error avoidance, but instead by a need to avoid a “specific closure” – namely, a need to avoid concluding in their friends’ guilt. I propose that exemplary friendship often generates a defeasible, doxastic obligation to exemplify such a need, despite its inherent corrupting effects on exemplary friends’ epistemic faculties. (shrink)

Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or (...) how to evaluate, ordinary uses of “S knows that p”; but since it's wildly implausible that ordinary speakers should exhibit such systematic error, the expression “knows that” isn't context-sensitive. We are interested in whether, and in what ways, there is such semantic error; if there is such error, how it arises and is made manifest; and, again, if there is such error to what extent it is a problem for Epistemic Contextualism. The upshot is that some forms of The Semantic Error Problem turn out to be largely unproblematic. Those that remain troublesome have analogue error problems for various competitor conceptions of knowledge. So, if error is any sort of problem, then there is a problem for every extant competitor view. (shrink)

It has been argued that implicit biases are operative in philosophy and lead to significant epistemic costs in the field. Philosophers working on this issue have focussed mainly on implicit gender and race biases. They have overlooked ideological bias, which targets political orientations. Psychologists have found ideological bias in their field and have argued that it has negative epistemic effects on scientific research. I relate this debate to the field of philosophy and argue that if, as some studies (...) suggest, the same bias also exists in philosophy then it will lead to hitherto unrecognised epistemic hazards in the field. Furthermore, the bias is epistemically different from the more familiar biases in respects that are important for epistemology, ethics, and metaphilosophy. (shrink)

The paper presents a realist account of the epistemic objectivity of science. Epistemic objectivity is distinguished from ontological objectivity and the objectivity of truth. As background, T.S. Kuhn’s idea that scientific theory-choice is based on shared scientific values with a role for both objective and subjective factors is discussed. Kuhn’s values are epistemologically ungrounded, hence provide a minimal sense of objectivity. A robust account of epistemic objectivity on which methodological norms are reliable means of arriving at the (...) truth is presented. The problem remains that deliberative judgement is required to determine the relevance and relative significance of a range of methodological norms. A role is sketched for cognitive virtues which may be exercised in the course of the deliberative judgement. (shrink)

For several decades, there has been a debate in the philosophical literature concerning whether those of us who live in developed countries are morally required to give some of our money to aid agencies. Many contributors to this debate have apparently taken it that one may simply assume that the effects of the work such agencies do are overwhelmingly positive. If one turns to the literature on such agencies that has emerged in recent decades, however, one finds a number of (...) concerns about such agencies and the work they do that put that assumption in serious doubt. This situation raises a number of pressing questions, many of which have received little or no attention from philosophers. After articulating a number of those questions, I focus mainly on what I call the ‘Epistemic Question (for potential contributors to aid agencies)’: How can those of us who are not experts in international aid arrive at an estimate concerning the effects of the work aid agencies do that we have at least some good reason to believe accurate? (shrink)

Philosophers have claimed that education aims at fostering disparate epistemic goals. In this paper we focus on an important segment of this debate involving conversation between Alvin Goldman and Harvey Siegel. Goldman claims that education is essentially aimed at producing true beliefs. Siegel contends that education is essentially aimed at fostering both true beliefs and, independently, critical thinking and rational belief. Although we find Siegel’s position intuitively more plausible than Goldman’s, we also find Siegel’s defence of it wanting. We (...) suggest novel argumentative strategies that draw on Siegel’s own arguments but look to us more promising. (shrink)

The idea that appearances provide justifications for beliefs—the principle of phenomenal conservatism—is self-evidently true. In the case of cognitive penetration, however, it seems that certain irrational etiologies of a belief may influence the epistemic quality of that belief. Susanna Siegel argues that these etiologies lead to ‘epistemic downgrade.’ Instead of providing us with a decisive objection, cognitive penetration calls for us to clarify our epistemic framework by understanding the formative parts of appearances. In doing so, the two (...) different but inseparable ideas of sensation and intellection provide us with a basis of our appearances. These appearances, in turn, provide us with the objective evidence needed to test our judgements. Thus, the extra-sensory concepts of intellectual identification and the appearances they help form become an epistemic groundwork. (shrink)

The incorporation of post-event testimonial information into an agent’s memory representation of the event via constructive memory processes gives rise to the misinformation effect, in which the incorporation of inaccurate testimonial information results in the formation of a false memory belief. While psychological research has focussed primarily on the incorporation of inaccurate information, the incorporation of accurate information raises a particularly interesting epistemological question: do the resulting memory beliefs qualify as knowledge? It is intuitively plausible that they do not, for (...) they appear to be only luckily true. I argue, however, that, despite its intuitive plausibility, this view is mistaken: once we adopt an adequate (modal) conception of epistemic luck and an adequate (adaptive) general approach to memory, it becomes clear that memory beliefs resulting from the incorporation of accurate testimonial information are not in general luckily true. I conclude by sketching some implications of this argument for the psychology of memory, suggesting that the misinformation effect would better be investigated in the context of a broader “information effect”. (shrink)

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

If citizens are to make enlightened collective decisions, they need to rely on true factual beliefs, but misinformation impairs their ability to do so. Although some cases of misinformation are deliberate and amount to propaganda, cases of inadvertent misinformation are just as problematic in affecting the beliefs and behavior of democratic citizens. A review of empirical evidence suggests that this is a serious problem that cannot entirely be corrected by means of deliberation.

The ontological models framework distinguishes ψ-ontic from ψ-epistemic wave- functions. It is, in general, quite straightforward to categorize the wave-function of a certain quantum theory. Nevertheless, there has been a debate about the ontological status of the wave-function in the statistical interpretation of quantum mechanics: is it ψ-epistemic and incomplete or ψ-ontic and complete? I will argue that the wave- function in this interpretation is best regarded as ψ-ontic and incomplete.

A scientific community can be modeled as a collection of epistemic agents attempting to answer questions, in part by communicating about their hypotheses and results. We can treat the pathways of scientific communication as a network. When we do, it becomes clear that the interaction between the structure of the network and the nature of the question under investigation affects epistemic desiderata, including accuracy and speed to community consensus. Here we build on previous work, both our own and (...) others’, in order to get a firmer grasp on precisely which features of scientific communities interact with which features of scientific questions in order to influence epistemic outcomes. (shrink)

This paper explores what the epistemic account of vagueness means for theories of legal interpretation. The thesis of epistemicism is that vague statements are true or false even though it is impossible to know which. I argue that if epistemicism is accepted within the domain of the law, then the following three conditions must be satisfied: Interpretative reasoning within the law must adhere to the principle of bivalence and the law of excluded middle, interpretative reasoning within the law must (...) construe vague statements as an epistemic phenomenon, and epistemicism must be expanded to include normative considerations in order to account for legal theories that are consistent with the first two conditions. The first two conditions are internal to a particular theory of legal interpretation, while the third condition is external to a particular theory of legal interpretation. My conclusion shows that there are legal theories that are internally consistent with the fundamental features of epistemicism. However, within the domain of law—and specifically in the case of legal theories that are internally consistent with epistemicism—I show that vagueness cannot be explained simply by our ignorance of the meaning and use of vague expressions. Rather, epistemicism must also account for ignorance of the requisite normative considerations in legal theories with which it is otherwise consistent. (shrink)

Nietzsche offers a positive epistemology, and those who interpret him as a skeptic or a mere pragmatist are mistaken. Instead he supports what he calls per- spectivism. This is a familiar take on Nietzsche, as perspectivism has been analyzed by many previous interpreters. The present paper presents a sketch of the textually best supported and logically most consistent treatment of perspectivism as a first- order epistemic theory. What’s original in the present paper is an argument that Nietzsche also offers (...) a second-order methodological perspectivism aimed at enhancing understanding, an epistemic state distinct from knowledge. Just as Descartes considers and rejects radical skepticism while at the same time adopting methodological skepticism, one could consistently reject perspectivism as a theory of knowledge while accepting it as contributing to our understanding. It is argued that Nietzsche’s perspectivism is in fact two-tiered: knowledge is perspectival because truth itself is, and in addition there is a methodological perspectivism in which distinct ways of knowing are utilized to produce understanding. A review of the manner in which understanding is conceptualized in contemporary epistemology and philosophy of science serves to illuminate how Nietzsche was tackling these ideas. (shrink)

This article argues, against contemporary experimentalist criticism, that conceptual analysis has epistemic value, with a structure that encourages the development of interesting hypotheses which are of the right form to be valuable in diverse areas of philosophy. The article shows, by analysis of the Gettier programme, that conceptual analysis shares the proofs and refutations form Lakatos identified in mathematics. Upon discovery of a counterexample, this structure aids the search for a replacement hypothesis. The search is guided by heuristics. The (...) heuristics of conceptual analysis are similar to those in other interesting areas of scholarship, and so hypotheses generated by it are of the right form to be applicable to diverse areas. The article shows that the explanationist criterion in epistemology was developed and applied in this way. The epistemic value of conceptual analysis is oblique because it contributes not towards the main purpose of conceptual analysis but towards the reliable development of epistemically valuable hypotheses in philosophy and scholarship. (shrink)

While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs (...) and their broader implications for just and equitable healthcare delivery. (shrink)

Knowledge is good, ignorance is bad. So it seems, anyway. But in this dissertation, I argue that some ignorance is epistemically valuable. Sometimes, we should suspend judgment even though by believing we would achieve knowledge. In this apology for ignorance (ignorance, that is, of a certain kind), I defend the following four theses: 1) Sometimes, we should continue inquiry in ignorance, even though we are in a position to know the answer, in order to achieve more than mere knowledge (e.g. (...) understanding) while minimizing the effects of confirmation bias. 2) It’s false that we should believe every proposition such that we are guaranteed to be right about it (and even such that we are guaranteed to know it) if we believe it. 3) Being in a position to know is the norm of assertion: importantly, this does not require belief or (thereby) knowledge, and so proper assertion can survive speaker-ignorance. 4) It can be permissible and conversationally useful to tell audiences things that it is logically impossible for them to come to know: Proper assertion can survive (necessary) audience-side ignorance. Cumulatively, this project suggests that, properly understood, ignorance has an important role to play in the good epistemic life. (shrink)

Consider the claim that openmindedness is an epistemic virtue, the claim that true belief is epistemically valuable, and the claim that one epistemically ought to cleave to one’s evidence. These are examples of what I’ll call “ epistemic discourse.” In this paper I’ll propose and defend a view called “convention-relativism about epistemic discourse.” In particular, I’ll argue that convention-relativismis superior to its main rival, expressivism about epistemic discourse. Expressivism and conventionalism both jibe with anti-realism about (...) class='Hi'>epistemic normativity, which is motivated by appeal to philosophical naturalism. Convention-relativism says that epistemic discourse describes how things stands relative to a conventional set of “ epistemic ” values; such discourse is akin to normative discourse relative to the conventional rules of a club. I defend conventionalism by appeal to a “reverse open question argument,” which says, pace expressivism, that epistemic discourse leaves the relevant normative questions open. (shrink)