Aristotle, Logic, and QUARC

References

• Andrade, E. J. and Becerra, E. S. 2008. ‘Establishing connections between Aristotle's natural deduction and first-order logic’, History and Philosophy of Logic, 29, 309–25. doi: 10.1080/01445340801976516
   Web of Science ®Google Scholar
• Andrade-Lotero, E. and Dutilh Novaes, C. 2012. ‘Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic’, Journal of Philosophical Logic, 41, 387–418. doi: 10.1007/s10992-010-9166-y
   Web of Science ®Google Scholar
• Aristotelis. 1964. Analytica Priora et Posteriora, recensvit brevique adnotatione critica instrvxit W. D. Ross, Praefatione et appendice avxit L. Minio-Paluello, Oxford: Oxford University Press.
   Google Scholar
• Aristotle. 2009 [translated by G. Striker]. Prior Analytics, Book I, Translated with an introduction and commentary, Oxford: Clarendon Press.
   Google Scholar
• Barnes, J. (ed.). 1995. The Complete Works of Aristotle, The Revised Oxford Translation, Volume 1, Princeton: Princeton University Press.
   Google Scholar
• Ben-Yami, H. 2004. Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance, Aldershot/Burlington: Ashgate Publishing.
   Google Scholar
• Ben-Yami, H. 2009a. ‘Generalized quantifiers, and beyond’, Logique et Analyse, 52, 306–26.
   Google Scholar
• Ben-Yami, H. 2009b. ‘Plural quantification logic: a critical appraisal’, Review of Symbolic Logic, 2, 208–32. doi: 10.1017/S1755020309090108
   Web of Science ®Google Scholar
• Ben-Yami, H. 2012. ‘Response to westerståhl’, Logique et Analyse, 55, 47–55.
   Google Scholar
• Ben-Yami, H. 2014. ‘The quantified argument calculus’, The Review of Symbolic Logic, 7, 120–46. doi: 10.1017/S1755020313000373
   Web of Science ®Google Scholar
• Corcoran, J. 1972. ‘Completeness of an ancient logic’, The Journal of Symbolic Logic, 37, 696–702. doi: 10.2307/2272415
   Web of Science ®Google Scholar
• Corcoran, J. 1974a. Aristotle's natural deduction system’, in J. Corcoran, Ancient Logic and its Modern Interpretations, Dordrecht: Reidel, pp. 85–131.
   Google Scholar
• Corcoran, J. 1974b. ‘Aristotelian syllogisms—valid arguments or true universalized conditionals?’, Mind, 83, 278–81. doi: 10.1093/mind/LXXXIII.330.278
   Web of Science ®Google Scholar
• Crivelli, P. 2012. ‘Aristotle's logic’, in C. Shields, The Oxford Handbook of Aristotle, Oxford: Oxford University Press, pp. 113–149.
   Google Scholar
• Gratzl, N. and Pavlović, E. ms. ‘Proof-theoretic analysis of the quantified argument calculus’, Manuscript.
   Google Scholar
• Lanzet, R. 2017. ‘A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL’, The Review of Symbolic Logic, 10, 549–82. doi: 10.1017/S1755020317000053
   Web of Science ®Google Scholar
• Lanzet, R. and Ben-Yami, H. 2004. ‘Logical inquiries into a new formal system with plural reference’, in V. F. Hendricks et al., First-Order Logic Revisited, Berlin: Logos Verlag, pp. 173–223.
   Google Scholar
• Łukasiewicz, J. 1957. Aristotle's Syllogistic From the Standpoint of Modern Logic (2nd ed., Enlarged), Oxford: Clarendon Press.
   Google Scholar
• Malink, M. 2011. ‘Syllogismos’, in C. Rapp and K. Corcilius, Aristoteles Handbuch. Leben-Werk-Wirkung, Stuttgart/Weimar: Verlag J. B. Metzler, pp. 343–48.
   Google Scholar
• Malink, M. 2013. Aristotle's Modal Syllogistic, Cambridge: Harvard University Press.
   Google Scholar
• Martin, J. N. 1997. ‘Aristotle's natural deduction reconsidered’, in J. N. Martin 2004, Themes in Neoplatonic and Aristotelian Logic. Order, Negation and Abstraction, Aldershot: Ashgate, pp. 1–17. Originally published in History and Philosophy of Logic, Volume 18, pp. 1–15.
   Google Scholar
• Martin, J. N. 2004. ‘Ecthesis and existence in the syllogistic’, in J. N. Martin, Themes in Neoplatonic and Aristotelian Logic. Order, Negation and Abstraction, Aldershot: Ashgate, pp. 19–23.
   Google Scholar
• Moss, L. 2015. ‘Natural logic’, in S. Lappin and C. Fox, The Handbook of Contemporary Semantic Theory (2nd ed.), Oxford: Wiley Blackwell, pp. 561–92.
   Google Scholar
• Oliver, A. and Smiley, T.. 2013. Plural Logic, Oxford: Oxford University Press.
   Google Scholar
• Parsons, T. 2017. ‘The traditional square of opposition’, in Edward N. Zalta, The Stanford Encyclopedia of Philosophy (Summer 2017 Edition). Available online at: https://plato.stanford.edu/archives/sum2017/entries/square/.
   Google Scholar
• Patzig, G. 1968. Aristotle's Theory of the Syllogism. A Logico-Philological Study of Book of the Prior Analytics, Translated from the German by Jonathan Barnes, Dordrecht: Spinger-Science+Busness Media, B. V.
   Google Scholar
• Peters, S. and Westerståhl, D.. 2006. Quantifiers in Language and Logic, Oxford: Oxford University Press.
   Google Scholar
• Raab, J. 2016. ‘The relationship of QUARC and classical logic’, Master Thesis, Ludwig-Maximilians-Universität München, Germany. Available online at: http://www.academia.edu/31166336/The_Relationship_of_QUARC_and_Classical_Logic.
   Google Scholar
• Read, S. 2015. ‘Aristotle and Łukasiewicz on existential import’, Journal of the American Philosophical Association, 1, 535–44. doi: 10.1017/apa.2015.8
   Web of Science ®Google Scholar
• Read, S. ms. ‘Aristotle's theory of the assertoric syllogism’, Manuscript (dated June 19, 2017). Available online at: https://philpapers.org/archive/REAATO-4.pdf (Last checked on March 19, 2018).
   Google Scholar
• Smiley, T. 1973. ‘What is a syllogism?’, Journal of Philosophical Logic, 2, 136–54. doi: 10.1007/BF02115614
   Google Scholar
• Smith, R. 1982. ‘What is Aristotelian ecthesis?’, History and Philosophy of Logic, 3, 113–27. doi: 10.1080/01445348208837035
   Google Scholar
• Smith, R. 2018. ‘Aristotle's logic’, in Edward N. Zalta, The Stanford Encyclopedia of Philosophy (Spring 2018 Edition). Available online at: https://plato.stanford.edu/archives/spr2018/entries/aristotle-logic/.
   Google Scholar
• Troelstra, A. S. and Schwichtenberg, H.. 2000. Basic Proof Theory (2nd ed.), Cambridge: Cambridge University Press.
   Google Scholar
• Wedin, M. V. 1978. ‘Aristotle on the existential import of singular sentences’, Phronesis, 23, 179–96. doi: 10.1163/156852878X00091
   Google Scholar
• Wedin, M. V. 1990. ‘Negation and quantification in aristotle’, History and Philosophy of Logic, 11, 131–50. doi: 10.1080/01445349008837163
   Google Scholar
• Westerståhl, D. 1989. ‘Aristotelian syllogisms and generalized quantifiers’, Studia Logica: An International Journal for Symbolic Logic, 48, 577–85. doi: 10.1007/BF00370209
   Google Scholar
• Westerståhl, D. 2012. ‘Explaining quantifier restriction: reply to Ben-Yami’, Logique et Analyse, 55, 109–10.
   Google Scholar
• Westerståhl, D. 2015. ‘Generalized quantifiers in natural language semantics’, in S. Lappin and C. Fox, The Handbook of Contemporary Semantic Theory (2nd ed.), Oxford: Wiley Blackwell, pp. 9–39.
   Google Scholar
• Westerståhl, D. 2016. ‘Generalized quantifiers’, in Edward N. Zalta, The Stanford Encyclopedia of Philosophy (Winter 2016 Edition). Available online at: https://plato.stanford.edu/archives/win2016/entries/generalized-quantifiers/.
   Google Scholar