Skip to main content

Extensions of Euler Diagrams in Peirce’s Four Manuscripts on Logical Graphs

  • Conference paper
  • First Online:
Diagrammatic Representation and Inference (Diagrams 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9781))

Included in the following conference series:

Abstract

Charles Peirce’s important manuscript on Euler diagrams (Ms 479, 1903) was partially printed in the Collected Papers in 1933 (CP 4.347-371). That transcription omitted many paragraphs, figures and important variants of the main text, and diagrams were reproduced misleadingly or imprecisely. Another important and wholly unpublished paper of his (Ms 481, 1896-7) presents a novel extension of Euler’s diagrams for negative terms. Third, among the discarded pages of a published article (Ms 1147, 1901) we find a variant on logical graphs suggesting similar extensions. Ms 855 (1911) is yet another unpublished note in which Peirce deals with existentials and shading. The present paper restores Peirce’s original drawings from these four manuscripts and explains their main innovations. As Euler diagrams were not designed to reason about relative terms, Peirce’s interest was not in their mathematical application or problem solving but in showing what the basic elements of syllogistic reasoning are.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    These five shortcomings of the theory of Euler diagrams are (i) its inadequacy of dealing with every syllogistic form; (ii) that it “cannot affirm the existence of any description of an object”; (iii) that it fails to represent disjunctions in the general case; (iv) that it “affords no means of expressing any other than dichotomous” information; and (v) that these diagrams fail to exhibit “relational or abstractional” kind of reasoning, meaning that the system “has no vital power of growth beyond the point to which it has been carried” (Ms 491; Ms 479).

  2. 2.

    For reasons of space, we omit reproducing Figs. 1–24, which mostly are examples of ordinary Euler diagrams and Venn’s modifications (see CP 4.350-8). Figures 25–36, 54–66 in Sect. 1 and in Variants 1 and 2 are photographic images from Peirce’s original manuscripts deposited at the Harvard Houghton Library, slightly enhanced digitally for readability.

  3. 3.

    Other unfortunate typographical inaccuracies in the CP were using the letter x for crosses and the number 0 for circles, as well as using capital letters as labels placed outside the circles. Peirce wrote the letters on the circles. He might have adopted this convention from Johann Christian Lange’s 1712 Nucleus Logicae Weisianae, the work which Peirce, just as Venn, thought “anybody familiar with such literature the title proclaims it to be a work by [Christian] Weise probably with a running commentary or copious notes by Lange” (Ms 479: 16). Weise’s Nucleus Logicae was indeed originally published, Peirce remarks, as a small booklet in 1691 and edited and expanded into an over 800-page volume published 1712 by Weise’s student Lange.

  4. 4.

    Generically, count the number of connected systems of lines separated by such circles.

  5. 5.

    This figure, numbered Fig. 57 in CP 4.364 was published there with a different but equivalent orientation.

  6. 6.

    A reviewer suggests a general result may be that representing n individuals requires n + 1 contours. Peirce’s simplification that follows here suggests that n contours suffice.

  7. 7.

    This is a common convention that was reintroduced, in a different sense, in [10], in order to strike out all constituents of a certain region and not to demolish a particular individual.

  8. 8.

    I thank a reviewer for a highly relevant reference [17] on projections of Euler diagrams, similar to this anticipation of Peirce’s. The iterated diagram was omitted from the publication of Ms 479 in CP, as indeed was another large diagram that applies iteration to a complex example taken from Ladd-Franklin (SiL: 58–61). Peirce explains: “In order to illustrate the method I will apply it (without any preconsideration at all) to the following problem by Mrs. Franklin […]” (Ms 479: 59). A three-page explanation of this example then follows. Appendix reproduces the image of this large diagram.

  9. 9.

    Another reviewer assumes these concave curves lack the kind of iconicity or well-matchedness that Peirce might have desired them to have. One way of viewing them could be denoting ‘cuts’ in a hyperbolic space, which might then restore their presumed iconic character.

  10. 10.

    We surmise that all disjunctions can be expressed by these boundary dots, if the shading of zones to deny existence is also used (see Sect. 4).

  11. 11.

    There are variations concerning the 12 schemas of syllogisms in Ms 481 and the 16 schemas in Ms 1147: Figs. 10, 11, 14 and 15 from Ms 481 are not represented in this latter table.

  12. 12.

    See [1]. However, a few draft pages exist in which Peirce uses up to five different types of shadings (e.g. Ms L 76, written on the back of a letter, not microfilmed). Their semantics remains veiled. See Appendix, second figure.

References

  1. Moktefi, A., Pietarinen, A.-V.: On the diagrammatic representation of existential statements with Venn and Euler diagrams. J. Logic Lang. Inf. 24, 361–374 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  2. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)

    MATH  Google Scholar 

  3. Peirce, C.S.: Manuscripts. Charles Sanders Peirce Papers (MS Am 1632). Houghton Library, Harvard University. Catalogued in Robin, R.S. (1967). Annotated Catalogue of the Papers of Charles S. Peirce. Amherst: University of Massachusetts Press [Ms] (1839–1914)

    Google Scholar 

  4. Peirce, C.S. (ed.): Studies in Logic. By Members of the Johns Hopkins University. Little, Brown, and Company, Boston (1883). [SiL]

    Google Scholar 

  5. Peirce, C.S.: Collected Papers of Charles Sanders Peirce, 8 vols., Hartshorne, C., Weiss, P. (eds.), vols. 1–6, Burks, A.W. (ed.), vols. 7–8. Harvard University Press, Cambridge (1931–1958). [CP]

    Google Scholar 

  6. Peirce, C.S.: Logic of the Future: Peirce’s Writings on Existential Graphs. Pietarinen, A.-V. (ed.) (2016, to appear)

    Google Scholar 

  7. Howse, J., Stapleton, G., Taylor, H.: Spider diagrams. J. Comput. Math. 8, 145–194 (2005)

    MathSciNet  MATH  Google Scholar 

  8. Roberts, D.D.: The Existential Graphs of Charles S. Peirce. The Hague, Mouton (1973)

    Google Scholar 

  9. Stapleton, G., Howse, J., Taylor, J.: A decidable constraint diagram reasoning system. J. Logic Comput. 15, 975–1008 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  10. Couturat, L.: The Algebra of Logic. Open Court, Chicago (1914)

    MATH  Google Scholar 

  11. Edwards, A.W.F.: Cogwheels of the Mind: The Story of Venn Diagrams. JHU Press, Baltimore (2004)

    MATH  Google Scholar 

  12. Rodgers, P.J., Flower, J., Stapleton, G.: Introducing 3D Venn and Euler diagrams. In: Proceedings of the 3rd International Workshop on Euler Diagrams (2012)

    Google Scholar 

  13. Moktefi, A., Bellucci, F., Pietarinen, A.-V.: Continuity, connectivity and regularity in spatial diagrams for N terms. In: Burton, J. Choudhury, L. (eds.), Diagrams, Logic and Cognition, CEUR Workshop Proceedings, vol 1132, pp. 23–30 (2013)

    Google Scholar 

  14. Pietarinen, A.-V.: Existential graphs: what a diagrammatic logic of cognition might look like. Hist. Philos. Logic 32(3), 265–281 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Pietarinen, A.-V.: Moving pictures of thought II: graphs, games, and pragmaticism’s proof. Semiotica 186, 315–331 (2011)

    Google Scholar 

  16. Venn, J.: Review of studies in logic. Mind 8, 594–603 (1883)

    Article  Google Scholar 

  17. Gil, J., Howse, J., Kent, S., Taylor, J.: Projections in Venn-Euler diagrams. In: IEEE Symposium on Visual Languages, pp. 119–126 (2000)

    Google Scholar 

  18. Bellucci, F., Moktefi, A., Pietarinen, A.-V.: Diagrammatic autarchy: linear diagrams in the 17th and 18th century. In: Burton, J., Choudhury, L. (eds.) Diagrams, Logic and Cognition, CEUR Workshop Proceedings, vol. 1132, pp. 31–35 (2013)

    Google Scholar 

  19. Pietarinen, A.-V.: Peirce and the logic of image. Semiotica 192, 251–261 (2012)

    Google Scholar 

  20. Bellucci, F. Pietarinen, A.-V.: From Mitchell to Carus: 14 years of logical diagrams in the making. Trans. Charles S. Peirce Soc. (2016, in press)

    Google Scholar 

Download references

Acknowledgments

Supported by projects PUT267 (Estonian Research Council) and 127335 (Academy of Finland): Diagrammatic Mind: Logical and Cognitive Aspects of Iconicity; 2014–15 Foreign Experts Program of State Administration of Foreign Experts Affairs, China; and the 2012 Harvard Houghton Library Fellowship (Principal Investigator A.-V. Pietarinen).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ahti-Veikko Pietarinen .

Editor information

Editors and Affiliations

A Appendix

A Appendix

The images below are from Ms 479 (top/right) and Ms L 76 (bottom/left).

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Pietarinen, AV. (2016). Extensions of Euler Diagrams in Peirce’s Four Manuscripts on Logical Graphs. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds) Diagrammatic Representation and Inference. Diagrams 2016. Lecture Notes in Computer Science(), vol 9781. Springer, Cham. https://doi.org/10.1007/978-3-319-42333-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42333-3_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42332-6

  • Online ISBN: 978-3-319-42333-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics