A Second Generation Epistemic Logic and its General Significance

Epistemic logic was practiced already in the middle ages (see (56), (70)). It was thrust to the awareness of contemporary philosophers by von Wright in his An Essay on Modal Logic ((79), see chapter 4). In this paper, I will consider epistemic logic primarily in relation to its epistemological applications. Surely any satisfactory epistemic logic ought to be able to prove its mettle as an epistemo-logic, to coin a phrase. From this perspective, the half-century long career of epistemic logic presents us with something of a paradox. Epistemic logic was created by philosophers for philosophical purposes. It is one of the core areas in what is (misleadingly) known as philosophical logic. Yet its most promising philosophical suggestions were put forward relatively late, and even then they have received but lukewarm attention on the part of philosophers. These potential philosophical applications are in my judgment incomparably more interesting and significant than the technicalities of epistemic logic that routinely receive the lion’s share of attention in books and papers on epistemic logic. In typical surveys of epistemic logic (cf. (72), (74)), little attention is paid to the epistemological perspectives opened by epistemic logic.

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

[2]  Simo Knuuttila Modalities in Medieval Philosophy , 1993 .

[3]  Steven E. Boër,et al.  Knowing Who , 1985 .

[4]  J. Hintikka,et al.  Anaphora And Definite Descriptions , 1985 .

[5]  Wolfgang Lenzen Glauben, Wissen und Wahrscheinlichkeit : Systeme der epistemischen Logik , 1980 .

[6]  Wolfgang Lenzen,et al.  Glauben, Wissen und Wahrscheinlichkeit , 1980 .

[7]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[8]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[9]  J. Hintikka,et al.  Semantics and Pragmatics For Why-Questions , 1995 .

[10]  Wolfgang Lenzen,et al.  Epistemologische betrachtungen zu [S4, S5] , 1979 .

[11]  Jaakko Hintikka,et al.  The Cartesian cogito, epistemic logic and neuroscience: Some surprising interrelations , 1990, Synthese.

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

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

[14]  Heinrich Wansing,et al.  Knowledge and belief in philosophy and artificial intelligence , 1995 .

[15]  Ivan Boh Epistemic Logic in the Later Middle Ages , 1993 .

[16]  E. Engdahl Constituent Questions: The Syntax and Semantics of Questions with Special Reference to Swedish , 1985 .

[17]  Jaakko Hintikka,et al.  The Fallacies of the New Theory of Reference , 1995 .

[18]  J. Hintikka The Intentions of Intentionality , 1975 .

[19]  Jaakko Hintikka,et al.  Systems of Visual Identification in Neuroscience: Lessons from Epistemic Logic , 2003, Philosophy of Science.

[20]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..