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.

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.

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)

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 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)

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.

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 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)

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.

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)

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)

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)

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)

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

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 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)

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)

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.

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.

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)

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)

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)

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)

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)

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 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)

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)

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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

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)

The Mahayana tradition in Buddhist philosophy is defined by its ethical orientation--the adoption of bodhicitta, the aspiration to attain awakening for the benefit of all sentient beings. And indeed, this tradition is known for its literature on ethics, which reflect the Madhyamaka tradition of philosophy, and emphasizes both the imperative to cultivate an attitude of universal care (karuna) grounded in the realization of emptiness, impermanence, independence, and the absence of any self in persons or other phenomena.This position is morally very (...) attractive, but raises an important problem: if all phenomena, including persons and actions, are only conventionally real, can moral injunctions or principles be binding, or does the conventional status of the reality we inhabit condemn us to an ethical relativism or nihilism? In Moonpaths, the Cowherds address an analogous problem in the domain of epistemology and argues that the Madhyamaka tradition has the resources to develop a robust account of truth and knowledge within the context of conventional reality. The essays explore a variety of ways in which to understand important Buddhist texts on ethics and Mahayana moral theory so as to make sense of the genuine force of morality. (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)

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by (...) one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

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)

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)

This article aims to clarify the epistemological foundations of the Freudian energetics model, starting with a historical review of the 19th century scientific context in which Freud's research lay down its roots. Beyond the physiological and anatomical references of Project for a Scientific Psychology, the physiology Freud makes reference to is in reality primarily anchored in an epistemological model derived from physics. Whilst across the Rhine, the autonomy of physiology in relation to physics was far from being accomplished, as a (...) counterpoint, in France, the revolution in physiology driven by Claude Bernard established itself autonomously from physics,. In contrast, Freud's scientific landscape is entirely dominated by the physics elevated to the rank of an ideal science. The influence of Helmholtz, who is both a medical doctor and a physicist, has a determining influence on Freud's training. The discoveries in physics at that time, in particular the formulation of the principle of 'conservation of force' - first principle of thermodynamics - will constitute the points of reference upon which Freud will elaborate his energetics model, then subsequently, the idea of economy in his metapsychology. In this way we can trace both the historic and epistemological path that led Freud from a concept based on physics, and more specifically thermodynamic energy, to an idea of nervous energy that constitutes the basis of the concept of "quantity" as it is stated as 'first fundamental idea' in Project for a Scientific Psychology. This notion will subsequently evolve, and lead Freud to the introduction of the concept of 'psychical energy,' this time in a purely metapsychological sense. (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)

Wittgenstein's Nachlass: The Bergen Electronic Edition is the only CD-ROM to give you instant facsimile and text access to the 20,000 pages of the philosopher's Nachlass as catalogued by Professor von Wright in his 1982 publication The Wittgenstein Papers. -/- The result of 10 years of academic research and editorial work by the Wittgenstein Archives at the University of Bergen this electronic edition is the first scholarly resource to apply a uniform, well-documented, consistent set of editorial principles to the writings. (...) The CD-ROM is a joint publication between Oxford University Press and the Wittgenstein Archives and is published in Text & Facsimile and Text Only formats. (shrink)

Most donated organs in the United States come from brain dead donors, while a small percentage come from patients who die in “controlled,” or expected, circumstances, typically after the family or surrogate makes a decision to withdraw life support. The number of organs available for transplant could be substantially if donations were permitted in “uncontrolled” circumstances–that is, from people who die unexpectedly, often outside the hospital. According to projections from the Institute of Medicine, establishing programs permitting “uncontrolled donation after circulatory (...) determination of death,” or uDCDD, throughout the United States has the potential to provide 22,000 more donation opportunities annually. In contrast, U.S. controlled donation after circulatory determination of death, or cDCDD, cases have increased progressively over the past decade from 87 to 848 donors, but currently account for only 10.6 percent of all deceased donors. Following the IOM recommendations, several projects exploring the feasibility of uDCDD were funded by the federal government, including a grant from the Health Resources and Services Administration that supported a pilot project in New York City in which the authors of this article participated.A key feature of our protocol, and indeed of many uDCDD protocols, is the initiation of preservation methods such as chest compressions and extracorporeal membrane oxygenation shortly after death in order to perfuse and preserve the donor's organs. Critics of uDCDD argue that the means of determining death deviates from generally ascribed principles. They assert that reinstituting circulation in order to preserve organs has the effect of “undoing” the prior determination of death. The result is that cDCDD is widely accepted and practiced routinely even though it only marginally increases the number of organs available for transplantation, and uDCDD is widely considered unacceptable despite being ethically embraced and proven to significantly increase organ donation opportunities in other countries. This article explores the evolution of this counterintuitive state of affairs and calls for a policy that, in line with the IOM report, allows for both cDCDD and uDCDD protocols. (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)