References
- Bacon, Andrew [2023]. A Philosophical Introduction to Higher-Order Logics. London: Routledge.
- Bacon, Andrew [2024] “A case for higher-order metaphysics”. In Higher-Order Metaphysics, edited by P. Fritz & Nicholas K. Jones. Oxford: Oxford University Press: 47–72..
- Bacon, Andrew and Dorr, Cian [2024]. “Classicism”. In Higher-Order Metaphysics, edited by P. Fritz & Nicholas K. Jones. Oxford: Oxford University Press: 109–90.
- Bar-Hillel, Yehoshua [1953]. “A quasi-arithmetical notation for syntactic description”. Language 29: 47–58.
- Barker, Chris, and Shan, Chung-chieh [2014] Continuations and Natural Language. Oxford: Oxford University Press.
- Bealer, George [1993]. “Universals”. Journal of Philosophy 110: 5–32.
- Burgess, John [2008]. “Tarski’s tort”. In Mathematics, Models, and Modality: Selected Philosophical Essays. Cambridge: Cambridge University Press: 149–68.
- Button, Tim, and Trueman, Robert [2024]. “A fictionalist theory of universals”. In Higher-Order Metaphysics, edited by P. Fritz & N. K. Jones. Oxford: Oxford University Press: 245–90.
- Carlson, Greg N. [1977]. “A unified analysis of the English bare plural”. Linguistics and Philosophy 1: 413–57.
- Carpenter, Bob [1997]. Type-Logical Semantics. Cambridge, MA: MIT Press.
- Carroll, Lewis [1895]. “What the tortoise said to Achilles”. Mind 14: 278–80.
- Chierchia, Gennaro [1982]. “Nominalization and Montague grammar: A semantics without types for natural languages”. Linguistics and Philosophy 5: 303–54.
- Chierchia, Gennaro [1984]. Topics in the Syntax and Semantics of Infinitives and Gerunds. PhD thesis. University of Massachusetts.
- Cresswell, M. J. [1973]. Logics and Languages. London: Methuen.
- Curry, Haskell Brooks, and Feys, Robert [1958]. Combinatory Logic. Amsterdam: North-Holland.
- Davidson, Donald [1980]. “The logical form of action sentences”. In Essays on Actions and Events (2nd edition). Oxford: Oxford University Press (2001): 105–48.
- de Groote, Philippe [2001]. “Towards abstract categorial grammars”. In Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter. Toulouse, France: 148–55.
- Dorr, Cian [2007]. “There are no abstract objects”. In Contemporary Debates in Metaphysics, edited by T. Sider, J. Hawthorne & D. Zimmerman. Malden, Mass.: Wiley-Blackwell: 32–64.
- Dorr, Cian [2014a]. “Quantifier variance and the collapse theorems”. The Monist 97: 503–70.
- Dorr, Cian [2014b]. “Transparency and the context-sensitivity of attitude reports”. In Empty Representations: Reference and Non-existence, edited by M. García-Carpintero & G. Martí. Oxford: Oxford University Press: 25–66.
- Dorr, Cian [2016]. “To be F is to be G”. In Philosophical Perspectives 30: Metaphysics, edited by J. Hawthorne & J. Turner. Oxford: Blackwell: 1–97.
- Dorr, Cian [unpublished]. “The multiplicity of meaning”. The Hempel Lectures. Delivered in 2020.
- Dorr, Cian, Hawthorne, John, and Yli-Vakkuri, Juhani [2021]. The Bounds of Possibility: Puzzles of Modal Variation. Oxford: Oxford University Press.
- Frege, Gottlob [1879]. “Begriffsschrift: A formula language, modeled upon that of arithmetic, for pure thought”. In From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, edited and translated by J. van Heijenoort. Cambridge, MA: Harvard University Press (1967): 1–82 [Ger. orig. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Halle: Verlag von Louis Nebert (1879)].
- Frege, Gottlob [1892]. “On concept and object” (translated by P. T. Geach & M. Black). Mind 60 (1951): 168–80 [Ger. orig. “Über Begriff und Gegenstand”. Vierteljahrsschrift für wissenschaftliche Philosophie 16 (1892): 192–205].
- Frege, Gottlob [1893]. Grundgesetze der Arithmetik: Begriffsschriftlich abgeleitet. H. Pohle.
- Fritz, Peter and Jones, Nicholas K. [2024] (eds.). Higher-Order Metaphysics. Oxford: Oxford University Press.
- Goodman, Jeremy [2024]. “Higher-order logic as metaphysics”. In Higher-Order Metaphysics, edited by P. Fritz & Nicholas K. Jones. Oxford: Oxford University Press: 73–108.
- Halbach, Volker [2011]. Axiomatic Theories of Truth. Oxford: Oxford University Press.
- Harris, John H. [1982]. “What’s so logical about the ‘logical’ axioms?”. Studia Logica 41: 159–71.
- Heim, Irene and Kratzer, Angelika [1998]. Semantics in Generative Grammar. Malden, MA: Blackwell.
- Hofweber, Thomas [2022]. “The case against higher-order metaphysics”. Metaphysics 1: 29–50.
- Klein, Ewan and Sag, Ivan A. [1985]. “Type-driven translation”. Linguistics and Philosophy. 8: 163–201.
- Kripke, Saul [1979]. “A puzzle about belief”. In Meaning and Use, editeby A. Margalit. Dordrecht: Reidel: 239–83.
- Kubota, Yusuke and Levine, Robert D. [2020]. Type-Logical Syntax. Cambridge, MA: MIT Press.
- Lambek, Joachim [1958]. “The mathematics of sentence structure”. American Mathematical Monthly 65: 154–70.
- Lewis, David K. [1983a]. “General semantics”. In David K. Lewis, Philosophical Papers, I. Oxford: Oxford University Press: 189–232. From Lewis, David K. Synthese 22 (1970): 18–67.
- Lewis, David K. [1983b]. Philosophical Papers. Oxford: Oxford University Press.
- Liebesman, David [2011]. “Simple generics”. Noûs 45: 409–42.
- Liebesman, David [2015]. “Predication as ascription”. Mind 124: 517–69.
- Liebesman, David and Magidor, Ofra [2025]. Copredication and Property Versatility. Oxford: Oxford University Press.
- Link, Godehard [1983]. “The logical analysis of plurals and mass terms: A lattice-theoretical approach”. In Meaning, Use, and Interpretation of Language, edited by R. Bäuerle, Christoph Schwarze & A. von Stechow. Berlin: De Gruyter: 303–23.
- Magidor, Ofra [2013]. Category Mistakes. Oxford: Oxford University Press.
- Menzel, Christopher [1986]. A Complete, Type-free “Second-order” Logic and Its Philosophical Foundations. CSLI-86-40, Center for the Study of Language and Information.
- Milward, David [1994]. “Non-constituent coordination: Theory and Practice”. In COLING 1994 Volume 2: The 15th International Conference on Computational Linguistics. https://aclanthology.org/C94-2151.
- Moltmann, Friederike [2013]. Abstract Objects and the Semantics of Natural Language. Oxford: Oxford University Press.
- Moltmann, Friederike [2023]. “Reference to properties in natural language”. In The Routledge Handbook of Properties, edited by A. S. Maurin & A. Fisher. London: Routledge.
- Montague, Richard [1974]. “The proper treatment of quantification in ordinary English”. In Formal Philosophy: Selected Papers of Richard Montague, edited by R. H. Thomason. New Haven, CT: Yale University Press): 247–70. From Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, edited by J. Hintikka, J. Moravcsik & P. Suppes. Dordrecht: D. Reidel (1973): 221–42.
- Moortgat, Michael [1996]. “Generalized quantifiers and discontinuous type constructors”. Natural Language Processing 6: 181–208.
- Morrill, Glyn [1994]. Type Logical Grammar: Categorial Logic of Signs. Dordrecht: Kluwer.
- Parsons, Terence [1979]. “Type theory and ordinary language”. In Linguistics, Philosophy, and Montague Grammar, edited by Steven Davis & Marianne Mithun. Austin: University of Texas Press: 127–51.
- Parsons, Terence [1990]. Events in the Semantics of English: A Study in Subatomic Semantics. Cambridge, MA: MIT Press.
- Partee, Barbara and Rooth, Mats [1983]. “Generalized conjunction and type ambiguity”. In Meaning, Use, and Interpretation of Language, edited by R. Bäuerle, C. Schwarze and A. von Stechow. Berlin: De Gruyter.
- Prawitz, Dag [1965]. Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist and Wiksell.
- Prior, A. N. [1971]. Objects of Thought, edited by P. T. Geach and A. J. P. Kenny. Oxford: Oxford University Press.
- Quine, Willard van Orman [1953]. “On what there is”. In From a Logical Point of View (2nd edition). Cambridge, MA: Harvard University Press: 1–19. From Review of Metaphysics 2 (1948): 21–38.
- Quine, Willard van Orman [1956]. “Quantifiers and propositional attitudes”. Journal of Philosophy 53: 177–87.
- Quine, Willard van Orman [1970]. Philosophy of Logic (2nd edition). Cambridge, MA: Harvard University Press (1986).
- Rayo, Agustín and Uzquiano, Gabriel [2007) (eds.). Absolute Generality. Oxford: Oxford University Press.
- Rayo, Augustin and Yablo, Stephen [2001]. “Nominalism through de-nominalisation”. Noûs 35: 74–92.
- Rieppel, Michael [2016]. “Being Something: Properties and Predicative Quantification”. Mind 499: 643–89.
- Rooth, Mats, and Partee, Barbara [1982]. “Conjunction, type ambiguity and wide scope or”. In Proceedings of the First West Coast Conference on Formal Linguistics I, edited by D. P. Flickenger, M. Macken, & N. Wiegand. Stanford Linguistics Association.
- Rosefeldt, Tobias [2008]. “TÌhat’-clauses and non-nominal quantification”. Philosophical Studies 137: 301–33.
- Russell, Bertrand [1908]. “Mathematical logic as based on the theory of types”. American Journal of Mathematics 30: 222–62.
- Salmon, Nathan U. [1986]. Frege’s Puzzle. Cambridge, MA: MIT Press.
- Stalnaker, Robert C. [1977]. “Complex predicates”. The Monist 60: 327–39.
- Szabolsci, Anna [1987]. “Bound variables in syntax (are there any?)”. In Sixth Amsterdam Colloquium Proceedings, edited by J. Groenendijk, F. Veltman & Martin Stokhof. University of Amsterdam.
- Trueman, Robert [2021]. Properties and Propositions: The Metaphysics of Higher-Order Logic. Cambridge: Cambridge University Press.
- van Benthem, Johan [1988]. “The Lambek calculus”. In Categorial Grammars and Natural Language Structures (Studies in Linguistics and Philosophy), edited by R. T. Oehrle, E. Bach & D. Wheeler. Dordrecht: Springer: 35–68.
- Vendler, Zeno [1967]. Linguistics in Philosophy. Ithaca: Cornell University Press.
- Williamson, Timothy [2003]. “Everything”. In Philosophical Perspectives 17: Language and Philosophical Linguistics, edited by J. Hawthorne & D. Zimmerman. Oxford: Blackwell: 415–65.
- Worth, Chris [2014]. “The phenogrammar of coordination”. In Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS): 28–36. https://aclanthology.org/W14-14.pdf.
- Wright, Crispin [1998]. “Why Frege does not deserve his grain of salt: A note on the paradox of ‘the concept Horse’ and the ascription of Bedeutung to predicates”. In Hale, Bob and Wright, Crispin [2001]. The Reason’s Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics. Oxford: Oxford University Press: 72–90. From “Why Frege does not deserve his granum salis: A note on the paradox of ‘the concept Horse’ and the ascription of Bedeutungen to predicates”. In New Essays on the Philosophy of Michael Dummett, edited by J. Brandl and P. Sullivan. Grazer Philosophische Studien 55: Amsterdam/Atlanta: Rodopi (1998): 239–63.