In his Knowledge and Belief (1962), Hintikka establishes his system of epistemic logic with the KK (Knowing that One Knows, in symbols, Kp→KKp) principle (KK for short). However, his system of epistemic logic and the KK principle are grounded upon his strong notion of knowledge, which requires that knowledge is infallible, that is, it makes further inquiry pointless, and becomes ‘discussion-stopper’; knowledge implies truth, to wit, cognitive agents will not be mistaken in their knowledge; cognitive agents will be (...) ‘perfect logicians’, i.e. they have infinitive capability of logical inference. Hintikka calls the argument for KK from the strong notion of knowledge as the ‘transcendental argument’ for KK. Obviously, the strong notion of knowledge is far away from our ordinary conception of knowledge; based on such a strong sense of knowledge, epistemic logic has met the problem of logical omnipotence, and is difficult to apply in our ordinary cognitive practice. Moreover, there is no close connection of the KK principle with internalism or externalism. (shrink)

An important question in epistemology is whether the KK principle is true, i.e., whether an agent who knows that p is also thereby in a position to know that she knows that p. We explain how a “transparency” account of self-knowledge, which maintains that we learn about our attitudes towards a proposition by reflecting not on ourselves but rather on that very proposition, supports an affirmative answer. In particular, we show that such an account allows us to reconcile a (...) version of the KK principle with an “externalist” or “reliabilist” conception of knowledge commonly thought to make that principle particularly problematic. (shrink)

This paper considers, and rejects, three strategies aimed at showing that the KK-principle fails even in most favourable circumstances (all emerging from Williamson’s Knowledge and its Limits ). The case against the final strategy provides positive grounds for thinking that the principle should hold good in such situations.

relevant alternatives: I take it that a process is reliable in the actual world iff, in the actual set of outcomes (i.e. beliefs being formed), the frequency of successes (those beliefs being true) is much greater than the frequency of failures (those beliefs being false). One may wish to run a more sophisticated kind of reliabilism, where one demands that a reliable process also be reliable in counterfactual situations, but one need not, and I won’t here. If perception is a (...) reliable belief forming process, then I can know things on the basis of perception. So let’s say I know p on the basis of perception. To know that I know p involves, first, knowing that I believe p, and second, knowing that I believe p on the basis of a reliable belief forming process, by the definition of knowledge. But can I know either of these things? (shrink)

In On the Trinity 15.12.21, Augustine appears to endorse the KK principle (that if one knows that φ, then one knows that one knows that φ) in the course of giving an argument – the Multiplicity Argument – against the Academic skeptics. Gareth Matthews has disputed Augustine’s endorsement of the KK principle and presented a different reading of the Multiplicity Argument. In this note, I show that Matthews’s construal of the Multiplicity Argument is both interpretively and technically defective (...) and defend the attribution of some form of the KK principle to Augustine. (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 (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.

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.

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)

The KK principle is typically rejected in externalist accounts of knowledge. However, a standard general argument for this rejection is in need of a supportive explication. In a recent paper, Samir Okasha argues that the standard externalist argument in question is fallacious. In this paper I start off with some critical discussion of Okasha’s analysis before suggesting an alternative way in which an externalist might successfully present such a case. I then further explore this issue via a look at (...) how Fred Dretske’s externalist epistemology, one of the exemplifying accounts, can explain failure of the KK principle. (shrink)

Timothy Williamson (2000 ch. 5) presents a reductio against the luminosity of knowing, against, that is, the so-called KK-principle: if one knows p, then one knows (or is at least in a position to know) that one knows p.1 I do not endorse the principle, but I do not think Williamson’s argument succeeds in refuting it. My aim here is to show that the KK-principle is not the most obvious culprit behind the contradiction Williamson derives.

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.

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and (...) account thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

The KK-principle can be defined as follows: “For any subject x : if x knows that p, then she is always in a position to know that she knows that p ”. This principle has been widely accepted in the history of philosophy. However, in contemporary epistemology it is considered controversial and regarded as an important part of the debate concerning the nature of knowledge. One of the arguments against the KK-principle has been presented by Timothy Williamson (...) and it involves the so-called “safety principle”. In this paper, I argue against this account. My argument consists of two parts: in the first part, it is argued that the safety principle presented by Williamson contradicts Dretske’s account of knowledge. In the second part, I claim that the safety principle, as defined by Williamson, is not precise enough, which enables one to argue that it does not contradict the KK-principle. (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)

Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...) observation process, and the result of the observation; I analyze the three separately. This dynamic approach has far reaching implications: Williamson’s influential argument against the KK principle loses its force, and new insights can be gained regarding synchronic and diachronic introspection principles. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

kk states that knowing entails knowing that one knows, and K¬K states that not knowing entails knowing that one does not know. In light of the arguments against kk and K¬K⁠, one might consider modally qualified variants of those principles. According to weak kk, knowing entails the possibility of knowing that one knows. And according to weakK¬K⁠, not knowing entails the possibility of knowing that one does not know. This paper shows that weak kk and weakK¬K are much stronger than (...) they initially appear. Jointly, they entail kk and K¬K⁠. And they are susceptible to variants of the standard arguments against kk and K¬K⁠. This has interesting implications for the debate on positive introspection and for deeper issues concerning the structure and limits of knowability. (shrink)

In this paper I present a qualified defense of the KK principle. In section one I introduce two popular arguments against the KK principle, along with an example in which these arguments seem to prove too much. In section two I provide a simple formal model of knowledge in which KK holds, and which I argue provides an attractive analysis of the example from section one. I go on argue that when this model is combined with contextualism, we (...) can retain our attractive analysis of the example, while also explaining away the appeal of the aforementioned arguments against KK. I use the same maneuver contextualists have used to defend epistemic closure principles--I argue that KK holds within contexts, but can fail across contexts. (shrink)

The Surprise Exam Paradox is well-known: a teacher announces that there will be a surprise exam the following week; the students argue by an intuitively sound reasoning that this is impossible; and yet they can be surprised by the teacher. We suggest that a solution can be found scattered in the literature, in part anticipated by Wright and Sudbury, informally developed by Sorensen, and more recently discussed, and dismissed, by Williamson. In a nutshell, the solution consists in realising that the (...) teacher's announcement is a blindspot that can only be known if the week is at least 2 days long. Along the way, we criticise Williamson's own treatment of the paradox. In Williamson's view, the Surprise is similar to the Paradox of the Glimpse and, because of their similarities, both these paradoxes ought to receive a uniform treatment-one that involves locating an illicit application of the KK Principle. We argue that there's no deep analogy between the Surprise and the Glimpse and that, even if there were, the Surprise reasoning reaches a paradoxical conclusion before the KK Principle is used. Rather, in both the Surprise and the Glimpse, the blame should be put on other epistemic principles-respectively, a knowledge retention and a margin for error principle. (shrink)

Williamson (2000) argues that the KK principle is inconsistent with knowledge of margin for error in cases of inexact perceptual observations. This paper argues, primarily by analogy to a different scenario, that Williamson’s argument is fallacious. Margin for error principles describe the agent’s knowledge as a result of an inexact perceptual event, not the agent’s knowledge state in general. Therefore, epistemic agents can use their knowledge of margin for error at most once after a perceptual event, but not more. (...) This insight blocks a crucial step in Williamson’s original argument. Along the way, the value of standard epistemic logic for analyzing margin for error reasoning is challenged. (shrink)

The leading idea of this article is that one cannot acquire knowledge of any non-epistemic fact by virtue of knowing that one that knows something. The lines of reasoning involved in the surprise exam paradox and in Williamson’s _reductio_ of the KK-principle, which demand that one can, are thereby undermined, and new type of counter-example to epistemic closure emerges.

Kevin Dorst has recently provided a novel argument for the KK principle. In this paper I sketch a rejoinder.

According to the KK-principle, knowledge iterates freely. It has been argued, notably in Greco, that accounts of knowledge which involve essential appeal to normality are particularly conducive to defence of the KK-principle. The present article evaluates the prospects for employing normality in this role. First, it is argued that the defence of the KK-principle depends upon an implausible assumption about the logical principles governing iterated normality claims. Once this assumption is dropped, counter-instances to the principle can (...) be expected to arise. Second, it is argued that even if the assumption is maintained, there are other logical properties of normality which can be expected to lead to failures of KK. Such failures are noteworthy, since they do not depend on either a margins-for-error principle or safety condition of the kinds Williamson appeals to in motivating rejection KK. “Introduction: KK and Being in a Position to Know” Section formulates two versions of the KK-Principle; “Inexact Knowledge and Margins for Error” Section presents a version of Williamson’s margins-for-error argument against it; “Knowledge and Normality” and “Iterated Normality” Sections discuss the defence of the KK-Principle due to Greco and show that it is dependent upon the implausible assumption that the logic of normality ascriptions is at least as strong as K4; finally, “Knowledge in Abnormal Conditions” and “Higher-Order Ignorance Inside the Margins” Sections argue that a weakened version of Greco’s constraint on knowledge is plausible and demonstrate that this weakened constraint will, given uncontentious assumptions, systematically generate counter-instances to the KK-principle of a novel kind. (shrink)

If we hold that perceiving is sufficient for knowing, we can raise a powerful objection to dreaming skepticism: Skeptics assume the implausible KK-principle, because they hold that if we don’t know whether we are dreaming or perceiving p, we don’t know whether p. The rejection of the KK-principle thus suggests an anti-skeptical strategy: We can sacrifice some of our self-knowledge—our second-order knowledge—and thereby save our knowledge of the external world. I call this strategy the Self-Knowledge Gambit. I argue (...) that the Self-Knowledge Gambit is not satisfactory, because the dreaming skeptic can avail herself of a normative counterpart to the KK-principle: When we lack second-order knowledge, we should suspend our first-order beliefs and thereby give up any first-order knowledge we might have had. The skeptical challenge is essentially a normative challenge, and one can raise it even if one rejects the KK-Principle. (shrink)

A puzzle of an unmarked clock, used by Timothy Williamson to question the KK principle, was separately adapted by David Christensen and Adam Elga to critique a principle of Rational Reflection. Both authors, we argue, flout the received relationship between ideal agency and the classical distinction between systematic and random error, namely that ideal agents are subject only to the latter. As a result, these criticisms miss their mark.

What is the role of sceptical scenarios—dreams, evil demons, brains in a vat—in scep- tical arguments? According to the error view, sceptical scenarios illustrate the possibil- ity of massive falsity in one’s beliefs, whereas according to the ignorance view, they illustrate the possibility of massive ignorance not necessarily due to falsity. In this paper, the ignorance view is defended by surveying the arguments in favour of it and by replying to two pressing objections against it. According to the first objection, (...) the ignorance view illicitly introduces the kk-principle into sceptical arguments. In reply I argue that kk is not less plausible than its main rival, the closure principle. According to the second objection, relying on veridical ignorance-possibilities contradicts the transparency of belief. In reply I introduce a version of transparency that is consistent with the ignorance view. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Closure principles say that if you know some proposition which entails a second and you meet further conditions then you know the second. In this paper I construct an argument against closure principles which turns on the idea that knowing a proposition requires that one’s belief-forming process be reliable. My argument parallels an influential argument offered by Timothy Williamson against KK principles–principles that say that if you know some proposition and you meet further conditions then you know that you know (...) the proposition. After offering my argument, I provisionally assess its damage to closure principles and also look at how responses to my argument against closure principles can be used to generate responses to Williamson’s argument against KK principles. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Dorr et al. present a case that poses a challenge for a number of plausible principles about knowledge and objective chance. Implicit in their discussion is an interesting new argument against KK, the principle that anyone who knows p is in a position to know that they know p. We bring out this argument, and investigate possible responses for defenders of KK, establishing new connections between KK and various knowledge-chance principles.

What epistemic defect needs to show up in a skeptical scenario if it is to effectively target some belief? According to the false belief account, the targeted belief must be false in the skeptical scenario. According to the competing ignorance account, the targeted belief must fall short of being knowledge in the skeptical scenario. This paper argues for two claims. The first is that, contrary to what is often assumed, the ignorance account is superior to the false belief account. The (...) second is that the ignorance account ultimately hobbles the skeptic. It does so for two reasons. First, when this account is joined with either a closure-based skeptical argument or a skeptical underdetermination argument, the best the skeptic can do is show that we don’t know that we know. And second, the ignorance account directly implies the maligned KK principle. (shrink)

The KK principle states that knowing entails knowing that one knows. This historically popular principle has fallen out of favour among many contemporary philosophers in light of putative counterexamples. Recently, some have defended more palatable versions of KK by weakening the principle. These revisions remain faithful to their predecessor in spirit while escaping crucial objections. This paper examines the prospects of such a strategy. It is argued that revisions of the original principle can be captured by (...) a generalized knowledge iteration principle, Weak-KK, which states that knowing entails the possibility of knowing that one knows. But Weak-KK is vulnerable to an unknowability result and therefore must be rejected. The arguments here suggest that retreating to weaker iteration principles is not an option for the KK enthusiast. (shrink)

_ Source: _Volume 5, Issue 1, pp 55 - 60 Peter Murphy has argued that effective skeptical scenarios all have the following feature: the subject involved in the scenario does not know that some ordinary proposition is true, even if the proposition is true in the scenario. So the standard “false belief” conception of skeptical scenarios is wrong, since the belief of the targeted proposition need not be mistaken in the scenario. Murphy then argues that this observation engenders a problem (...) for skeptical arguments: they require the KK principle. We respond to this criticism on behalf of the skeptic in our paper. (shrink)

I discuss, in the first part, Chisholm's definition of the self-presenting. I argue that the psychological pre-conditions that Chisholm imposes on his epistemic notions cause difficulties for the definition and suggest that there may be a further difficulty when one considers the definition in the light of what Chisholm says about the KK principle. I try, in the second part, to elucidate the relation that a person has to propositions that are self-presenting to him, and I consider Chisholm's views (...) on the same matter. (shrink)

In the current discussion on epistemic value, several philosophers argue that understanding enjoys higher epistemological significance and epistemic value than knowledge—the epistemic state the epistemological tradition has been preoccupied with. By noting a tension between the necessary conditions for understanding in the perhaps most prominent of these philosophers, Jonathan Kvanvig, this paper disputes the higher epistemological relevance of understanding. At the end, on the basis of the results of the previous sections, some alternative comparative contrasts between knowledge and understanding are (...) briefly explored, including one in which an analogue to the KK-principle for knowledge, the “UU-principle”, does not hold for a different reason than that for which the former principle fails. (shrink)

In chapter 5 of Knowledge and its Limits, T. Williamson formulates an argument against the principle (KK) of epistemic transparency, or luminosity of knowledge, namely “that if one knows something, then one knows that one knows it”. Williamson’s argument proceeds by reductio: from the description of a situation of approximate knowledge, he shows that a contradiction can be derived on the basis of principle (KK) and additional epistemic principles that he claims are better grounded. One of them is (...) a reflective form of the margin for error principle defended by Williamson in his account of knowledge. We argue that Williamson’s reductio rests on the inappropriate identification of distinct forms of knowledge. More specifically, an important distinction between perceptual knowledge and non-perceptual knowledge is wanting in his statement and analysis of the puzzle. We present an alternative account of this puzzle, based on a modular conception of knowledge: the (KK) principle and the margin for error principle can coexist, provided their domain of application is referred to the right sort of knowledge. (shrink)

In this paper, we argue that Williamson’s arguments against luminosity and the KK principle do not work, at least in a scientific context. Both of these arguments are based on the presence of a so-called “buffer zone” between situations in which one is in a position to know p and situations in which one is in a position to know ¬p. In those positions belonging to the buffer zone ¬p holds, but one is not in a position to know (...) ¬p. The presence of this buffer zone triggers two types of sorites arguments. We show that this kind of argument does not hold in a scientific context, where the buffer zone is controlled by a quantitative measurement of the experimental error. (shrink)

I discuss, in the first part, Chisholm's definition of the self-presenting. I argue that the psychological pre-conditions that Chisholm imposes on his epistemic notions cause difficulties for the definition and suggest that there may be a further difficulty when one considers the definition in the light of what Chisholm says about the KK principle. I try, in the second part, to elucidate the relation that a person has to propositions that are self-presenting to him, and I consider Chisholm's views (...) on the same matter. (shrink)

The papers in this special issue are based on presentations delivered at the conference Epistemic Aspects of Many-valued Logics, held at the Institute of Philosophy of the Academy of Sciences of the Czech Republic, in Prague, 2010. All papers consequently revolve around the application of non-classical logical tools—mathematical fuzzy logic and/or probability theory—to epistemological issues.Timothy Williamson employs a modal epistemic logic enriched with probabilities to generalize an argument against the KK-principle. He argues that we can know a proposition even (...) if our evidential probability for that proposition is low. In fact he argues that the evidential probability of a known proposition can be (arbitrarily) close to 0. The argument is first presented with a basic idealized model, which is then extended to much more complicated and realistic models. This then raises a problem for decision theory, since you can know that p, while your evidence tells you (strongly) that not p. Wil .. (shrink)

Williamson sustenta que o conhecimento de proposições vagas só é possível se certo princípio de margem epistêmica de erro for satisfeito. Williamson emprega um princípio desse tipo para explicar a ignorância da mente não-onisciente em relação aos casos limítrofes dos conceitos vagos e no tratamento dos argumentos soríticos. Na elaboração de seu argumento a favor de um princípio de margem de erro, Williamson também envida esforços na tentativa de refutar o principio KK. Neste ensaio, iremos levantar algumas dificuldades para a (...) abordagem de Williamson. (shrink)

This essay defends a principle that promises to help illuminate the nature of reflective knowledge. The principle in question belongs to a broader category called knows-knows principles, or KK principles for short. Such principles say that if you know some proposition, then you're in a position to know that you know it.KK principles were prominent among various historical philosophers and can be fruitfully integrated with many views in contemporary epistemology and beyond—and yet almost every contemporary analytic epistemologist thinks (...) that they are false.Regarding their historical pedigree: they've been endorsed by Plato, Aristotle, Augustine, Averroes, Aquinas, Spinoza, and Schopenhauer, among others.1Regarding... (shrink)

This study continues the anti-realist’s quest for a principled way to avoid Fitch’s paradox. It is proposed that the Cartesian restriction on the anti-realist’s knowability principle ‘ϕ, therefore 3Kϕ’ should be formulated as a consistency requirement not on the premise ϕ of an application of the rule, but rather on the set of assumptions on which the relevant occurrence of ϕ depends. It is stressed, by reference to illustrative proofs, how important it is to have proofs in normal form (...) before applying the proposed restriction. A similar restriction is proposed for the converse inference, the so-called Rule of Factiveness ‘3Kϕ therefore ϕ’. The proposed restriction appears to block another Fitch-style derivation that uses the KK -thesis in order to get around.. (shrink)

Improbable knowing is knowing something even though it is almost certain on one’s evidence at the time that one does not know that thing. Once probabilities on the agent’s evidence are introduced into epistemic logic in a very natural way, it is easy to construct models of improbable knowing, some of which have realistic interpretations, for instance concerning agents like us with limited powers of perceptual discrimination. Improbable knowing is an extreme case of failure of the KK principle, that (...) is, of a case of knowing something even though one does not know at the time that one knows that thing. A generalization of the argument yields cases of improbable rationality, in which it is rational for one to do something even though it is almost certain on one’s evidence at the time that it is not rational for one to do that thing. When the models are elaborated to represent appearances and beliefs as well as knowledge, they turn out to contain Gettier cases. Neglect of the possibility of improbable knowing may cause some sceptical claims and claims of the non-closure of knowledge under competent deduction to look more plausible than they deserve to. A formal appendix explores the closely related question of the conditions under which a reflection principle is violated. The principle says that the evidential probability of a proposition conditional on the evidential probability of that proposition’s being c is itself c. (shrink)

In Hawthorne and Magidor 2009, we presented an argument against Stalnaker’s meta-semantic framework. In this paper we address two critical responses to our paper: Stalnaker 2009, and Almotahari and Glick 2010. Sections 1–4 are devoted to addressing Stalnaker’s response and sections 5–8 to addressing Almotahari and Glick’s. We pay special attention (Sect. 2) to an interesting argument that Stalnaker offers to bolster the transparency of presupposition (an argument that, if successful, could also form the basis of a defence of the (...) KK principle). (shrink)

A variety of recent work in epistemology employs a notion of normality to provide novel theories of knowledge or justification. While such theories are commonly advertised as affording particularly strong epistemic logics, they often make substantive assumptions about the background notion of normality and its logic. This article takes recent normality-based defences of the KK principle as a case study to submit such assumptions to scrutiny. After clarifying issues regarding the natural language use of normality claims, the article isolates (...) a number of choice points regarding the role of contingency, context-sensitivity and similarity in our theorizing with normality. It turns out that both weaker and stronger logics of normality can be motivated depending on how such choices are resolved. And yet securing logics of normality strong enough for normality to play its envisaged role in epistemology may have unwelcome downstream consequences for the resultant theories of knowledge or justification. (shrink)

Can we turn the screw on counter-examples to the KK principle (that if one knows that P, one knows that one knows that P)? The idea is to construct cases in which one knows that P, but the epistemic status for one of the proposition that one knows that P is much worse than just one’s not knowing it. Of course, since knowledge is factive, there can’t be cases in which one knows that P and knows that one doesn’t (...) know that P (we can’t strengthen ¬KKp to K¬Kp)! If we can construct such cases, we may be able to use them to understand some puzzling epistemic phenomena. (shrink)

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that they know (...) them, or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

This paper argues for several related theses. First, the epistemological position that knowledge requires safe belief can be motivated by views in the philosophy of science, according to which good explanations show that their explananda are robust. This motivation goes via the idea—recently defended on both conceptual and empirical grounds—that knowledge attributions play a crucial role in explaining successful action. Second, motivating the safety requirement in this way creates a choice point—depending on how we understand robustness, we'll end up with (...) different conceptions of safety in epistemology. Lastly, and most controversially, there's an attractive choice at this point that will not vindicate some of the most influential applications of the safety-theoretic framework in epistemology, e.g., Williamson's arguments against the KK principle, and luminosity. (shrink)