H. P. Grice on "all," "some (at least one)," and "the"

Abbreviatio Montana. In N. Kretzmann and E. Stump (ed.), The Cambridge Translations of Medieval Philosophical Texts, Volume One, Logic and the Philosophy of Language. Cambridge: Cambridge University Press, 1988, 40–78. Abbreviation Montana. In De Rijk 1967, 73–107. Abelard, Peter, 1956. Dialectica. L.M. de Rijk (ed.), Assen: Van Gorcum. Alexander of Aphrodisias, 1883. . Alexandri in Aristotelis Analyticorum Priorum librum I commentarium, M. Wallies (ed.). Berolini: G.Reimeri. Ariel, M., 2003. “Does most mean ’more than half’?” Berkeley Linguistics Society 29: 17–30. Ariel, M., 2004. “Most,” Language 80: 658–706. Ariel, M., 2006. “A ‘just that’ lexical meaning for most,” in Klaus von Heusinger and Ken Turner (ed.), Where semantics meets pragmatics. Amsterdam: Elsevier, 49– 91. Aristotle. De Interpretatione. Translated by J. L. Ackrill. In J. Barnes (ed.), The Complete Works of Aristotle, Volume I, 25–38. Princeton: Princeton University Press, 1984. Aristotle. Posterior Analytics. Translated by J. Barnes. In J. Barnes (ed.), The Complete Works of Aristotle, Volume I, 114–166. Princeton: Princeton University Press, 1984. Aristotle. Prior Analytics. Translated by A. J. Jenkinson. In J. Barnes (ed.), The Complete Works of Aristotle, Volume I, 39–113. Princeton: Princeton University Press, 1984. 59 Aristotle. Sophistical Refutations. Translated by W. A. Pickard-Cambridge. In J. Barnes (ed.), The Complete Works of Aristotle, Volume I, 278–314. Princeton: Princeton University Press, 1984. Arnauld, Antoine, and Nicole, Pierre, 1662. La Logique: Ou, L’art de Penser (Logique de Port-Royal). Paris: Charles Savreaux. Arnauld, Antoine, and Nicole, Pierre, 1861. Logic, Or, The Art of Thinking (The Port-Royal Logic). Translated by T. S. Baynes. Edinburgh: James Gordon. Ars Burana. In De Rijk 1967, 175–213. Ars Emmerana. In De Rijk 1967, 143–174. Barnes, Jonathan, 1981. “Proof and the Syllogism,” in E. Berti, Aristotle on Science: the ’Posterior Analytics’. Padua: Antenore, 17–59. Barwise, J. 1979. “On branching quantifiers in English,” Journal of Philosophical Logic 8: 47–80. Barwise, J. and Cooper, R., 1981. “Generalized quantifiers and natural language,” Linguistics and Philosophy 4: 159–219. Barwise, J. and Feferman, S. (eds.), 1985. Model-Theoretic Logics Berlin: SpringerVerlag. Barwise, J., 1987.“Noun phrases, generalized quantifiers and anaphora,” in P. Gardenfors ¨ (ed.), Generalized Quantifiers: Linguistic and Logical Approaches. Dordrecht: Reidel, 1–30. Bentham, G., 1827. Outline of a New System of Logic. London: Hunt and Clarke. Bochenski, I. M., 1961. A History of Formal Logic. Notre Dame: Notre Dame Press. Boger, George, 2004 . “Aristotle’s Underlying Logic,” In Handbook of the History of Logic 1, D. Gabbay and J. Woods (ed.). Amsterdam: Elsevier, 101–246. Boole, G., 1847. The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning. Cambridge: Macmillan, Barclay, and Macmillan. Boole, G., 1848. “The Calculus of Logic,” Cambridge and Dublin Mathematical Journal, 3: 183–198. Boole, G., 1854. An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities. London: Walton and Maberly. 60 Buridan, John, 1976. Tractatus de consequentiis. H. Hubien (ed.), Philosophes m`edi`evaux 16, Louvain: Publications Universitaires. Buridan, John, 2001. Summulae de Dialectica. An annotated translation with a philosophical introduction by Gyula Klima. New Haven: Yale University Press. Carlson, G., 1977. Reference to Kinds in English. PhD Dissertation, University of Massachusetts at Amherst. Carroll, Lewis, 1896. Symbolic Logic. London: Macmillan. Carroll, Lewis, 1977. Lewis Carroll’s Symbolic Logic. New York: Potter. Church, A., 1936. “A Note on the Entscheidungsproblem,” Journal of Symbolic Logic 1: 40–41. Corcoran, J., 1974, “Aristotle’s Natural Deduction System,” in J. Corcoran (ed.), Ancient Logic and its Modern Interpretations. Dordrecht: Reidel. Corcoran, John, 1972. “Completeness of an Ancient Logic,” Journal of Symbolic Logic 37: 696–705. Corcoran, John, 1973. “A Mathematical Model of Aristotle’s Syllogistic,” Archiv f ¨ur Geschichte der Philosophie 55: 191–219. Davidson, D., 1967. “Truth and Meaning,” Synthese, 17: 304–323. de Rijk, L. M., 1967. Logica Modernorum. A Contribution to the History of Early Terminist Logic. Vol. II. Assen: Van Gorcum. de Rijk, L. M., 1968. “On the Genuine Text of Peter of Spain’s Summule logicales I. General problems concerning possible interpolations in the manuscripts,” Vivarium 6: 1–34. de Rijk, L. M., 1982. “The Origins of the Theory of the Properties of Terms,” The Cambridge History of Later Medieval Philosophy, edited by Norman Kretzmann, Anthony Kenny and Jan Pinborg. Cambridge: Cambridge University Press, 161–173. DeMorgan, A., 1847. Formal Logic or The Calculus of Inference. London: Taylor and Walton. DeMorgan, A., 1860. Syllabus of a Proposed System of Logic. London: Walton and Malbery. 61 Dutilh-Novaes, C., 2008, “Logic in the 14th Century after Ockham,” in D. Gabbay and J. Woods (eds.), Handbook of the History of Logic, vol. 2, Medieval and Renaissance Logic. Amsterdam: North Holland. Frege, G., 1879. Begriffsschrift. Reprinted in van Heijenoort 1967, 1–82. Frege, G., 1882. “Uber die wissenschaftliche Berechtigung einer Begri ¨ ffsschrift,” Zeitschrift f ¨ur Philosophie und Philosophische Kritik, 81: 48–56. Frege, G., 1892. “On Concept and Object,” originally published as “Uber Begri ¨ ff und Gegenstand,” in Vierteljahresschrift f¨ur wissenschaftliche Philosophie 16, 192– 205. Translated in Geach, P., and Black, M., Translations from the Philosophical writings of Gottlob Frege, Oxford: Oxford University Press, 1952. Frege, G., 1893. Grundgesetze der Arithmetik. Jena: Verlag Hermann Pohle. Frege, G., 1902. “Letter to Russell,” in van Heijenoort 1967, 126–128. Godel, K., 1930. “The Completeness of the Axioms of the Functional Calculus of ¨ Logic,” in van Heijenoort 1967, 582–591. Godel, K., 1931. “On Formally Undecidable Propositions of ¨ Principia Mathematica and Related Systems I,” in van Heijenoort 1967, 596–616. Geach, P., 1962. Reference and Generality. Ithaca: Cornell University Press. Goldfarb, W., 1979. “Logic in the Twenties: the Nature of the Quantifier,” Journal of Symbolic Logic 44: 351–368. Hackl, M., 2009. “On the grammar and processing of proportional quantifiers: most versus more than half,” Natural Language Semantics 17: 63–98. Hailperin, T., 2004. “Algebraical Logic 1685–1900,” in D. Gabbay and J. Woods (ed.), Handbook of the History of Logic, volume 3. Amstredam: Elsevier, 323–388. Hamilton, William, 1860. Lectures on Metaphysics and Logic. Edinburgh and London: William Blackwood and Sons. Heim, I., 1982. The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis, University of Massachusetts, Amherst. Henkin, L., 1961. “Some remarks on infinitely long formulas,” in Infinitistic Methods. Oxford: Pergamon Press, 167–183. Heytesbury, William, 1335. Regulae Solvendi Sophismata.Pavia: Antonius de Carcano, 1481. 62 Hilpinen, R., 2004. “Peirce’s Logic,” in D. Gabbay and J. Woods (ed.), Handbook of the History of Logic, volume 3. Amstredam: Elsevier, 611–658. Hintikka, J., 1979. “Quantifiers vs. quantification theory,” Linguistics and Philosophy 5: 49–79. Introductiones Montana Minores. In De Rijk 1967, 7–71. Irwin, Terence, 1988. Aristotle’s First Principles. Oxford: Clarendon Press. Jungius, Joachim, 1638. Logica Hamburgensis. R. Meyer (ed.). Hamburg: J. J. Augustin, 1957. Jungius, Joachim, 1977. Logica Hamburgensis Additamenta. Edited by Wilhelm Risse. Gottingen: Vandenhoeck and Ruprecht. ¨ John Philoponus, 1905. In Aristotelis Analytica Priora commentaria. M. Wallies, ed. Berolini: G.Reimeri. Johnson, Fred, 1994. “Apodictic Syllogisms: Deductions and Decision Procedures,” History and Philosophy of Logic 16: 1–18. Kamp, H., 1981. “A theory of truth and semantic representation,” in J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof (eds.), Formal Methods in the Study of Language. Amsterdam: Mathematical Centre Tracts 135: 277–322. Kamp, H., and Reyle, U., 1993. From Discourse to Logic. Dordrecht: Kluwer. Kamp, H., Genabith J., and U. Reyle, 2011. “Discourse Representation Theory,” in D. Gabbay (ed.), Handbook of Philosophical Logic (second edition), Springer. Karttunen, L., 1976. “Discourse Referents,” in J. D. McCawley (ed.), Syntax and Semantics 7: Notes from the Linguistic Underground. New York: Academic Press, 363–385. Keenan, Edward L., and Moss, L., 1984. “Generalized quantifiers and the expressive power of natural language,” in J. van Benthem and A. ter Meulen (eds.), Generalized quantifiers in Natural Language. Dordrecht: Foris, 73–124. Keenan, Edward L., and Stavi, J., 1986. “A Semantic Characterization of Natural Language Determiners,” Linguistics and Philosophy 9: 253–326. Keenan, E., 1987. “A semantic definition of ‘Indefinite NP’,” in Eric Reuland and Alice ter Meulen (ed.), The Representation of (In)definiteness. Cambridge: MIT Press, 63 286–317. Keenan, Edward L., 1996. “The Semantics of Determiners,” in Shalom Lappin (ed.), The Handbook of Contemporary Semantic Theory. Oxford: Blackwell. Keenan, Edward L., and Westerståhl, D., 1997. “Generalized Quantifiers in Linguistics and Logic,” in Handbook of Logic and Language. Amsterdam: Elsevier, 837– 893. Keenan, E., and Westerståhl, D., 2011. “Generalized quantifiers in Linguistics and Logic (revised version),” in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language. Second Edition, Amsterdam: Elsevier, 859–910. King, P., 1985. Jean Buridan’s Logic. The Treatise on Supposition. The Treatise on Consequences. Translation with introduction and notes. Synthese Historical Library 27, Dordrecht: Reidel. Kneale, William and Kneale, Martha, 1962. The Development of Logic Oxford: Oxford University Press. Kretzmann, Norman, 1966. William of Sherwood’s Logic. Minneapolis: University of Minnesota Press. Lear, Jonathan, 1980. Aristotle and Logical Theory. Cambridge: Cambridge University Press. Lewis, D., 1975. “Adverbs of quantification,” in E. Keenan (ed.), Formal Semantics of Natural Language. Cambridge: Cambridge University Press, 3–15. Lindstrom, P., 1966. “First Order Predicate Logic with Generalized Quantifiers,” ¨ Theoria 32: 186–195. Lindstrom, P., 1969. “On Extensions of Elementary Logic,” ¨ Theoria 35: 1–11. Lindstrom, P., 1974. “On Characterizing Elementary Logic,” in S. Stenlund (ed.), ¨ Logical theory and semantic analysis. Dordrecht: D. Reidel, 129–146. Lowenheim, L., 1915. “On Possibilities in the Calculus of Relatives,” in van Hei- ¨ jenoort 1967, 228–251. Lukasiewicz, J., 1934. “Outlines of the History of the Propositional Logic,” Pr. Fil. 37. Lukasiewicz, Jan, 1951. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford: Clarendon Press. 64 Martin, C., 2009, “The logical text-books and their influence,” in J. Marenbon (ed.), The Cambridge Companion to Boethius. Cambridge: Cambridge University Press. McKirahan, Richard, 1992. Principles and Proofs. Princeton: Princeton University Press. Montague, R., 1973. “The Proper Treatment of Quantification in Ordinary English,” in J. Hintikka, J. Moravcsik, and P. Suppes (ed.), Approaches to Natural Language. Dordrecht: D. Reidel, 1973, 221–242. Reprinted in Montague 1974, 247–270. Montague, R., 1974. Formal Philosophy (edited and with an introduction by R. Thomason). Yale University Press, New Haven. Mostowski, A., 1957. “On a generalization of quantifiers,” Fundamenta Mathematicae, 44: 12–36. Muskens, R., 1996. “Combining Montague Semantics and Discourse Representation,” Linguistics and Philosophy 19: 143–186. Normore, C., 1999, “Some Aspects of Ockham’s Logic,” in P. V. Spade (ed.), The Cambridge Companion to Ockham. Cambridge: Cambridge University Press. Ockham, William of, 1974. Summa Logicae. Ph. Boehner, G. Gal and S. Brown ´ (eds.), Opera Philosophica I, St. Bonaventure, NY: The Franciscan Institute. Ockham, Willliam of, 1974. Ockham’s Theory of Terms: Part I of the Summa Logicae. Notre Dame: Notre Dame Press. Ockham, Willliam of, 1980. Ockham’s Theory of Propositions: Part II of the Summa Logicae. Notre Dame: Notre Dame Press. Patzig, Gunther, 1969. ¨ Aristotle’s Theory of the Syllogism. Translation, Jonathan Barnes. Dordrecht: D. Reidel. Peano, G., 1889. “The Principles of Arithmetic, Presented by a New Method,” in van Heijenoort 1967, 83–97. Peirce, C. S., 1885, “On the Algebra of Logic: A Contribution to the Philosophy of Notation,” American Journal of Mathematics 7 (1885), 180–196. Peirce, C. S., 1893, Elements of Logic, Collected Papers of Charles Sanders Peirce, Volume II, edited by C. Hartshorne and P. Weiss, Cambridge: Belknap Press, 1960. Peter of Spain. Syncategoreumata. First Critical Edition with an Introduction and Indexes by L.M. de Rijk, with an English Translation by Joke Spruyt. Leiden/Kln/New 65 York, 1992. Peter of Spain. Tractatus called afterwards Summule logicales. First Critical Edition from the Manuscripts with an Introduction by L.M. de Rijk. Assen, 1972. Peters, S. and westerståhl, D., 2006. Quantifiers in Language and Logic. Oxford: Oxford University Press. Pietroski, P., Lidz, J., Hunter, T., and Halberda, J., 2009. “The meaning of ‘most’: Semantics, numerosity and psychology,” Mind and Language 24: 554–585. Quine, W. V. O., 1939. “A Logistical Approach to the Ontological Problem,” Fifth International Congress for the Unity of Science, Cambridge, Mass., September 9, 1939. Reprinted in The Ways of Paradox. Cambridge: Harvard University Press, 1966. Quine, W. V. O., 1956. “Quantifiers and Propositional Attitudes,” The Journal of Philosophy 53: 177–187. Reprinted in The Ways of Paradox. Cambridge: Harvard University Press. Quine, W. V. O., 1960. Word and Object. Cambridge: MIT Press. Rescher, Nicholas, 1964. “Plurality Quantification,” The Journal of Symbolic Logic 27 (1964): 373–74. Ross, W. D. (ed.), 1951. Aristotle’s Prior and Posterior Analytics. Oxford: Clarendon Press. Russell, B., 1902. “Letter to Frege,” in van Heijenoort 1967, 124–125. Sher, G. 1997. “Partially-ordered (branching) generalized quantifiers: a general definition,” Journal of Philosophical Logic 26: 1–43. Skolem, T., 1920. “Logico-combinatorial Investigations in the Satisfiability or Provability of Mathematical Propositions: A Simplified Proof of a Theorem by L. Lowenheim and Generalizations of the Theorem,” in van Heijenoort 1967, 252-263. ¨ Skolem, T., 1928. “On Mathematical Logic,” in van Heijenoort 1967, 508–524. Smiley, Timothy, 1974. “What Is a Syllogism?” Journal of Philosophical Logic 1: 136–154. Smiley, Timothy, 1994. “Aristotle’s Completeness Proof,” Ancient Philosophy 14: 25–38. Smith, Robin, 1989. Aristotle’s Prior Analytics. Indianapolis: Hackett. 66 Spade, P. V., 2002. Thoughts, Words, and Things: An Introduction to Medieval Logic and Semantic Theory. Striker, Gisela (tr.), 2009. Aristotle, Prior Analytics I. Translated with commentary by Gisela Striker. Oxford: Clarendon Press. Tarski, A., 1936. “Uber den Begri ¨ ff der logischen Folgerung,” Actes du Congrs international de philosophie scientifique, Sorbonne, Paris 1935, vol. VII, Logique, Paris: Hermann, 1–11. Reprinted as “The Concept of Truth in Formalized Languages” in Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Edited and translated by J. H. Woodger. Oxford: Oxford University Press, 1956. Tarski, A., and Vaught, R., 1956. “Arithmetical Extensions of Relational Systems,” Compositio Mathematica 13: 81–102. Tractatus Anagnini. In De Rijk 1967, 215–332. Valencia, V. S., 2004. “The Algebra of Logic,” in D. Gabbay and J. Woods (ed.), Handbook of the History of Logic, volume 3. Amsterdam: Elsevier, 389–544. van Benthem, J., 1983. “Determiners and Logic,” Linguistics and Philosophy 6: 447–478. van Benthem, J., 1984. “ Questions about Quantifiers,” Journal of Symbolic Logic 49: 443–466. van Benthem, J., 1986. Essays in Logical Semantics. Dordrecht: D. Reidel. van Benthem, J., 1987. “Towards a computational semantics,” in P. GŁrdenfors (ed.), Generalized Quantifiers, Dordrecht: D. Reidel, 31–71. van Benthem, J., 1989. “Polyadic Quantifiers,” Linguistics and Philosophy 12: 437–464. van der Does, J., and van Eijck, J., 1996. “Basic Quantifier Theory,” in J. van der Does and J. van Eijck (ed.), Quantifiers, Logic, and Language. Stanford: CSLI. van Eijck, J., and Kamp, H., 1997. “Representing discourse in context,” in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language. Amsterdam: Elsevier, 179–237. van Heijenoort, J., 1967. From Frege to G ¨odel: A Source Book in Mathematical Logic 1879–1931. Cambridge: Harvard University Press. Wallace, J., 1970. “On the Frame of Reference,” Synthese 22: 117–150. 67 Watts, Isaac, 1725. Logic, or The Right Use of Reason in the Enquiry After Truth With a Variety of Rules to Guard Against Error in the Affairs of Religion and Human Life, as well as in the Sciences. Edinburgh: Printed for Charles Elliot. Wedin, Michael V., 1990. “Negation and Quantification in Aristotle,” History and Philosophy of Logic 11: 131–150. Westerståhl, D., 1987. “Branching generalized quantifiers and natural language,” in P. Gardenfors (ed.), ¨ Generalized Quantifiers. Dordrecht: D. Reidel, 269–298. Westerståhl, D., 1989, “Quantifiers in Formal and Natural Languages,” in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. IV, Dordrecht: D. Reidel, 1–131. 2nd edition, 2007, Berlin: Springer, 223–338. Whately, Richard, 1826. The Elements of Logic. London: Longmans. Wilson, C., 1960. William Heytesbury: Medieval Logic and the Rise of Mathematical Physics. Madison: University of Wisconsin Press. Woods, J., and Irvine, A., 2004. “Aristotle’s Early Logic,” in D. Gabbay and J. Woods (ed.), Handbook of the History of Logic, volume 1. Amsterdam: Elsevier, 27– 100.