Most of us create and use a panoply of non-sentential representations throughout our ordinary lives: we regularly use maps to navigate, charts to keep track of complex patterns of data, and diagrams to visualize logical and causal relations among states of affairs. But philosophers typically pay little attention to such representations, focusing almost exclusively on language instead. In particular, when theorizing about the mind, many philosophers assume that there is a very tight mapping between language and thought. Some analyze utterances (...) as the outer vocalizations of inner thoughts (e.g. Grice 1957, Devitt 2005), while others treat thought as a form of inner speech (e.g. Sellars 1956/1997, Carruthers 2002). But even philosophers who take no stand on the relative priority of language and thought still tend to individuate mental states in terms of the sentences we use to ascribe them. Indeed, Dummett (1993) claims that it is constitutive of analytic philosophy that it approaches the mind by way of language. In many ways, this linguistic model is salutary. Our thoughts are often intimately intertwined with their linguistic expression, and public language does provide a comparatively tractable proxy for, and a window into, the messier realm of thought. However, an exclusive focus on thought as it is expressed in language threatens to leave other sorts of thought unexplained, or even to blind us to their possibility. In particular, many cognitive ethologists and psychologists find it useful to talk about humans, chimpanzees, birds, rats, and even bees as employing cognitive maps. We need to make sense of this way of talking about minds as well as more familiar sentential descriptions. In what follows, I investigate the theoretical and practical possibility of non-sentential thought. Ultimately, I am most interested in the contours of distinctively human thought: what forms does human thought take, and how do those different forms interact? How does human thought compare with that of other animals? In this essay, however, I focus on a narrower and more basic theoretical question: could thought occur in maps? Many philosophers are convinced that in some important sense, thought per se must be language-like.. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...) an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and a (...) corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic. (shrink)

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.