•  82
    Folk psychology of mental activities
    with Frederick G. Conrad
    Psychological Review 96 (2): 187-207. 1989.
    A central aspect of people's beliefs about the mind is that mental activities—for example, thinking, reasoning, and problem solving—are interrelated, with some activities being kinds or parts of others. In common-sense psychology, reasoning is a kind of thinking and reasoning is part of problem solving. People's conceptions of these mental kinds and parts can furnish clues to the ordinary meaning of these terms and to the differences between folk and scientific psychology. In this article, we us…Read more
  •  167
    Reasoning About Truth in First-Order Logic
    with Claes Strannegård, Fredrik Engström, and Abdul Rahim Nizamani
    Journal of Logic, Language and Information 22 (1): 115-137. 2013.
    First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-order logic. These proof systems feature explicit models of cognitive resources such as declarative memory, procedural memory, working memory, and sensory memory. Third, we describe a computer program that is used to find the smallest proofs in …Read more
  •  57
    Lines of Thought addresses how we are able to think about abstract possibilities: How can we think about math, despite the immateriality of numbers, sets, and other mathematical entities? How are we able to think about what might have happened if history had taken a different turn? Questions like these turn up in nearly every part of cognitive science, and they are central to our human position of having only limited knowledge concerning what is or might be true.