Quasi-indexicals and knowledge reports
pp. 235-294
in: Francesco Orilia, William J. Rapaport (eds), Thought, language, and ontology, Berlin, Springer, 1998Abstract
How are knowledge and belief related? The standard philosophical analysis, dating back at least to Plato (Theaetetus 201), is that knowledge is justified true belief (but cf. Gettier 1963). In this paper, we describe some issues that are in the field of knowledge representation taken literally—issues in the representation of knowledge reports, where knowledge is treated as true belief. (Consideration of cognitive agents' justifications for their beliefs has not recently been of central concern to formal computational analyses of knowledge (cf. Rapaport 1992 for a survey); however, once the appropriate logical foundations for knowledge- and belief-representation are determined, the issue of justification ought once again to become a major area of research.)
