Externalists in epistemology often reject the KK principle – which says that if a person knows that p, then they know that they know that p. This paper argues that one standard argument against the KK principle that many externalists make is fallacious, as it involves illicit substitution into an intensional context. The fallacy is exposed and discussed.

In ‘The normative role of knowledge’ (2012), Declan Smithies defends a ‘JK-rule’ for belief: One has justification to believe that P iff one has justification to believe that one is in a position to know that P. Similar claims have been defended by others (Huemer, 2007, Reynolds, forthcoming). In this paper, I shall argue that the JK-rule is false. The standard and familiar way of arguing against putative rules for belief or assertion is, of course, to describe putative counterexamples. My (...) argument, though, won’t be like this – indeed I doubt that there are any intuitively compelling counterexamples to the JK-rule. Nevertheless, the claim that there are counterexamples to the JK-rule can, I think, be given something approaching a formal proof. My primary aim here is to sketch this proof. I will briefly consider some broader implications for how we ought to think about the epistemic standards governing belief and assertion. (shrink)

Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic logic started as a (...) contribution to epistemology, or at least a tool in its modus operandi, with the seminal book Knowledge and Belief (Hintikka's 1962, 2005). Formulas like Ki for "the agent i knows that " Bi for "the agent i believes that " provided logical forms for stating and analyzing philosophical propositions and arguments. And more than that, their model-theoretic semantics in terms of ranges of alternatives provided an appealing extensional way of thinking about what agents know or believe in a given situation. In particular, on Hintikka's view, an agent knows those propositions which are true in all situations compatible with what she knows about the actual world; i.e., her current range of uncertainty. (shrink)

U ovom radu analizira se rešenje skeptičkog paradoksa koje pruža teorija relevantnih alternativa. Ispituju se i upoređuju dve verzije ovog rešenja: nekontekstualistič- ka čiji je tvorac i zastupnik Fred Drecke, i kontekstualistička koju zastupaju autori poput Kita Dirouza i Stjuarta Koena. Uporednom analizom nekontekstualističkog i kontekstuali- stičkog rešenja, dolazi se do zaključka da, iako oba rešenja imaju i povoljne i nepovoljne implikacije, Dreckeova teorija relevantnih alternativa nudi uverljivije objašnjenje, a zatim i rešenje skeptičkog paradoksa.

This paper examines the relationship between the KK principle and the epistemological theses of externalism and internalism. In particular we examine arguments from Okasha (Analysis 73(1):80–86, 2013) and Greco (J Philos 111(4):169–197, 2014) which deny that we can derive the denial of the KK principle from externalism.

If you want to understand McDowell's spatial metaphors when he talks about perceptual knowledge, place him side-by-side with Dretske on perceptual knowledge. Though McDowell shows no evidence of reading Dretske's writings on knowledge from the late 1960s onwards (McDowell mentions "Epistemic Operators" once in passing), McDowell gives the same four arguments as Dretske for the conclusion that knowledge requires "conclusive" reasons that rule of the possibility of mistake. Despite various differences, we think it is best to read McDowell as re-discovering (...) Dretske on perceptual knowledge. Since Dretske is easy to understand, all of McDowell's metaphors become easy to understand. But what about McDowell's disjunctivism? Turns out McDowell is not an ontological disjunctivist, and his epistemological disjunctivism is really just the banal point that some perceptual experiences provide conclusive reasons for perceptual belief and some do not. Perceptual experiences are either conclusive or inconclusive. Dretske would agree. (shrink)

This paper examines the relationship between the KK principle and the epistemological theses of externalism and internalism. In particular we examine arguments from Okasha :80–86, 2013) and Greco :169–197, 2014) which deny that we can derive the denial of the KK principle from externalism.

Discuto, neste artigo, duas críticas que Ruth Millikan dirige à teleosemântica informacional proposta por Fred Dretske. A primeira relaciona-se à noção de informação natural e a segunda à impossibilidade de representar indivíduos. As duas críticas têm o mesmo fundamento - o fato de a teleosemântica informacional de Dretske ser independente de contexto. Argumento que Millikan está correta apenas em relação à primeira crítica, mas que ela não está inteiramente correta em relação à segunda crítica. Embora seja independente de contexto, a (...) teleosemântica proposta por Dretske tem papel explanatório em relação a alguns tipos de representações. (shrink)

Our question, in this paper, is about the plausibility of the expressivist account of one’s self- attribution of mental states. More to the point, we will strictly follow the principle of charity as a mean to show that an expressivist philosopher can have good and reasonable answers to the set of objections put together in so called “Geach’s point”. Using this method, we hope to give enough evidences that an expressivist philosopher has enough resources to build a plausible explanation for (...) one’s attribution of mental states to herself. (shrink)

Recently, several epistemologists have defended an attractive principle of epistemic rationality, which we shall call Ur-Prior Conditionalization. In this essay, I ask whether we can justify this principle by appealing to the epistemic goal of accuracy. I argue that any such accuracy-based argument will be in tension with Evidence Externalism, i.e., the view that agent's evidence may entail non-trivial propositions about the external world. This is because any such argument will crucially require the assumption that, independently of all empirical evidence, (...) it is rational for an agent to be certain that her evidence will always include truths, and that she will always have perfect introspective access to her own evidence. This assumption is in tension with Evidence Externalism. I go on to suggest that even if we don't accept Evidence Externalism, the prospects for any accuracy-based justification for Ur-Prior Conditionalization are bleak. (shrink)

I argue that a version of the so-called KK principle is true for principled epistemic reasons; and that this does not entail access internalism, as is commonly supposed, but is consistent with a broad spectrum of epistemological views. The version of the principle I defend states that, given certain normal conditions, knowing p entails being in a position to know that you know p. My argument for the principle proceeds from reflection on what it would take to know that you (...) know something, rather than from reflection on the conditions for knowledge generally. Knowing that you know p, it emerges, is importantly similar to cases of psychological self-knowledge like knowing that you believe p: it does not require any grounds other than your grounds for believing p itself. In so arguing, I do not rely on any general account of knowledge, but only on certain plausible and widely accepted epistemological assumptions. (shrink)

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

According to Fred Dretske's externalist theory of knowledge a subject knows that p if and only if she believes that p and this belief is caused or causally sustained by the information that p. Another famous feature of Dretske's epistemology is his denial that knowledge is closed under known entailment. I argue that, given Dretske's construal of information, he is in fact committed to the view that both information and knowledge are closed under known entailment. Hence, if it is true (...) that, as Dretske also believes, accepting closure leads to skepticism, he must either embrace skepticism or abandon his information theory of knowledge. (shrink)

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

Dretske proposes a theory of knowledge in terms of a theory of information, but wishes to deny that empirical knowledge settles the large question of scepticism. This leads him to deny the closure of knowledge under known entailment. In a recent paper Jäger argues that Dretske's theory of information entails closure for knowledge, 'at least for the kind of propositions here at issue'. If Jäger is right, Dretske is seriously embarrassed and must give something up. In this paper I show (...) that there are two flaws in Jäger's argument. The principle of informational closure considered by Jäger is incompatible with Dretske's theory of information, and Jäger's argument that Dretske is committed to a certain kind of substitution instance of that principle of informational closure is invalid. I propose adequacy conditions on signalled information and use them to motivate a formulation of a general closure principle for signalled information. I show that Dretske's account of information satisfies the adequacy conditions, but in a way which commits him to an instance of the general closure principle. I argue that Dretske is consequently committed to closure for some cases of knowledge for which he wishes to deny closure. Finally, I sketch how, on the basis of the closure principle to which Dretske is committed, Jäger's broader argument may yet go through. (shrink)

The standard contextualist solution to the skeptical paradox is intended to provide a way to retain epistemic closure while avoiding the excessive modesty of radical skepticism and the immodesty of Moorean dogmatism. However, contextualism’s opponents charge that its solution suffers from epistemic immodesty comparable to Moorean dogmatism. According to the standard contextualist solution, all contexts where an agent knows some ordinary proposition to be true are contexts where she also knows that the skeptical hypotheses are false. It has been hoped (...) that contrastivist theories of knowledge can mirror the contextualist solution while avoiding this epistemic immodesty. I review the main problems for contrastive closure and argue that none of the arguments currently in the literature pose an insurmountable problem for the contrastivist solution. However, I argue that contrastivist theories of knowledge, like their contextualist rivals, are indeed committed to epistemic immodesty. (shrink)

One common objection to Dretske’s Information Theoretic Account of Knowledge (ITAK) is that it violates closure. I show that it does not, and that extant arguments attempting to establish that it does rely instead on the KK thesis. That thesis does fail for ITAK. I show moreover that an interesting consequence of ITAK obeying the closure principle after all is that on this view if skepticism is false, we can have a great deal of empirical knowledge, but it is in (...) principle impossible to know that skepticism is false. In short, a proper understanding of how ITAK closes off the KK thesis shows that we can 1) take seriously the skeptic, we can 2) respond to her appropriately that we do have knowledge and we can 3) keep closure. (shrink)