Proceedings of the Annual Meeting of the Cognitive Science Society

Verbs such as ‘know’ and ‘think’ help people describe mental states, and reasoners without any training in logic can make epistemic inferences about mental states. For instance, verbs such as ‘know’ are factive, i.e., they describe true propositions, and the statement Ora knows that it’s sunny licenses the inference that it’s sunny. Logicians have accordingly developed epistemic logics capable of characterizing valid and invalid epistemic inferences based on operators that serve as analogs to verbs such as ‘know’ and ‘think’. Recent work suggests that no existing logical system can capture the inferences that naïve individuals tend to make. This paper describes a new theory of epistemic reasoning that operates on the assumption that reasoners represent epistemic relations as spatial models. The theory accords with recent theoretical advances, existing data, as well as two novel experiments that show how reasoners cope with nested epistemic verbs, e.g., Ami knows that Ora thinks it’s sunny.