•  211
    The uncoordinated teachers puzzle
    Episteme 1-8. forthcoming.
    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…Read more
  •  177
    Epistemic closure refers to the assumption that humans are able to recognize what entails or contradicts what they believe and know, or more accurately, that humans’ epistemic states are closed under logical inferences. Epistemic closure is part of a larger theory of mind ability, which is arguably crucial for downstream NLU tasks, such as inference, QA and conversation. In this project, we introduce a new automatically constructed natural language inference dataset that tests inferences related…Read more
  •  498
    Within psychology, philosophy, and cognitive science, theory of mind refers to the cognitive ability to reason about the mental states of other people, thus recognizing them as having beliefs, knowledge, intentions and emotions of their own. In this project, we construct a natural language inference (NLD) dataset that tests the ability of a state of the art language model, RoBERTa-large finetuned on the MNLI dataset, to make theory of mind inferences related to knowledge and belief. Experimental…Read more
  •  317
    Inexact knowledge and dynamic introspection
    Synthese 199 (3-4): 5509-5531. 2021.
    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 knowled…Read more
  •  212
    Opaque Updates
    Journal of Philosophical Logic 50 (3): 447-470. 2020.
    If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque updates using a simple system of dynamic episte…Read more
  •  56
    The problem of perception and the no-miracles principle
    Synthese 198 (11): 11065-11080. 2020.
    The problem of perception is the problem of explaining how perceptual knowledge is possible. The skeptic has a simple solution: it is not possible. I analyze the weaknesses of one type of skeptical reasoning by making explicit a dynamic epistemic principle from dynamic epistemic logic that is implicitly used in debating the problem, with the aim of offering a novel diagnosis to this skeptical argument. I argue that prominent modest foundationalist responses to perceptual skepticism can be unders…Read more
  •  312
    A Dynamic Epistemic Logic with a Knowability Principle
    In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, Springer. pp. 406-410. 2015.
    A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.
  •  47
    Reducing Contrastive Knowledge
    Erkenntnis 86 (6): 1547-1565. 2019.
    According to one form of epistemic contrastivism, due to Jonathan Schaffer, knowledge is not a binary relation between an agent and a proposition, but a ternary relation between an agent, a proposition, and a context-basing question. In a slogan: to know is to know the answer to a question. I argue, first, that Schaffer-style epistemic contrastivism can be semantically represented in inquisitive dynamic epistemic logic, a recent implementation of inquisitive semantics in the framework of dynamic…Read more
  •  36
    Explanatory Justice: The Case of Disjunctive Explanations
    Philosophy of Science 85 (3): 442-454. 2018.
    Recent years have witnessed an effort to explicate the concept of explanatory power in a Bayesian framework by constructing explanatory measures. It has been argued that those measures should not violate the principle of explanatory justice, which states that explanatory power cannot be extended “for free.” I argue, by formal means, that one recent measure claiming to be immune from explanatory injustice fails to be so. I end by concluding that the explanatory justice criticism can be dissolved,…Read more