Journal of Philosophical Logic

, Volume 41, Issue 2, pp 387–418 | Cite as

Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic

Open Access


We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran’s deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the goal is to offer a general discussion of the relations between informal notions—in this case, an informal notion of deductive validity—and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel’s famous ‘squeezing argument’; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure.


Syllogistic Semantic systems for syllogistic Proofs of completeness Validity Squeezing argument 


  1. 1.
    Andrade, E. J., & Becerra, E. (2007). Corcoran’s Aristotelian syllogistic as a subsystem of first-order logic. Revista Colombiana de Matemáticas, 41(1), 67–80.Google Scholar
  2. 2.
    Andrade, E. J., & Becerra, E. (2008). Establishing connections between Aristotle’s natural deduction and first-order logic. History and Philosophy of Logic, 29(4), 309–325.CrossRefGoogle Scholar
  3. 3.
    Boger, G. (1998). Completion, reduction and analysis: Three proof-theoretic processes in Aristotle’s prior analytics. History and Philosophy of Logic, 19, 187–226.CrossRefGoogle Scholar
  4. 4.
    Caicedo, X., & Martin-Maldonado, A. (2001). Completitud de dos Cálculos Lógicos de Leibniz. Theoria - Segunda Época, 16(3), 539–558.Google Scholar
  5. 5.
    Corcoran, J. (1972). Completeness of an ancient logic. The Journal of Symbolic Logic, 37(4), 696–702.CrossRefGoogle Scholar
  6. 6.
    Corcoran, J. (1974a). Aristotelian syllogisms: Valid arguments or true universalized conditionals. Mind, 83(330), 278–281.CrossRefGoogle Scholar
  7. 7.
    Corcoran, J. (1974b). Aristotle’s natural deduction system. In J. Corcoran (Ed.), Ancient logic and its m odern interpretations (pp. 85–131). Dordrecht-Holland: D. Reidel Publishing Company.CrossRefGoogle Scholar
  8. 8.
    Corcoran, J. (2003). Aristotle’s Prior Analytics and Boole’s Laws of Thought. History and Philosophy of Logic, 24, 261–288.CrossRefGoogle Scholar
  9. 9.
    Dummett, M. (2003). The justification of deduction. In Truth and other enigmas (pp. 290–318). Duckworth.Google Scholar
  10. 10.
    Etchemendy, J. (2008). Reflections on consequence. In D. Patterson (Ed.), New essays on Tarski and philosophy (pp. 263–299). Oxford: Oxford University Press.CrossRefGoogle Scholar
  11. 11.
    Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press.CrossRefGoogle Scholar
  12. 12.
    Glashoff, K. (2007). On negation in Leibniz’ system of characteristic numbers. Unpublished manuscript,
  13. 13.
    Kreisel, G. (1967). Informal rigour and completeness proofs. In I. Lakatos (Ed.), Problems in the philosophy of mathematics (pp. 138–171). North-Holland, Amsterdam.Google Scholar
  14. 14.
    Leibniz, G. W. (1989). Philosophical essays. Edited and translated by Roger Ariew and Daniel Garber. Hackett Publishing Company, Inc.Google Scholar
  15. 15.
    Łukasiewicz, J. (1957). Aristotle’s syllogistic from the standpoint of modern formal logic. Oxford University Press.Google Scholar
  16. 16.
    Makkai, M., & Reyes, G. (1977). First-order categorical logic. Springer lecture notes in mathematics 611. New York: Springer.Google Scholar
  17. 17.
    Marshall, D. (1977). Łukasiewicz, Leibniz and the arithmetization of the syllogism. Notre Dame Journal of Formal Logic, 18 235–242.CrossRefGoogle Scholar
  18. 18.
    Martin, J. N. (1997). Aristotle’s natural deduction reconsidered. History and Philosophy of Logic, 18, 1–15.CrossRefGoogle Scholar
  19. 19.
    Martin, J. N. (2004). Themes in neoplatonic and Aristotelian logic: Order, negation and abstraction. Ashgate.Google Scholar
  20. 20.
    Shapiro, S. (1998). Logical consequence: Models and modality. In M. Schirn (Ed.), Philosophy of mathematics today (pp. 131–156). Oxford: Oxford University Press.Google Scholar
  21. 21.
    Shapiro, S. (2005). Logical consequence, proof-theory, and model-theory. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 651—670). Oxford: Oxford University Press.CrossRefGoogle Scholar
  22. 22.
    Smiley, T. (1973). What is a syllogism? Journal of Philosophical Logic, 2(1), 136–154.CrossRefGoogle Scholar
  23. 23.
    Smith, P. (forthcoming). Squeezing arguments. Analysis.Google Scholar
  24. 24.
    Smith, P. (2007). An introduction to Gödel’s theorems. Cambridge University Press.Google Scholar
  25. 25.
    Smith, R. (Ed.) (1989). Aristotle: Prior Analytics. Hackett, Indianapolis.Google Scholar
  26. 26.
    Tarski, A. (1936/2002). On the concept of following logically. History and Philosophy of Logic, 23, 155–196.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Faculty of Natural Sciences and MathematicsUniversidad del RosarioBogotáColombia
  2. 2.ILLC/Department of PhilosphyUniversiteit van AmsterdamAmsterdamNetherlands

Personalised recommendations