This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

In the 1890s, Peirce reformulated quantification theory by expressing it in a language of diagrams, called existential graphs. Peirce thought that the iconicity of his graphs made them suitable for analyzing logical reasoning. Iconic signs can be said to show their meaning, and this paper studies the ways in which graphs do this. Peirce's pragmatic analysis of propositions resembles game-theoretical semantics, and existential graphs show what they mean by displaying the structure of the semantic game for the proposition represented by (...) a graph. (shrink)