论文信息 - On Logics of Knowledge and Belief

On Logics of Knowledge and Belief

Formal epistemology, or at least the approach to formal epistemology that develops a logic and formal semantics of knowledge and belief in the possible worlds framework, began with Jaakko Hintikka’s book Knowledge and Belief, published in 1962. It was later developed and applied to problems in theoretical computer science and game theory, as well as within epistemology. This paper surveys some of these developments, focusing on the formal relations between knowledge and belief, and on the way that the logics of knowledge and belief connect with some traditional problems in epistemology.

Robert Stalnaker

[1] J. Hintikka. Knowledge and belief , 1962 .

[2] Edmund L. Gettier. Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.

[3] Keith Lehrer,et al. Knowledge: Undefeated Justified True Belief , 1969 .

[4] Wolfgang Lenzen,et al. Recent work in epistemic logic , 1978 .

[5] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..

[6] Miroslaw Truszczynski,et al. Modal Logic S4F and The Minimal Knowledge Paradigm , 1992, TARK.

[7] Robert Stalnaker,et al. What is a Nonmonotonic Consequence Relation? , 1994, Fundam. Informaticae.

[8] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[9] Robert Stalnaker. Knowledge, Belief and Counterfactual Reasoning in Games , 1996, Economics and Philosophy.

[10] Pierpaolo Battigalli,et al. Recent results on belief, knowledge and the epistemic foundations of game theory , 1999 .

[11] Robert Stalnaker. Context and content : essays on intentionality in speech and thought , 1999 .

[12] Timothy Williamson,et al. Knowledge and Its Limits , 2000 .

[13] Robert Stalnaker,et al. The problem of logical omniscience, I , 1991, Synthese.

[14] Peter Gärdenfors,et al. Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .