“Real knowledge,” as I use the term, is the most highly prized form of true belief sought by an epistemic agent. This paper argues that defeasible infinitism provides a good way to characterize real knowledge and it shows how real knowledge can arise from fallible justification. Then, I argue that there are two ways of interpreting Ernest Sosa's account of real knowledge as belief that is aptly formed and capable of being fully defended. On the one hand, if beliefs are (...) aptly formed only if they have a specific causal etiology, namely that they are efficiently caused fully or partially by virtuous characteristics of the epistemic agent, then Sosa's account falls prey to what I call the problem of the Hazard of Empirical Disconfirmation. The HED problem applies to all forms of causal accounts of real knowledge and is simply that as we gain more empirical knowledge about the causal origins of our true beliefs that are the most highly prized we will discover that they do not always satisfy the required efficient causal constraints. Bluntly put, having sufficiently good reasons for our beliefs might not require that the beliefs have the requisite efficient causal etiology. On the other hand, there is a way of interpreting Sosa's views that does not include an efficient causal prerequisite. That interpretation makes Sosa's account of real knowledge almost identical to defeasible infinitism but expressed in an alternate vocabulary. Such a view is not subject to the HED problem and it can solve the deep problem in epistemology, namely how to get epistemically certain knowledge from fallible justification. (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

The ambiguity theory of ‘knows’ is the view that ‘knows’ and its cognates have more than one sense, and that which sense of ‘knows’ is used in a knowledge ascription or denial determines, in part, the meaning (and as a result the truth conditions) of that knowledge ascription or denial. In this paper, I argue that the ambiguity theory of ‘knows’ ought to be taken seriously by those drawn to epistemic contextualism. In doing so I first argue that the ambiguity (...) theory of ‘knows’ is a distinct view from epistemic contextualism. Second, I provide independent philosophical and linguistic considerations to motivate the ambiguity theory. Third, I argue that the ambiguity theory has the same central, generally agreed upon virtues ascribed to epistemic contextualism (namely, the ability to solve certain persistent epistemological problems relating to skeptical arguments and the ability to preserve the truth of most of our everyday, ordinary usages of ‘knows’ and its cognates). Finally, I provide an ambiguity-theory-friendly account of why contextualism may be initially appealing, and why this shouldn’t dissuade us from taking the ambiguity theory seriously nonetheless. (shrink)

Wittgenstein’s later works are full of questions about the timing and duration of mental phenomena. These questions are often awkward ones, and Wittgenstein seems to take their awkwardness to be philosophically revealing, but if we ask what it is that these questions reveal then different interpretations are possible. This paper suggests that there are at least six different ways in which the timing of mental phenomena can be awkward. By identifying these we can give sense to some of Wittgenstein’s more (...) cryptic remarks, and doing this enables us to clarify some obscure elements in his picture of the mind, including the distinction between sensations and feelings, and his account of the rational status of those processes out of which rule-following is built. (shrink)

The ambiguity theory of ‘knows’ is the view that ‘knows’ and its cognates have more than one propositional sense – i.e. more than one sense that can properly be used in ‘knows that’ etc. constructions. Given that most of us are ‘intuitive invariantists’ – i.e. most of us initially have the intuition that ‘knows’ is univocal – defenders of the ambiguity theory need to offer an explanation for the semantic blindness present if ‘knows’ is in fact ambiguous. This paper is (...) an attempt to offer such an explanation. Section 1 contains a general argument for the ubiquity of semantic blindness for ambiguous words; the upshot being that semantic blindness for the ambiguity of ‘knows’ is thus unsurprising. Section 2 offers more specific arguments for why ‘knows’ is the type of ambiguous word that we’re very unlikely to quickly recognize is ambiguous. (shrink)

The ambiguity theory of “knows” is the view that knows and its cognates have more than one propositional sense—i.e., more than one sense that can properly be used in “knows that” etc. constructions. The ambiguity theory of “know” has received relatively little attention as an account of the truth-conditions for knowledge ascriptions and denials—especially compared to views like classical, moderate invariantism and epistemic contextualism. In this paper, it is argued that the ambiguity theory of knows has an advantage over both (...) classical, moderate invariantism and epistemic contextualism. This advantage is that it is the only one of these views that can account for “diverging knowledge responses without inconsistency” —i.e., cases in which, for the same subject S and proposition p, one and the same speaker says truly “S knows p” but instead could have truly said “S does not know p” and vice versa. This paper argues both for the existence of DRWI scenarios and the ability of the ambiguity theory of knows to best explain their existence. (shrink)

In his book Knowledge and Practical Interests Jason Stanley offers an argument for the conclusion that it is quite unlikely that an ambiguity theory of ‘knows’ can be “linguistically grounded”. His argument rests on two important assumptions: that linguistic grounding of ambiguity requires evidence of the purported different senses of a word being represented by different words in other languages and that such evidence is lacking in the case of ‘knows’. In this paper, I challenge the conclusion that there isn’t (...) a linguistic grounding for an ambiguity theory of ‘knows’ by making cases against both of Stanley’s major assumptions. I will do this by making a case for a prime facie linguistic grounding for a polysemy theory of ‘knows’ without appealing to word use in other languages. Given that a polysemy theory of ‘knows’ is a type of ambiguity theory of ‘knows’, if I succeed in linguistically grounding a polysemy theory of ‘knows’, then I have shown that at least one type of ambiguity theory of ‘knows’ can be linguistically grounded. (shrink)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and only if it (...) has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (shrink)

Epistemic logic begins with the recognition that our everyday talk about knowing and believing has some systematic features that we can track and re‡ect upon. Epistemic logicians have studied and extended these glints of systematic structure in fascinating and important ways since the early 1960s. However, for one reason or another, mainstream epistemologists have shown little interest. It is striking to contrast the marginal role of epistemic logic in contemporary epistemology with the centrality of modal logic for metaphysicians. This article (...) is intended to help in correcting this oversight by presenting some important developments in epistemic logic and suggesting ways to understand their applicability to traditional epistemological problems. Obviously, by itself, tweaking the formal apparatus of epistemic logic does not solve traditional epistemological problems. Epistemic logic can help us to navigate through problems in a systematic fashion by unpacking the logic of the problematic concepts, it can also lead us to recognize problems that we had not anticipated. This is basically analogous to the role that modal logic has played in contemporary metaphysics. (shrink)

Saul Kripke argued that the requirement that knowledge eliminate all possibilities of error leads to dogmatism . According to this view, the dogmatism puzzle arises because of a requirement on knowledge that is too strong. The paper argues that dogmatism can be avoided even if we hold on to the strong requirement on knowledge. I show how the argument for dogmatism can be blocked and I argue that the only other approach to the puzzle in the literature is mistaken.

The branch of philosophical logic which has become known as “belief change” has, in the course of its development, become alienated from its epistemological origins. However, as formal criteria do not suffice to defend a principled choice between competing systems for belief change, we do need to take their epistemological embedding into account. Here, on the basis of a detailed examination of Isaac Levi's epistemology, we argue for a new direction of belief change research and propose to construct systems for (...) belief change that can do without, but do not rule out, selection functions, in order to enable an *empirical* assessment of the relative merits of competing belief change systems. (shrink)

Collocations are recurrent combinations of words where one lexical item occurs near another lexical item with a frequency far greater than chance. Collocations can be used to study meaning. I argue that the collocational phrase ‘really know’, in conjunction with some reasonable interpretive conclusions, provides us with evidence that the verb ‘know’ has an infallibilist sense. I make my case, first, by arguing that ‘really’ when part of the phrase ‘really know’ is best understood as synonymous with ‘truly’. I then (...) argue that there are two plausible interpretations of the function that ‘really’ plays in the phrase ‘really know’. On the first interpretation, ‘really’ helps distinguish claims about genuine infallibilist knowing from loose talk about ‘knowing’. On the second interpretation, ‘really’ is often used to disambiguate an infallibilist sense of ‘know’ from a fallibilist sense of ‘know’. On either interpretation, there is an infallibilist sense of ‘know’. (shrink)

Susanna Rinard aims to show that it is possible to rationally persuade an external world skeptic to reject external world skepticism. She offers an argument meant to convince a skeptic who accepts her views on “several orthogonal issues in epistemology” to give up their external world skepticism. While I agree with Rinard that it is possible to reason with a skeptic, I argue that Rinard overlooks a variety of good epistemic grounds a skeptic could appeal to in rejecting her argument (...) and its conclusion. More specifically, I argue that the external world skeptic can resist Rinard’s conclusion by (1) distinguishing between skepticism about knowledge and skepticism about justification, (2) by prioritizing obtaining accurate beliefs (maximizing true beliefs and minimizing false beliefs) over being rational, or (3) by treating suspension of judgment as the default rational doxastic attitude. (shrink)

Advancing our understanding of one of the most influential 20th-century philosophers, Robert Vinten brings together an international line up of scholars to consider the relevance of Ludwig Wittgenstein's ideas to the cognitive science of religion. Wittgenstein's claims ranged from the rejection of the idea that psychology is a 'young science' in comparison to physics to challenges to scientistic and intellectualist accounts of religion in the work of past anthropologists. Chapters explore whether these remarks about psychology and religion undermine the frameworks (...) and practices of cognitive scientists of religion. Employing philosophical tools as well as drawing on case studies, contributions not only illuminate psychological experiments, anthropological observations and neurophysical research relevant to understanding religious phenomena, they allow cognitive scientists to either heed or clarify their position in relation to Wittgenstein's objections. By developing and responding to his criticisms, Wittgenstein and the Cognitive Science of Religion offers novel perspectives on his philosophy in relation to religion, human nature, and the mind. Contents: Introduction (Robert Vinten); Ch.1: 'Wittgenstein, Concepts, and Human Nature' (Roger Trigg); Ch.2: 'On Truth, Language, and Objectivity' (Florian Franken Figueiredo); Ch.3 'Pascal Boyer's Miscellany of Homunculi: A Wittgensteinian Critique of Religion Explained' (Robert Vinten); Ch.4 'The Brain Perceives/Infers' (Hans van Eyghen); Ch.5 'The Imaginary Inner Inside Cognitive Science of Religion' (Christopher Hoyt); Ch.6 'Cognitive Theories and Wittgenstein: Looking for Convergence not for Divergence' (Olympia Panagiotidou); Ch. 7 'Wittgenstein, Naturalism, and Interpreting Religious Phenomena' (Thomas Carroll); Ch.8 'Natural Thoughts and Unnatural Oughts: Lessing, Wittgenstein, and Contemporary CSR' (Guy Axtell); Ch.9 'Normative Cognition in Cognitive Science of Religion' (Mark Addis); Ch.10 'Brains as the Source of Being: Mind/Brain Focus and the Western Model of Mind in Dominant Cognitive Science Discourse' (Rita McNamara); Ch.11 'On Religious Practices as Multiscale Active Inference: Certainties Emerging From Recurrent Interactions Within and Across Individuals and Groups' (Inês Hipólito and Casper Hesp). (shrink)

It is almost universally presumed that knowledge is factive: in order to know that p it must be the case that p is true. This idea is often justified by appealing to knowledge ascriptions and related linguistic phenomena; i.e., an utterance of the form ‘S knows that p, but not-p’ sounds contradictory. In a recent article, Allan Hazlett argues that our ordinary concept of knowledge is not factive. From this it seems to follow that epistemologists cannot appeal to ordinary language (...) to justify the truth condition of knowledge. More significantly, Hazlett claims that epistemologists theorizing about knowledge should not concern themselves with the ordinary concept of knowledge as revealed by knowledge ascriptions and related linguistic phenomena. My paper has two goals: first, to defend the orthodox view that the ordinary concept of knowledge is factive; second, to undermine Hazlett’s claim that epistemologists should not theorize about knowledge on the basis of how ‘knows’ is used in everyday speech. (shrink)

Does G. E. Moore know that he has hands? Yes, says the dogmatist: Moore’s hands are right before his eyes. No, says the skeptic: for all Moore knows he could be a brain-in-a-vat. Yes and no, says the contrastivist: yes, Moore knows that he has hands rather than stumps; but no, Moore does not know that he has hands rather than vat-images of hands. The dogmatist and the skeptic suppose that knowledge is a binary, categorical relation: s knows that p. (...) The contrastivist says that knowledge is a ternary, contrastive relation: s knows that p rather than q. (shrink)

In epistemology, “contextualism” denotes a wide variety of more-or-less closely related positions according to which the issues of knowledge or justification are somehow relative to context. I will proceed by first explicating the position I call contextualism, and distinguishing that position from some closely related positions in epistemology, some of which sometimes also go by the name of “contextualism”. I’ll then present and answer what seems to many the most pressing of the objections to contextualism as I construe it, and (...) also indicate some of the main positive motivations for accepting the view. Among the epistemologists I’ve spoken with who have an opinion on the matter, I think it’s fair to say a majority reject contextualism. However, the resistance has to this point been largely underground, with little by way of sustained arguments against contextualism appearing in the journals,[i] though I have begun to see various papers in manuscript form which are critical of contextualism. Here, I’ll respond the criticism of contextualism that, in my travels, I have found to be the most pervasive in producing suspicion about the view. (shrink)

This paper reconstructs the origins of Gettier-style epistemology, highlighting the philosophical and methodological debates that led to its development in the 1960s. Though present-day epistemologists assume that the search for necessary and sufficient conditions for knowledge began with Gettier’s 1963 argument against the JTB-definition, I show that this research program can be traced back to British discussions about knowledge and analysis in the 1940s and 1950s. I discuss work of, among others, Bertrand Russell, G. E. Moore, A. J. Ayer, Norman (...) Malcom, and A. D. Woozley, showing how exchanges between different schools of analytic philosophy gave rise to new ideas about the nature of knowledge and analysis. Finally, I turn to Gettier's intellectual development and argue that his paper was influenced by some of these debates, suggesting that even his interpretation of Plato’s definition of knowledge can be traced back to discussions in this period. (shrink)

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

C.S. Peirce's and Isaac Levi's accounts of the belief-doubt-belief model are discussed and evaluated. It is argued that the contemporary study of belief change has metamorphosed into a branch of philosophical logic where empirical considerations have become obsolete. A case is made for reformulations of belief change systems that do allow for empirical tests. Last, a belief change system is presented that (1) uses finite representations of information, (2) can adequately deal with inconsistencies, (3) has finite operations of change, (4) (...) can do without extra-logical elements, and (5) only licenses consistent beliefs. (shrink)

John Cook Wilson is increasingly recognised as an important predecessor of ordinary language philosophy. He emphasizes the authority of ordinary language in philosophical theorizing. At the same time, however, he circumscribes the limits of that authority and identifies cases in which it threatens to mislead us. My aim is to consider in detail one case where, according to Cook Wilson, ordinary language has misled philosophical theorizing. Judgement was one of the core notions of the logic, epistemology, and philosophy of mind (...) of Cook Wilson’s time. Cook Wilson rejects this notion, in the form developed by his contemporaries, in part because it is based on a problematic analogy between ordinary language and the thoughts expressed in that language. Cook Wilson’s discussion of judgement also highlights the extent to which Cook Wilson was critical of, but also responsive to, his contemporaries. In addition, variants of the language-thought analogy Cook Wilson opposes continue to feature in 21st century epistemology and philosophy of mind. Cook Wilson’s criticism of the analogy thus raises questions about recent work as well as the theories of his contemporaries. (shrink)

The logic of Conditional Beliefs has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied. First, a natural semantics forCDLis defined in terms of neighbourhood models, a multi-agent generalisation of Lewis’ spheres models, and it is shown that the axiomatization ofCDLis sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics (...) is equivalent to the original one defined in terms of plausibility models, by means of a direct correspondence between the two types of models. On the basis of neighbourhood semantics, a labelled sequent calculus forCDLis obtained. The calculus has strong proof-theoretic properties, in particular admissibility of contraction and cut, and it provides a decision procedure for the logic. Furthermore, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic. Finally, it is shown that other doxastic operators can be easily captured within neighbourhood semantics. This fact provides further evidence of the naturalness of neighbourhood semantics for the analysis of epistemic/doxastic notions. (shrink)

What is the epistemological value of perceptual experience? In his recently influential paper, “The Skeptic and the Dogmatist”1, James Pryor develops a seemingly plausible answer to this question. Pryor’s answer comprises the following three theses: (F) “Our perceptual justification for beliefs about our surroundings is always defeasible – there are always possible improvements in our epistemic state which would no longer support those beliefs.” (517) (PK) “This justification that you get merely by having an experience as of p can sometimes (...) suffice to give you knowledge that p is the case.” (520) (D) “When it perceptually seems to you as if p is the case, you have a kind of justification for believing p that does not presuppose or rest on your justification for anything else, which could be cited in argument (even an ampliative argument) for p. To have this justification for believing p, you need only have an experience that represents p as being the case. No further awareness or reflection or background beliefs are required.” (519) Let’s use the phrase “fallibilist dogmatism” to refer to the conjunction of (F), (PK), and (D).2 Pryor does not argue for either (F) or (PK) in his paper; he simply shares the widespread and plausible assumption that (F) and (PK) are both true. But the conjunction of (F) and (PK) implies that we can have knowledge on the basis of defeasible justification. And this view leads to paradox. Consider the following individually plausible but jointly incompatible statements. (shrink)

Peter Unger has recently attempted to defend skepticism by means of a novel and ingenious theory about certain general features of our language. According to his theory, skepticism is a logical consequence of the fact that certain epistemic terms, including ‘certain’ and ‘know,’ belong to a much wider class of absolute terms whose strict meaning is such that they have little or no positive application to things in the world. The purpose of this paper is to enquire whether Unger's theory (...) of absolute terms provides a stronger basis for skepticism than do other, more familiar, approaches. I shall argue that the theory cannot be regarded as an explication of the ordinary meaning of the terms in question; that the ordinary meaning of these terms can be understood by means of an alternative, if less exciting, model; and that the logic of our language does not commit us to skepticism. (shrink)

The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus.

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

O slogan "Conhecimento gera dogmatismo" causa-nos imediata perplexidade. O dogmatismo é trivialmente tomado como uma postura irracional de manutenção de crenças. Saul Kripke, contra esta intuitiva perspectiva, ofereceu um argumento que supostamente prova que se você sabe que uma proposição P é verdadeira, então você está autorizado a ser dogmático quanto a se P. Neste ensaio, temos os seguintes objetivos. Em primeiro lugar, vamos criticar uma recente objeção ao argumento pró-dogmatismo de Kripke feita por Rodrigo Borges, segundo a qual, uma (...) suposição sobre meta-conhecimento deve ser assumida por Kripke a fim de que seu argumento seja defensável. Em segundo lugar, vamos propor uma outra crítica ao argumento de Kripke, segundo a qual uma de suas premissas assume uma perigosa dose de voluntarismo doxástico, o que compromete irremediavelmente o seu argumento. Concluiremos que embora o argumento de Kripke possa ser defendido de certas críticas, a sua conclusão paradoxical é injustificada. (shrink)

A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...) whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata CON and D. Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical system.. (shrink)

The celebrated 'veil-of-ideas' argument is a skeptical argument that moves from a certain epistemological doctrine about perception to a general negative conclusion concerning our thoughts about external material objects. Indeed, the argument concludes not only that we do not know, but that neither could we know nor even reasonably believe, any of the thoughts that we may possibly entertain concerning external material objects. The epistemological doctrine about perception referred to in the argument has been in fashion since Descartes and states (...) that the nature of perceptual knowledge in general is inferential. (shrink)