Skip to main content

Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework

  • 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

An incessant debate that history of syllogistic reasoning has witnessed is on the status of fourth figure after its alleged invention. Commentators on Aristotle and several other logicians have advocated various approaches to include or abandon this last figure. However, in the middle of last century, the debate seemed to have reached quiescence with fifteen valid syllogisms present in four figures. Among this, some moods are distinct, i.e. they are valid in one figure whereas others are non-distinct as they are valid in multiple figures. In this paper, the notion of diagrammatic congruence for non-distinct syllogisms using Venn-Peirce diagrams is introduced. Consequently, we establish the equivalence of moods that are diagrammatically congruent. Furthermore, it is argued that the presence of a distinct mood is pivotal to recognize an arrangement as a separate figure, which is evident in Aristotle’s own treatment of figures. With this, the redundancy of fourth figure is demonstrated.

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 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.

    Adapted and redrawn from Kneale and Kneale [8].

  2. 2.

    A similar approach is also found in Peterson [12].

  3. 3.

    ‘Aristotelian’ here refers to both Aristotle’s and his commentators.

  4. 4.

    A particular conclusion does not follow from two universal premises.

  5. 5.

    The notion of ‘Equivalence’ is discussed in Richman [15].

  6. 6.

    A diagrammatic justification of perfect syllogisms is demonstrated in Sharma [20].

References

  1. Cohen, M.R., Nagel, E.: An Introduction to Logic and Scientific Method. Allied Publishers, New Delhi (1936)

    MATH  Google Scholar 

  2. Copi, I.M., Cohen, C.: Introduction to Logic, 8th edn. Macmillan, New York (1990)

    MATH  Google Scholar 

  3. Flannery, K.L.: Ways into the Logic of Alexander of Aphrodisias. Brill, Leiden (1995)

    Book  Google Scholar 

  4. Hadgopoulos, D.J.: The principle of division into four figures in traditional logic. Notre Dame J. Formal Logic 20, 92–94 (1979)

    Article  MathSciNet  Google Scholar 

  5. Henle, P.: On the fourth figure of the syllogism. Philos. Sci. 16, 94–104 (1949)

    Article  Google Scholar 

  6. Hurley, P.J.: A Concise Introduction to Logic. Wadsworth, Boston (2012)

    MATH  Google Scholar 

  7. Keynes, J.N.: Studies and Exercises in Formal Logic. Macmillan, London (1906)

    Google Scholar 

  8. Kneale, W., Kneale, M.: The Development of Logic. OUP, London (1962)

    MATH  Google Scholar 

  9. Łukasiewicz, J.: Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic. OUP, London (1955)

    MATH  Google Scholar 

  10. McKeon, R.: The Basic Works of Aristotle. Random House, New York (1941)

    Google Scholar 

  11. Peirce, C.S.: Collected Papers. Harvard University Press, Cambridge (1933)

    MATH  Google Scholar 

  12. Peterson, J.B.: The forms of the syllogism. Philos. Rev. 8, 371–385 (1899)

    Article  Google Scholar 

  13. Prior, A.N.: Formal Logic. Clarendon Press, Oxford (1962)

    MATH  Google Scholar 

  14. Rescher, N.: New light from arabic sources on Galen and the fourth figure. J. History Philos. 3, 27–41 (1965)

    Article  Google Scholar 

  15. Richman, F.: Equivalence of syllogism. NDJFL 45, 215–233 (2004)

    MathSciNet  MATH  Google Scholar 

  16. Rose, L.E.: Aristotle’s syllogistic and the fourth figure. Mind 74, 382–389 (1965)

    Article  Google Scholar 

  17. Sabra, A.I.: A twelfth century defence of the fourth figure of syllogism. J. Warburg Courtauld Inst. 28, 14–28 (1965)

    Article  Google Scholar 

  18. Sato, Y., Mineshima, K.: How diagrams can support syllogistic reasoning: an experimental study. J. Logic Lang. Inf. 24, 409–455 (2015)

    Article  MathSciNet  Google Scholar 

  19. Sato, Y., Mineshima, K., Takemura, R.: The efficacy of Euler and Venn diagrams in deductive reasoning: empirical findings. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS (LNAI), vol. 6170, pp. 6–22. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14600-8_6

    Chapter  Google Scholar 

  20. Sharma, S.S.: Perfect syllogisms and the method of minimal representation. In: CEUR Workshop Proceedings, vol. 1132, pp. 17–22 (2014)

    Google Scholar 

  21. Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Philos. Mag. 10, 1–18 (1880)

    Article  Google Scholar 

Download references

Acknowledgment

This paper has substantially benefited from the discussions with Prof. A.V.J. Pietarinen, Dr. G. Stapleton, Dr. J. Burton, Dr. F. Bellucci, Prof. M. Chakraborty and Prof. L. Choudhury, on an earlier draft. I also thank anonymous reviewers for their comments and suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sumanta Sarathi Sharma .

Editor information

Editors and Affiliations

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

Sarathi Sharma, S. (2018). Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework. 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_61

Download citation

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

  • 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