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)

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)

This thesis attempts to address the philosophical implications of the N, N-Dimethyltryptamine (DMT) research of Dr. Rick Strassman. Strassman concludes that the psychedelic properties of DMT represent a proper biological starting point for discussing spiritual and near-death experiences. My research attempts to incorporate philosophical elements from the philosophy of mind and philosophy of religion/mysticism to give an accurate account of some of the philosophical issues worth exploring for future research. One of the essential patterns in this thesis is to trace (...) the research and conclusions of Strassman, compare them with the philosophical issues in the contemporary philosophy of mind and to address the problems of spiritual qualia and mystical experience. Part of the issue stems from understanding a theoneurological (brain mediated prophetic/spiritual communication) account for spiritual experiences within the framework of naturalism/supernaturalism philosophy. Here, I decipher the problems of qualitative distinctions amongst spiritual and nonspiritual experiences and how consciousness plays an essential role in this process. (shrink)

In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the (...) core set. Moreover, we also propose and advocate an alternative yet meaningful axiomatization of PAL without the reduction axioms. The completeness is proved directly by a detour method using the canonical model where announcements are treated as merely labels for modalities as in normal modal logics. This new axiomatization and its completeness proof may sharpen our understanding of PAL and can be adapted to other dynamic epistemic logics. (shrink)

Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely (...) upon its being expressively equivalent to AML. (shrink)

In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensional semantics, and the system we call Centered semantics. (...) We then propose a semantics of degrees of clarity, inspired from the signal detection theory model, and outline a view of higher-order vagueness in which the notions of subjective clarity and unclarity are handled asymmetrically at higher orders, namely such that the clarity of clarity is compatible with the unclarity of unclarity. (shrink)

In this paper I present a more refined analysis of the principles of deductive closure and positive introspection. This analysis uses the expressive resources of logics for different types of group knowledge, and discriminates between aspects of closure and computation that are often conflated. The resulting model also yields a more fine-grained distinction between implicit and explicit knowledge, and places Hintikka’s original argument for positive introspection in a new perspective.

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and (...) rationality, in a number of central axes in dynamic epistemology: temporal, social, probabilistic and even deontic dynamics. (shrink)

A joint modelling of objective worlds and subjective perceptions within two-dimensional semantics eliminates the margin for error principle and solves the epistemic sorites paradox. Two objective knowledge modalities can be defined in two-dimensional frames accounting for subjective perceptions: “necessary knowledge” (NK) and “possible knowledge” (PK), the latter being better suited to the interpretation of knowledge utterances. Two-dimensional semantics can in some cases be reduced to one-dimensional ones, by defining accessibility relations between objective worlds that reflect subjective perceptions: NK and PK (...) are respectively equivalent to ${\square \square }$ and ${\lozenge \square }$ in some one-dimensional frame, and to ${\square }$ and another modality in some other. (shrink)

Epistemic transparency tells us that, if an agent S knows a given proposition p , then S knows that she knows that p . This idea is usually encoded in the so-called KK principle of epistemic logic. The paper develops an argument in favor of a moderate version of KK , which I dub quasi-transparency , as a normative rather than a descriptive principle. In the second Section I put forward the suggestion that epistemic transparency is not a demand of (...) ideal rationality, but of ideal epistemic responsibility, and hence that ideally responsible agents verify transparency principles of some sort; I also contend that their satisfaction should not be tied to an internalist epistemology. The central argument in favor of transparency is then addressed in Sections 3 to 8, through the development of a formal system. I show that, in a well-behaved formal setting, a moderate version of transparency is imposed upon us as a result of a number of independent decisions on the structure of higher-order probabilities, as long as we request that our probability and knowledge attributions cohere with each other. Thus I give a rationale to build a model for a hierarchy of languages with different levels of knowledge and probability operators; we obtain an analogous to KK for successive knowledge operators without actually demanding transitivity. The formal argument reinforces the philosophical intuition that epistemic transparency is an important desideratum we should not be too ready to dismiss. (shrink)

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. This is the first paper in a two-part series introducing this research area. In this paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.

This is the second paper in a two-part series introducing logics for reasoning about the dynamics of knowledge and beliefs. Part I introduced different logical systems that can be used to reason about the knowledge and beliefs of a group of agents. In this second paper, I show how to adapt these logical systems to reason about the knowledge and beliefs of a group of agents during the course of a social interaction or rational inquiry. Inference, communication and observation are (...) typical examples of informative events, which have been subjected to a logical analysis. The main goal of this article is to introduce the key conceptual and technical issues that drive much of the research in this area. (shrink)

Defined and formalized several decades ago, widely used in philosophy and game theory, the concept of common knowledge is still considered as problematic, although not always for the right reasons. I suggest that the epistemic status of a group of human agents in a state of common knowledge has not been thoroughly analyzed. In particular, every existing account of common knowledge, whether formal or not, is either too strong to fit cognitively limited individuals, or too weak to adequately describe their (...) state. I provide a realistic definition of common knowledge, based on a formalization of David Lewis’ seminal account and show that it is formally equivalent to probabilistic common belief. This leads to a philosophical analysis of common knowledge which answers several common criticisms and sheds light on its nature. (shrink)