Starting with Jaakko Hintikka’s seminal work, epistemic logic has now grown up to a huge academic industry. When we look back to its history, however, there is a practical paradox. While Hintikka’s original purpose was to facilitate epistemological discussion, most subsequent work of epistemic logic has been done outside of philosophy, and has been ignored by most mainstream epistemologists. At the current point, one might naturally wonder, does epistemic logic still have something to do with epistemology? Along with Hintikka and (...) a growing number of formal epistemologists, we believe the answer is “yes”. Contemporary epistemology has largely focused on the goal of providing an analysis of knowledge and an answer to skepticism. To avoid skepticism, many epistemologists prefer to define knowledge in terms of evidence and relevant alternatives. A typical saying is that “in order to know that p, one only needs evidence to eliminate all relevant alternatives, rather than all alternatives”. We see such a project as perfectly congenial to the spirit of Hintikka’s epistemic logic. In this paper, we propose an epistemic logic to deal with evidence and relevant alternatives explicitly, and extend EREL to its dynamic version to investigate how different notions of knowledge behavior with the decrease and increase of relevant alternatives. To illustrate its philosophical application, we provide a new formalization of the so called factivity problem of epistemic contextualism. We conclude with some remarks on further developments of our framework. (shrink)

In this paper, I propose and defend a solution to Kripke's puzzle about time and thought, which lives in harmony with the axiom schema of separation and does not invoke paraconsistency. I also compare my solution with Parikh's semantic interpretation, and answer to three potential objections.

Two‐dimensional semantics is probably the most significant development in contemporary philosophy of language. Among its various versions, it is Chalmers's epistemic two‐dimensionalism that received most widely discussions and most severe criticisms. Here I consider one such criticism, namely, “the nesting problem,” which concerns the interaction between modality and apriority. I propose a solution to the problem and defend it through comparison with other approaches in the literature, as well as rebut with some potential objections. It turns out that my solution (...) not only handles the interaction between modality and apriority naturally but also avoids many difficulties of other approaches. (shrink)