Skip to main content
In the common use of logic diagrams, the positive term is conveniently located inside the circle while its negative counterpart is left outside. This practice, already found in Euler's original scheme, leads to trouble when one... more
In the common use of logic diagrams, the positive term is conveniently located inside the circle while its negative counterpart is left outside. This practice, already found in Euler's original scheme, leads to trouble when one wishes to express the non-existence of the outer region or to tackle logic problems involving negative terms. In this chapter, we discuss various techniques introduced by Euler's followers to overcome this difficulty: some logicians modified the data of the problem at hand, others amended the diagrams, and another group changed the mode of representation. We also consider how modern diagrammatic systems represent negation.
This chapter canvasses some of the most pertinent notions that Peirce allied to his conception of abduction: divination, trustworthiness, hope, investigand, economy, uberty, seduction, instinct, insight, and imagination. While such... more
This chapter canvasses some of the most pertinent notions that Peirce allied to his conception of abduction: divination, trustworthiness, hope, investigand, economy, uberty, seduction, instinct, insight, and imagination. While such notions may suggest Peirce sliding into psychologism about logic, Peirce's own texts show that we can give these concepts perfectly non-psychological, natural, and scientific glosses-namely those that integrate their logical, linguistic, cognitive, and semiotic meanings. Thus attempts to characterize abduction as the "heuristics" of the operation of one's psychology or cognitive architecture would leave the issue of the full nature and reach of abduction wanting.
Peirce's novel, post-1903 interrogative construal of abductive logic is studied in terms of a dynamic approach. The information flow in abduction is interpreted by a dynamic mechanism over ranges. An abductive logic is proposed... more
Peirce's novel, post-1903 interrogative construal of abductive logic is studied in terms of a dynamic approach. The information flow in abduction is interpreted by a dynamic mechanism over ranges. An abductive logic is proposed that analyzes conjecture-making in scientific discovery. It explains how the updates on models representing the inquirers' information proceed when they are faced with new surprising facts. The formal semantics for this logic is given by neighborhood models. We apply our abductive logic to an analysis of some examples of scientific discovery. We thank the two anonymous reviewers of this journal for the abductive feedback that has contributed so much to the improvement of the present paper. We also thank the audience of the 15th Congress of Logic, Methodology and Philosophy of Science held in Helsinki, August 2015, in which a part of the present paper was presented in a special symposium on Pragmati(ci)st Philosophy of Science: Old and New organized by Chiara Ambrosio. * This work is supported by China National Fund of Humanities and Social Sciences (grant no. 14ZDB016).
In Peirce studies and beyond, such as in the fields of the philosophy of logic and mathematics, mathematical practice and their histories, there have been two dominant ideas in the mainstream and recent research on diagrammatic... more
In Peirce studies and beyond, such as in the fields of the philosophy of logic and
mathematics, mathematical practice and their histories, there have been two dominant
ideas in the mainstream and recent research on diagrammatic reasoning and
representation. The first is that diagrams, especially logical diagrams, are visual in
senses in which symbolic notations are not. The second idea is that logical diagrams are
iconic in senses in which symbolic notations are not. In this paper we submit both of
these claims under critical scrutiny. We use Peirce‘s system of Existential Graphs,
which is the mainstay of diagrammatic reasoning in both its historical and systematical
senses, as the testing ground. We show that neither of these claims is well founded.
Assertive graphs (AGs) modify Peirce's Alpha part of Existential Graphs (EGs). They are used to reason about assertions without a need to resort to any ad hoc sign of assertion. The present paper presents an extension of... more
Assertive graphs (AGs) modify Peirce's Alpha part of Existential Graphs (EGs). They are used to reason about assertions without a need to resort to any ad hoc sign of assertion. The present paper presents an extension of propositional AGs to the Beta case by introducing two kinds of non-interdefinable lines. The absence of polarities in the theory of AGs necessitates Beta-AGs that resort to such two lines: standard lines that mean the presence of a certain method of asserting, and barbed lines that mean the presence of a general method of asserting. New rules of transformations for Beta-AGs are presented by which it is shown how to derive the theorems of quantificational intuitionistic logic. Generally, Beta-AGs offer a new non-classical system of quantification http://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
Research Interests:
Residuation has become an important concept in the study of algebraic structures and algebraic logic. Relation algebras, for example, are residuated Boolean algebras and residuation is now recognized as a key feature of substructural... more
Residuation has become an important concept in the study of algebraic structures and algebraic logic. Relation algebras, for example, are residuated Boolean algebras and residuation is now recognized as a key feature of substructural logics. Early work on residuation can be traced back to studies in the logic of relations by De Morgan, Peirce and Schr¨oder. We know now that Peirce studied residuation enough to have listed equivalent forms that residuals may take and to have given a method for arriving at the different permutations. Here, we present for the first time a graphical treatment of residuation in Peirce’s Beta part of Existential Graphs (EGs). Residuation is captured by pairing the ordinary transformations of rules of EGs—in particular those concerning the cuts—with simple topological deformations of lines of identity. We demonstrate the effectiveness and elegance of the graphical presentation with several examples. While there might have been speculation as to whether Peirce recognized the importance of residuation in his later work, or whether residuation in fact appears in his work on EGs, we can now put the matter to rest. We cite passages where Peirce emphasizes the importance of residuation and give examples of graphs Peirce drew of residuals. We conclude that EGs are an effective means of enlightening this concept.
Under its most fair-spoken interpretation, a form of knowledge that is known as de re knowledge means that an individual is picked in epistemic alternatives so that the identity of alternatives is not known to one who is making these... more
Under its most fair-spoken interpretation, a form of knowledge that is known as de re knowledge means that an individual is picked in epistemic alternatives so that the identity of alternatives is not known to one who is making these choices. However, if individuals can be chosen outright, so that a sentence including some propositional attitudes such as knowledge or belief becomes true, these individuals have to be taken as being the same across the alternatives, experiencing only their local manifestations or aspects in some particular alternatives. It is this interpretation that amounts to de re or specific reading of knowledge, and its logic can be implemented in game-theoretic semantics, where the relevant games are of imperfect information, and the syntax is an intensionalised version of Hintikka-Sandu independence-friendly (IF) first-order logic. The interpretation cannot operate independently of the issues concerning the identification of objects in a semantic theory. The identification semantics is here taken to include a number of cognitively meaningful modes, with repercussions to so-called puzzles of beliefs.
The emergence of the Semantic Web suggests new perspectives to knowledge acquisition and representation, increasing the usefulness of possible-worlds semantics of epistemic logic (knowledge, belief and information). In this poster, it is... more
The emergence of the Semantic Web suggests new perspectives to knowledge acquisition and representation, increasing the usefulness of possible-worlds semantics of epistemic logic (knowledge, belief and information). In this poster, it is argued that possible worlds are a foundation of the Semantic Web, because one can (i) address the problem of the property of omniscience in logical approaches to knowledge, (ii) develop question-answering systems, interrogation and the semantics of questions, and (iii) see what the role model theory plays is in the Semantic Web research.
Logiikassa on tavanomaista rakentaa lauseita, esittää väitteitä ja suorittaa muodollista päättelyä symbolisia merkkijärjestelmiä käyttäen. Valtaosa nykyaikaisen logiikan historiasta on ollut näiden symbolisten merkkijärjestelmien... more
Logiikassa on tavanomaista rakentaa lauseita, esittää väitteitä ja suorittaa muodollista päättelyä symbolisia merkkijärjestelmiä käyttäen. Valtaosa nykyaikaisen logiikan historiasta on ollut näiden symbolisten merkkijärjestelmien tutkimusta ja niiden sovelluksia. Symboliselle logiikalle vaihtoehdon tarjoavat ns. diagrammilogiikat. Niissä keskeistä on kuvallisuus (ikonisuus), merkkijärjestelmän ilmausten tietty rakenteellinen yhteys ilmausten edustamiin asioihin.
matisismiin liittyvää aineistoa hän tuotti 1890-luvulta alkaen. 2 (Apel 1995; Pietarinen & Snellman 2006). Yleisen tulkinnan ja merkityksen teorian, pragmatisismin, muotoilu fi losofi sta, loogista ja merkkiteoreettista käsitevälineistöä... more
matisismiin liittyvää aineistoa hän tuotti 1890-luvulta alkaen. 2 (Apel 1995; Pietarinen & Snellman 2006). Yleisen tulkinnan ja merkityksen teorian, pragmatisismin, muotoilu fi losofi sta, loogista ja merkkiteoreettista käsitevälineistöä käyttäen oli hänen merkit-tävin saavutuksensa. Pragmatismilla ja pragmatisismilla tarkoitetaan molemmilla kantaa, jonka mukaan kielen ulkoiseen maailmaan liittyvät käytännöt vaikuttavat ilmauksen merkitykseen. Peirce oli erittäin systemaattinen ajattelija ja pyrki luomaan arkkitehtonisen fi losofi an, joka on osa tieteitten kokonaisjärjestelmää, mutta hän ei koskaan luonut yleisesitystä pragmatisismista ja sen erityispiirteistä. Tutkijat ovat pyrkineet rakentamaan kuvaa tästä myöhemmän kauden ajat-telusta Peircen jälkeensä jättämien käsikirjoitusten perusteella. 3 Peirce on kuvannut oman fi losofi sen menetelmänsä vastaavan laboratoriotutkijan menetelmiä. Sen mukaan ilmausten ja merk-kien merkitys perustuu niiden tuottamiin koetuloksiin, jos vain se...
Ajatus tieteestä ja tieteellisestä tutkimuksesta ihmiskunnan hyvinvoinnin ja teknologian takeena ei ole kovin iäkäs, eikä se myöskään ole universaali. Länsimaisen elämänpiirin ulkopuolella teknologiset innovaatiot eivät pitkään nojanneet... more
Ajatus tieteestä ja tieteellisestä tutkimuksesta ihmiskunnan hyvinvoinnin ja teknologian takeena ei ole kovin iäkäs, eikä se myöskään ole universaali. Länsimaisen elämänpiirin ulkopuolella teknologiset innovaatiot eivät pitkään nojanneet tieteellisiin toiminta-ja ajatustapoihin, eivätkä ne sitä aina ole tehneet länsimaissakaan. Vielä tuoreempi on käsityksemme tieteen metodologiasta ja tieteellisen tutkimuksen perusluonteesta, tuskin paljoa yli satavuotias. Kuinka tieteelliset käsitykset viime kädessä muotoutuvat? Miten tieteellinen keksiminen ja innovointi on mahdollista? Tiede perustuu arvauksille. Tämä on perustavaa laatua oleva tosiseikka, joka herättää myös paljon kysymyksiä. Arvausten luonne ymmärretään helposti väärin. Tieteellinen arvaaminen ei tee tieteenteosta satunnaista spekulaatiota. Arvaaminen ei ole epärationaalista, impulsiivista tai tee tieteen tarkoituksesta samaa kuin kirjallisuus fiktiosta. Siitä ei seuraa skeptisismiä, ajatusta, että tiedolla tulee olla absoluutt...
DESCRIPTION Working Paper, Diagrammatic Mind Research Group
We show that Neil Tennant's critical study of Jaakko Hintikka's book The Principles of Mathematics Revisited is based on systematic misunderstandings and misrepresentations of the content of the book.
Participants of the workshop. Contributors. Preface. Introduction: Reference and the Semantics of Anaphora K. von Heusinger, U. Egli. Historical Aspects of Anaphoric Relations. Anaphora from Athens to Amsterdam U. Egli. Understanding the... more
Participants of the workshop. Contributors. Preface. Introduction: Reference and the Semantics of Anaphora K. von Heusinger, U. Egli. Historical Aspects of Anaphoric Relations. Anaphora from Athens to Amsterdam U. Egli. Understanding the Semantics of 'relativa grammaticalia': Some Medieval Logicians on Anaphoric Pronouns R. Hulsen. Meaning in Motion J. Groenendijk, M. Stokhof. Quantification and Scope. Scope Matters D. Farkas. Scope Ambiguities with Negative Quantifiers H. de Swart. Definiteness Effect: The Case of Russian E. Paducheva. Persistence, Polarity, and Plurality S. Neale. Anaphoric Reference. Anaphoric Relations Across Attitude Contexts R. van Rooy. The Grammar of the Attitudes H. Slater. Choice Functions and the Semantics of Indefinites. Some Remarks on Choice Functions and LF-Movement A. von Stechow. What Makes Choice Natural? Y. Winter. The Reference of Indefinites K. von Heusinger. Representation and Interpretation. Reference and Inference: The Case of Anaphora J. Peregrin. Coreference and Representationalism P. Dekker. Underspecified Semantics R. Muskens. Index of Subjects. Index of Names.
Extensive games of imperfect information, together with the associated semantic machinery, can be brought to bear on logical aspects of quantum-theoretic phenomena. Among other things, this kinship implies that propositional logic of... more
Extensive games of imperfect information, together with the associated semantic machinery, can be brought to bear on logical aspects of quantum-theoretic phenomena. Among other things, this kinship implies that propositional logic of informational independence is useful in understanding such quantum theoretic issues as non-locality and EPR-type paradoxes, and that quantum logic exhibits the overall game-theoretical notion of uncertainty.
Oratio Obliqua, Oratio Recta: An Essay on Metarepresentation. Francois Recanati. Cambridge, MA: MIT Press, 2000.360 pp.
ABSTRACT
Visual and other non-symbolic representational forms and reasoning about them are increasingly visible in the intersections of logic, computer science and linguistics. Peirce's system of existential graphs, putting forth... more
Visual and other non-symbolic representational forms and reasoning about them are increasingly visible in the intersections of logic, computer science and linguistics. Peirce's system of existential graphs, putting forth "actions of the mind in thought" by "moving pictures of ...
I examine the conceptual interplay between semantic and pragmatic aspects of linguistic meaning from the game-theoretic standpoint, and find a negative result: that which is semantic and that which is pragmatic in language cannot be... more
I examine the conceptual interplay between semantic and pragmatic aspects of linguistic meaning from the game-theoretic standpoint, and find a negative result: that which is semantic and that which is pragmatic in language cannot be distinguished by rule-governed and structural features of game theory. The difference is whether players entertain epistemic relationships with respect to the solution concepts and strategy profiles in the game-theoretic analysis of linguistic meaning.
ABSTRACT This paper argues that despite some surface similarities, pragmaticism as a philosophy of mathematics proposed by Charles Peirce is incompatible with mathematical structuralism and fictionalism. Pragmaticism has to do with... more
ABSTRACT This paper argues that despite some surface similarities, pragmaticism as a philosophy of mathematics proposed by Charles Peirce is incompatible with mathematical structuralism and fictionalism. Pragmaticism has to do with experimentation and observation concerning the forms of relations in diagrammatic and iconic representations of mathematical entities. It does not presuppose mathematical foundations although it has these representations as its objects of study. But these objects do have a reality which structuralism and fictionalism deny.
. Three aspects of structural information in extensive form of games are discussed. First, the way strategies are dened in extensive games, as coding the appropriate amount of information about histories, leaves the possibility of... more
. Three aspects of structural information in extensive form of games are discussed. First, the way strategies are dened in extensive games, as coding the appropriate amount of information about histories, leaves the possibility of performing a transformation of imperfect information games into perfect information ones. Such a transformation is described here, and it is shown that subgame perfect equilibrium can be preserved. Second, the structure of extensive games with simultaneous moves is discussed, and it is argued that this class of games can be seen both as imperfect and perfect information games. A need for additional information partition is pointed out for these games, to capture the notion of imperfect recall. Third, it is suggested that extensive games in general benet from a wider and more dynamic concept of information set, generalising away from the requirement of players making decisions at the sets. In some cases, these dynamic sets are argued to be indisp...
ABSTRACT
ABSTRACT
ABSTRACT
Research Interests:
ABSTRACT
Peirce's later writings centre on his mature philosophy of pragmaticism, which he set out developing around the mid-1890s. My purpose is to argue for three interrelated theses: (i) that Peirce believed his pragmaticism to incorporate... more
Peirce's later writings centre on his mature philosophy of pragmaticism, which he set out developing around the mid-1890s. My purpose is to argue for three interrelated theses: (i) that Peirce believed his pragmaticism to incorporate the notion of abduction, (ii) that pragmaticism is a consequence of several fundamental assumptions that he believed can be shown to build a logically sound argument for its correctness, and (iii) that abduction features in pragmaticism in contributing to the argument in terms of two fundamental steps towards its conclusion.
According to the orthodox view of pragmatics, the esteemed notion of the common ground was introduced into the modern theory in the wake of the speech-act theories by David Lewis (1969), Stephen Schiffer (1972), and Robert Stalnaker... more
According to the orthodox view of pragmatics, the esteemed notion of the common ground was introduced into the modern theory in the wake of the speech-act theories by David Lewis (1969), Stephen Schiffer (1972), and Robert Stalnaker (1974), who applied the concept of mutual or common knowledge and belief. ½ I will challenge this view. While these writers acknowledged that H. Paul Grice foresaw the central role of the common ground (his preferred terms was the " common-ground status " of discourse particles and assertions), it has not been noted that he was influenced by Peirce's pragmatic philoso-phy and his many writings on topics closely related to speech acts, assertions, conventional utterances, interpretants as implicatures, rationality, cooperation, dialogue strategies, and several other key pragmatic factors in communication. Peirce also acknowledged the importance of common knowledge in the very existence of the common ground. In this chapter I will trace the d...
Arvoisat kuulijat, tarkoitukseni tässä on perustella (eli ei siis mitenkään varsinaisesti todistaa, sillä sellainen tehtävä ei liene vapaan tahdon ongelman ollessa kyseessä ensinkään mahdollinen), että suuresta houkutuksestaan huolimatta... more
Arvoisat kuulijat, tarkoitukseni tässä on perustella (eli ei siis mitenkään varsinaisesti todistaa, sillä sellainen tehtävä ei liene vapaan tahdon ongelman ollessa kyseessä ensinkään mahdollinen), että suuresta houkutuksestaan huolimatta sellaista suurta ja yleistä kysymystä kuin " Onko vapaata tahtoa olemassa vai ei " ei voi tehdä mielekkääksi. Emme voi kysyä, haluan siis esittää, onko meillä tahdon vapautta vai ei, ajautumatta syvälliseen paradoksiin. Sen sijaan voimme pyrkiä löytämään tapoja muotoilla vapaan tahdon luonnetta koskevia eräänlaisia 'pieniä' kysymyksiä, joilla itse asiassa voi olla joitakin niin sanottuun 'jokapäiväiseen elämään' liittyviä ja tällaista 'puhdasta olemassaoloa' jotenkin kouriintuntuvampi merkitys. Voihan nimittäin olla esimerkiksi niin, että 'pienistä' kysymyksistä tuleekin suuria. Ja vaikka niihinkään ei välttämättä saada sellaisia vastauksia, joissa voisimme lopullisesti levätä, on jo mielekkäiden kysymysten ...
ABSTRACT

And 258 more

"[...] a "must-have" for both the Peircean scholar and any other philosopher who wishes to relate Peirce's thinking on language and logic to other major thinkers and logical themes of the twentieth century (and beyond)." Robert W. Burch,... more
"[...] a "must-have" for both the Peircean scholar and any other philosopher who wishes to relate Peirce's thinking on language and logic to other major thinkers and logical themes of the twentieth century (and beyond)."
Robert W. Burch, Texas A&M University, USA, in 'Project Muse - Scholarly Journals Online'

"Ahti-Veikko Pietarinen’s Signs of Logic is a ground-breaking contribution to Peircean semiotics, impressive in its scope and depth. It is the first book where Peirce’s pragmatic theory of meaning, logic of existential graphs, and theory of communication are presented in a unified game-theoretical framework. This work is indispensable to all serious students of Peirce’s philosophy of logic, language, and communication."
Risto Hilpinen, Professor of Philosophy, University of Miami, Coral Gables, USA

"Charles Peirce, America’s great scientific philosopher, was convinced that his late logic could contribute significantly to ‘man’s future intellectual development’, but he never got the chance to make his case. Now, a century later, Pietarinen shows that Peirce was right and that Peirce’s semiotic and logic can inform the theory of games and strategy and contribute to a general theory of intelligent agency. This is cutting edge philosophy and it is much to Pietarinen’s credit that he has been able to find such up-to-date relevance and significance in Peirce’s century old writings."
Nathan Houser, Professor of Philosophy, Director of the Institute for American Thought, Director and General Editor of the Peirce Edition Project

"In this magisterial work Ahti-Veikko Pietarinen has performed the valuable service of demonstrating the extent that Peirce’s logic admits of systematic expression, notwithstanding the scatter and fragmentariness of his writings. Even more impressive is the success of Signs of Logic in establishing Peirce’s remarkable prescience as anticipator of developments ranging from game-theoretic logic to dialogue logic, from Gricean pragmatics to the economics of cognitive practice, and so on. Signs of Logic is essential reading for the Peirce scholar and for any one interested in the development of logic in the century just past and beyond."
John Woods, Professor, FRSC, Dept. of Philosophy, University of British Columbia, Canada, and Charles S. Peirce Professor of Logic, Dept. of Computer Science, King’s College London, UK

"Pietarinen’s book fills an important void in the contemporary understanding of Peirce’s logical heritage. Its thorough intertwining of Peirce’s game-theoretic ideas and Peirce’s existential graphs opens up an immense panorama. Combining precision and perspective, mathematical detail and philosophical architectonics, the work presents one of the best available accounts of Peirce’s kinetic thought."
Fernando Zalamea, Profesor Asociado, Departamento de Matemáticas, Universidad Nacional de Colombia
April 19, 1914, the American philosopher Charles Sanders Peirce died. He had not held an academic position since 1883 and had lived the last third of his life in financial distress, increasingly isolated, and finally ill. Despite this... more
April 19, 1914, the American philosopher Charles Sanders Peirce died. He had not held an academic position since 1883 and had lived the last third of his life in financial distress, increasingly isolated, and finally ill. Despite this fact, the last two decades of his life proved the intellectually most fruitful and adventurous part of his already very productive life. In the centenary of his death, his philosophy, integrating logic, pragmatism and semiotics in a detailed architecture, increasingly attracts investigators from all over the globe, not only for historical reasons but also with the aim of extracting insights and ideas relevant for contemporary purposes. This volume gathers a large bundle of contemporary Peirce scholars of different backgrounds, giving a picture of the variety of Peircean themes under current development in many different directions. As Peirce himself declared in 1908, his late system illustrates “a development of thought not likely to be independently reproduced in a century".
Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To... more
Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or implicit. If a visual argument includes its (explicit) conclusion, then that conclusion must be demarcated from the premise(s) or otherwise the argument will beg the question. If a visual argument does not include its (implicit) conclusion, then the premises on display must license that specific conclusion and not its opposite , in accordance with some demonstrable rationale. We show how major examples from the literature fail to escape this dilemma. Drawing inspiration from the graphi-cal logic of C. S. Peirce, we suggest instead that images can be manipulated (erased, dragged, copied, etc.) in a way that overcomes the dilemma. Diagrammatic reasoning can take one stepwise from an initial visual layout to a conclusion-thereby providing a principled rationale that bars opposite conclusions-and the visual inscription of this correct conclusion can come afterward in time-thereby distinguishing the conclusion from the premises. Even though this practical application of Peirce's logical ideas to informal contexts requires that one make adjustments, we believe it points to a dynamic conception of visual argumentation that will prove more fertile in the long run.
In his book, Consciousness and the Philosophy of Signs, Marc Champagne argues that current philosophical puzzlement about the qualitative dimension of consciousness stems, historically and logically, from a failure to properly handle the... more
In his book, Consciousness and the Philosophy of Signs, Marc Champagne argues that current philosophical puzzlement about the qualitative dimension of consciousness stems, historically and logically, from a failure to properly handle the fine-grained distinctions found in the semiotic theory of the American polymath, Charles Sanders Peirce. The aim of this symposium is to reflect on what that might mean for the other body of ideas Peirce is known for, pragmatism.
Peirce's manuscript MS 479 (1903) on Euler diagrams was partially printed in the Collected Papers in 1933 (CP 4.347-4.371). That transcription omitted some paragraphs, figures and important variants of the main text. Some diagrams were... more
Peirce's manuscript MS 479 (1903) on Euler diagrams was partially printed in the Collected Papers in 1933 (CP 4.347-4.371). That transcription omitted some paragraphs, figures and important variants of the main text. Some diagrams were reproduced misleadingly or imprecisely. Another important and unpublished paper (MS 481, 1896) presents a novel extension of Euler's diagrams. Among the discarded pages of a published article MS 1147 (1901) there is a variant on logical graphs with examples of novel extensions of Euler diagrams. MS 855 (1911) contains a draft with existentials and shading. We restore Peirce's original drawings from these four manuscripts and explain their main innovations. Euler diagrams were not designed to reason about relative terms, and Peirce's interest in them was not mathematical application or problem solving but showing the basic elements of syllogistic reasoning.
Symbols represent by codes like conventions, whereas icons represent by similarity (Couturat 1901; Dascal 1978; Gensini 1991; Serfati 2001). Until recently, much of the literature in philosophy of notation tended to follow Leibniz in... more
Symbols represent by codes like conventions, whereas icons represent by similarity (Couturat 1901; Dascal 1978; Gensini 1991; Serfati 2001). Until recently, much of the literature in philosophy of notation tended to follow Leibniz in assuming that we always or most often think in symbols. However, current debates have increasingly been driven by the recognition that any system of representation depends, to some extent, on iconicity, such that the purported line of demarcation is rather a continuum (Stjernfelt 2014). This slow but resolute turn toward iconic signs has begun to change how we see logic. With different emphases, linguists (Simone 1995; Van Langendonck 2007), logicians (Burch 1991; Shin 1994, 2002; Hammer 1995; Allein & Barwise 1996; Pietarinen 2006, 2010, 2011, 2012), historians of mathematics (Nets 2004; Mancosu, Jorgensen & Pedersen 2005; Giaquinto 2007), semioticians (Stjernfelt 2007, 2014; Bordron 2011; Dondero & Fontanille 2012), philosophers of mind (Champagne 2014) and cognitive scientists (Glasgow, Nara y Anan & Chandrasekaran 1995; Hoffmann 2010a, 2010b, 2011; Magnani 2011; Nakatsu 2010) have all recognized that a better understanding of reasoning by icons, specifically diagrams, is crucial to understanding problem-solving, inference-drawing, and hypothesis-making. Arguably, no one has explored the potential of iconic notations more systematically than C. S. Peirce. It is commonly believed that the birth of new formal logic(s) by Frege (1884), Russell (1903) and Couturat (1904) rendered Kant’s appeal to intuition redundant (cf. Kneale & Kneale 1962, VII-VIII; Coffa 1991; Carson & Huber 2006). However, an alternate line of development is clearly discernable in the work of Peirce. For Peirce, the notion of intuition is by no means redundant, being instead the faculty which allows necessary reasoning to yield informative truths (Peirce 1931-1958; Peirce 2010; cf. Hintikka 1980; Hookway 1985; Ketner 1985; Shin 1997; Pietarinen 2006; Stjernfelt 2007; Bellucci 2012). The diagram, in this Peircean paradigm, transforms intuition into a visual commodity amenable to careful public scrutiny. Indeed, one of the most striking features of Peirce’s diagrammatic notation is its depiction of inferences as transformations. Inference rules, being answerable to the self-same nature of images, are motivated in a way that makes them less rule-like. For example, enclosures, a common device used by Peirce, place distinct limits on what counts as included/inside, excluded/outside, or both. One can attempt to transgress these limits, but the iconic sign-vehicles at hand simply repel erroneous interpretations. While Venn exploited this to prove categorical syllogisms, Peirce shows how to generalize the method, thereby giving a novel justification for the normative force of logic. Peirce’s unpublished technical work in logic has thus far influenced debates mainly through the intermediary of specialists (Shin 2002; Sowa 2011), but the upcoming publication of Peirce’s full Existential Graphs (Logic of the Future, edited by A.-V. Pietarinen) promises to augment this rate of influence, by making available a 1000-page buffet of diagrammatic and iconic logical systems. Participants to this symposium are thus invited to reflect on how Peirce-inspired diagrammatic approaches to notation can positively reshape issues pertaining to logic, cognition, and reason-giving practices generally.