Skip to main content
SpringerLink
Log in

Syllogistic with Jigsaw Puzzle Diagrams

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

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

Included in the following conference series:

Abstract

In this contribution we introduce a system that represents a modern version of syllogistic by exploiting an analogy with jigsaw puzzles.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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.

    For sake of brevity, but without loss of generality, here we omit the syllogisms that require existential import.

  2. 2.

    We use colors with the purpose of showing the reasoning process. A logical use of color can be seen in [15].

References

  1. Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11(1), 65–100 (1987)

    Article  Google Scholar 

  2. Nakatsu, R.: Diagrammatic Reasoning in AI. Wiley, Hoboken (2009)

    Book  Google Scholar 

  3. Gardner, M.: Logic Machines and Diagrams. University of Chicago Press, Chicago (1982)

    MATH  Google Scholar 

  4. Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Logical Reasoning with Diagrams. Oxford University Press, Oxford (1996)

    Google Scholar 

  5. Shimojima, A.: Semantic Properties of Diagrams and Their Cognitive Potentials. Center for the Study of Language and Information-Lecture Notes Series. CSLI Publications/Center for the Study of Language & Information (2015)

    Google Scholar 

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

    MATH  Google Scholar 

  7. Aristotle, S.R.: Prior Analytics. Hackett Classics Series. Hackett, Indianapolis (1989)

    MATH  Google Scholar 

  8. Meurant, G.: Noneuclidean Tessellations and Their Groups. Elsevier Science, New York (1974)

    Google Scholar 

  9. Critchlow, K.: Islamic Patterns: An Analytical and Cosmological Approach. Schocken Books, New York City (1976)

    Google Scholar 

  10. Kepler, J., Aiton, E., Duncan, A., Field, J.: The Harmony of the World. American Philosophical Society, Philadelphia (1997)

    Google Scholar 

  11. Escher, M., Brigham, J.: The Graphic Work of M.C. Escher. Pan Books, London (1978)

    Google Scholar 

  12. Penrose, R.: The role of aesthetics in pure and applied mathematical research. Bull. Inst. Math. Appl. 10, 266–271 (1974)

    Google Scholar 

  13. Slocum, J., Botermans, J.: Puzzles Old and New. Seattle University of Washington Press, Seattle (1986)

    MATH  Google Scholar 

  14. Williams, A., Shortz, W.: The Jigsaw Puzzle: Piecing Together a History. Berkeley Books, New York City (2004)

    Google Scholar 

  15. Rini, A.: Aristotle’s Modal Proofs: Prior Analytics A8–22 in Predicate Logic. The New Synthese Historical Library. Springer, Netherlands (2010). https://doi.org/10.1007/978-94-007-0050-5

    Book  MATH  Google Scholar 

  16. Moktefi, A., Shin, S.J.: A history of logic diagrams. In: Gabbay, D.M., Francis Jeffry Pelletier, J.W. (ed.) Handbook of the History of Logic, vol. 11, pp. 611–682. North-Holland (2012)

    Google Scholar 

  17. von Leibniz, G., Couturat, L.: Opuscules et fragments inédits de Leibniz: extraits des manuscrits de la Bibliothèque royale de Hanovre. Olms paperback, Olms (1961)

    MATH  Google Scholar 

  18. Englebretsen, G.: Linear diagrams for syllogisms (with relationals). Notre Dame J. Formal Logic 33(1), 37–69 (1991)

    Article  MathSciNet  Google Scholar 

  19. Pagnan, R.: A diagrammatic calculus of syllogisms. J. Logic, Lang. Inf. 21(3), 347–364 (2012)

    Article  MathSciNet  Google Scholar 

  20. Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Edinb. Dublin Philos. Mag. J. Sci. (1881). R. Taylor, London

    Google Scholar 

  21. Savio, M.: AE (Aristotle-Euler) diagrams: an alternative complete method for the categorical syllogism. Notre Dame J. Formal Logic 39(4), 581–599 (1998)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Philosophy and Humanities, UPAEP, 21 sur 1103, Puebla, México

    José Martín Castro-Manzano

Authors
  1. José Martín Castro-Manzano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to José Martín Castro-Manzano .

Editor information

Editors and Affiliations

  1. Edinburgh Napier University, Edinburgh, UK

    Peter Chapman

  2. University of Brighton, Brighton, UK

    Gem Stapleton

  3. Tallinn University of Technology, Tallinn, Estonia

    Amirouche Moktefi

  4. Mitre Corporation, McLean, VA, USA

    Sarah Perez-Kriz

  5. University of Bologna, Bologna, Italy

    Francesco Bellucci

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Castro-Manzano, J.M. (2018). Syllogistic with Jigsaw Puzzle Diagrams. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91376-6_58

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91375-9

  • Online ISBN: 978-3-319-91376-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation