Abstract
The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences.
Similar content being viewed by others
Notes
However, the incompleteness proof did not destroy proof theory itself. Gentzen developed a proof-theoretic approach without the limitations of the Hilbert programme and finitism in full view of Gödel’s incompleteness. His more specific aim was to prove the consistency of logical deduction within arithmetic.
I will return to this analogy in Sect. 8. On the philosophical side, I think that mathematisation is related to the treatment of the rules posited initially for the sake of modelling a phenomenon and then eventually for their own sake. A similar Wittgensteinian diagnosis of the issue within the context of the foundations of linguistics can be found in Wright (1989). Simply put, it is a problem of rule-following. The problem of mathematisation can essentially be viewed as the progression and instantiation of the myth of the autonomy of rules or “the image of a rule as a rail laid to infinity” (Wright 1989: p. 238).
Although as early as Syntactic Structures, Chomsky distinguishes between recursion and computation in constructing a non-recursive grammar of a small fragment of English. I thank an anonymous referee for pointing this out to me.
The history of the term “recursion” in linguistics is extremely messy. Briefly, the idea is that recursive functions introduce a property of self-reference. This involves two steps. One which specifies the condition of termination of the recursion or the base case and the recursive step which reduces all other cases to the base. For some early attempts at formal definition, see Chomsky (1959) and Chomsky and Miller (1963) for an elaboration of the term language and recursion in linguistics. For a development of these ideas within recursive characterisations of particular linguistic constructions see Langendoen (2008).
Notice, even Chomsky’s famous (1956) disavowal of the relevance of stochastic grammar formalisms, in which approximation through continuous mathematics is the goal, can be seen as motivated by mathematisation. The statistical methods of continuous mathematics do not generally make a mathematical object of the target domain but rather treat it as physical process capable of “approximate” characterisation.
As pointed out to me by an anonymous reviewer, Merge itself should not be thought of as yielding infinite output, as a source of recursion or link to arithmetic but rather recursion must be discovered in the atoms and inherited by the objects constructed by the Merge operation. There could be two reasons for this caution. Firstly, in allowing infinitely many Merges you can generate infinite objects, but \(\aleph _{0}\) is not an integer itself. Secondly, if we have a constraint such that Merge(\(\alpha ,\beta \)) can only be applied if there is neither an \(\alpha \) nor a \(\beta \) present in either \(\alpha \) or \(\beta \), Merge will run out of options resulting in a finite number of contructable objects.
Pullum and Scholz (2010) convincingly argue, no such proof can be given sans the induction axiom and successor function in the case of natural language.
This situation then moves into the realm of different cardinalities for different languages, some transfinite others finite. I thank an anonymous reviewer for directing me towards this possibility.
Yablo (2013) offers a related account of the three grades of mathematical involvement for scientific explanation. Yablo’s three grades are roughly and respectively defined as follows: on grade one, mathematics has a descriptive role (something like the first grade on my view but more limited), on grade two it has a structural role and on the third grade it has a substantive role. He attempts to capture the substantive role in terms of a modal notion of extricability. We can think of extricability in terms of logical subtraction. “Logical subtraction sometimes yields a well-defined remainder, surely. Snow is cold and white – Snow is cold = Snow is white, I assume” (Yablo 2013: p. 1014).
See Weisberg (2013) for a discussion on how the large scale Bay Area Model of San Fransciso assisted scientists in rejecting the proposal to build a dam in the Bay Area.
Another way to think of what a model is involves an analogy with fictional worlds, pretenses or ways that the world could have been (Frigg 2010). This view breaks down the connection with model theory in mathematics. In this way models are akin to the fictional worlds of Sherlock Holmes or Luke Skywalker. Counterfactual analyses are also generally connected to the type of representation involved in modelling. For instance, Giere (1988) affirms that model systems are systems which would be concrete if they were in fact real.
As opposed to the then popular “syntactic” accounts in which scientific theories were considered to be consistent sets of sentences in formal languages (“theories” in the logical sense).
See Thomson-Jones (2005) for general discussion. Also see Stokhof and van Lambagen (2011) for discussion with relation to linguistics and Nefdt (2016a) for a response.
Here they borrow from Savitch (1993) who shows why we might assume that languages are (essentially) infinite despite having no evidence for them not being simply largely finite. Savitch’s paper is a formal attempt at capturing parsimony judgements in grammars, i.e. we treat finite sets as essentially infinite if this allows us to get simpler descriptions than we would if we treated them as finite.
In fact, adherence to a strong interpretation of C3 can lead us astray in some cases. There is a school of thought which takes infinity or fixed cardinality not only to be a modelling choice, as in the previous section, but to be a feature of the particular mathematical model used in linguistic theory, namely Post canonical production systems. Thus, infinity is an artefact of the model. It is obvious that not all the artefacts of models should receive interpretation in the target system. Especially if productivity facts can be captured by alternative formalisms which do not posit the putative property. For a specific example, Sampson (2001) criticises Chomsky’s problematic “undue preoccupation with strings” in The Logical Structure of Linguistic Theory (1975). He points out that treating the syntax via derivations of strings and sets of strings is an unnecessary detour when phrase-structure grammars could be characterised with well-formedness conditions on trees directly. Furthermore, the derivational alternative forces certain untoward consequences.
Chomsky’s approach forces him to impose two quite arbitrary restrictions on phrase-structure rules, namely, that no rule may rewrite any symbol A as either the null string, or as a sequence including A. Both of these forbidden types of rule frequently seem appropriate in describing real language, and under the alternative view of phrase-structure grammars there is no objection to them (Sampson 2001: p. 156).
In this case, the model has features that the real world does not. In many other cases, the target has features which outstrip the models. Trying to find a home for every feature of the model as a mechanism or constraint might turn out to be deeply problematic.
Of course, this is not always the case. The consistency of the Continuum hypothesis and its negation do not establish existence.
Incidentially, this rare sequence of word order can be found in some languages along the Amazon basin.
References
Azzouni, J. (2004). Deflating existential consequence: A case for nominalism. New York: Oxford University Press.
Baggio, G., van Lambalgen, M., & Hagoort, P. (2012). Language, linguistics and cognition. In R. Kempson, T. Fernando, & N. Asher (Eds.), Philosophy of linguistics. North Holland: Elsevier B.V.
Bar-Hillel, Y. (1953). On recursive definitions in empirical science. In 11th natural congress of philosophy, Vol. 5, pp. 160–165.
Benacerraf, P. (1973). Mathematical truth. The Journal of Philosophy, 70(19), 661–679.
Boeckx, C. (2015). Beyond Humboldt’s problem: Reflections on biolinguistics and its relation to generative grammar. Language Sciences, 50, 127–132.
Bromberger, S. (1989). Types and tokens in linguistics. In A. George (Ed.), Reflections on Chomsky (pp. 58–90). Cambridge: Basil Blackwell.
Cann, R., Kempson, R., & Wedgwood, D. (2012). Representationalism and linguistic knowledge. In R. Kempson, T. Fernando, & N. Asher (Eds.), Philosophy of linguistics. North Holland: Elsevier B.V.
Collins, J. (2010). How long can a sentence be and should anyone care? Croatian Journal of Philosophy, 10(3), 199–207.
Chomsky, N. (1956). Three models for the description of language. IRE Transactions on Information Theory IT-2: 113–123.
Chomsky, N. (1957). Syntactic structures. The Hague: Mouton Press.
Chomsky, N. (1959). On certain formal properties of grammars. Information and Control, 2, 137–167.
Chomsky, N. (1965). Aspects of the theory of syntax. Cambridge: MIT Press.
Chomsky, N. (1966). Cartesian linguistics: A chapter in the history of rationalist thought, 3rd edn. New York: Harper & Row.
Chomsky N. (1981). Lectures on government and binding. The Hague: De Gruyter Mouto.
Chomsky, N. (1986). Knowledge of language: Its nature, origin, and use. New York: Praeger.
Chomsky, N. (1990). Language and Problems of Knowledge. In A. P. Martinich (Ed.) pp. 581–598.
Chomsky, N. (1995). The minimalist program. Cambridge, MA: MIT Press. Reprinted 20th Anniversary Addition, 2015.
Chomsky, N. (2000b). The architecture of language. New Delhi: Oxford University Press.
Chomsky, N., Hauser, M., & Fitch, W. (2002). The faculty of language: What is it, who has it, and how did it evolve? Science, 298, 1569–1579.
Chomsky, N. (2005). On phases. Cambridge: MIT MS.
Chomsky, N. (2010). Some simple evo-devo theses: How true might they be for language? In R. K. Larson, H. Yamakido, & V. Deprez (Eds.), Evolution of human language: Biolinguistic perspectives (pp. 45–62). Cambridge: Cambridge University Press.
Chomsky, N., & Miller, G. (1963). Introduction to the formal analysis of natural languages. In R. Duncan Luce, R. Bush, & E. Galanter (Eds.), The handbook of mathematical psychology (Vol. II). New York: Wiley.
Cowart, W. (1989b). Notes on the biology of syntactic processing. Journal of Psycholinguistic Research, 18(1), 89–103.
Culicover, P. (2011). Core and periphery. In P. Hogan (Ed.), The Cambridge encyclopedia of the language sciences (p. 227230). Cambridge: Cambridge University Press.
Devitt, M. (2006). Ignornance of language. Oxford: Oxford University Press.
Epstein, S., & Hornstein, N. (2005). Letter on ‘The future of language’. Language, 81, 36.
Evans, G. (1981). Semantic theory and tacit knowledge. In Collected papers (pp. 322–342). Oxford: Clarendon Press.
Everett, D. (2005). Cultural constraints on grammar and cognition in Pirahã: Another look at the design features of human language. Current Anthropology, 46, 621634.
Field, H. (1980). Science without numbers: A defense of nominalism. Princeton: Princeton University Press.
Field, H. (1985). Comments and critism: On convervativeness and incompleteness. Journal of Philosophy, 82(5), 239–260.
Fodor, J., Bever, T., & Garrett, M. (1974). The psychology of language. New York: McGraw-Hill Publishers.
Frigg, R. (2010b). Models and fiction. Synthese, 172(2), 251–268.
George, A. (1989). How not to become confused about linguistics. Reflections on Chomsky (pp. 90–110). Cambridge: Basil Blackwell.
George, A. (1996). Katz Astray. Mind and Language, 11(3), 295–305.
Giere, R. (1988). Explaining science: A cognitive approach. Chicago: Chicago University Press.
Gödel, K. (1944). Russell’s mathematical logic. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics: Selected readings. Cambridge: Cambridge University Press.
Godfrey-Smith, P. (2006). The strategy of model-based science. Biology and Philosophy, 21, 725–740.
Goldberg, A. (2003). Constructions: A new theoretical approach to language. Trends in cognitive sciences, Vol. 7, No. 5.
Hellman, G. (1989). Mathematics without numbers: Towards a modal-structural interpretation. Oxford: Clarendon Press.
Higginbotham, J. (1991). Remarks on the metaphysics of linguistics. Linguistics and Philosophy, 14(5), 555–566.
Hilbert, D. (1899). Grundlagen der Geometrie. Leipzig: Teubner; Foundations of geometry, trans by Townsend, E, La Salle, Illinois, Open Court, 1959.
Hinzen, W., & Uriagereka, J. (2006). On the metaphysics of linguistics. Erkenntnis, 65(1), 71–96.
Jackendoff, R. (2002). The foundations of language. Oxford: Oxford University Press.
Jäger, G., & Rogers, J. (2012). Formal language theory: Refining the Chomsky hierarchy. Philosophical Transactions of the Royal Society B: Biological Sciences, 367(1598), 1956–1970.
Katz, J. (1981). Language and other abstract objects. New Jersey: Rowman and Littlefield.
Katz, J. (1985). An outline of platonist grammar. In J. Katz (Ed.), The Philosophy of Linguistics. Oxford: Oxford University Press.
Katz, J. (1996). The unfinished chomskyan revolution. Mind and Language, 11(3), 270–294.
Katz, J., & Postal, P. (1991). Realism versus conceptualism in linguistics. Linguistics and Philosophy, 14(5), 515–554.
Keller, F. (1998). Grammaticality Judgments and Linguistic Methodology. Research Paper EUCCS-RP-1998-3.
Kornai, A. (2014). Resolving the infinitude controversy. Journal of Logic, Language and Information, 23(4), 481–492.
Langendoen, T. (2003). Merge. In Carnie, A., Harley, H., & Willie, M. (Eds.), Formal approaches to function in grammar in honor of Eloise Jelinek (pp. 307–318). Amsterdam: John Benjamins.
Langendoen, T. (2008). Coordinate grammar. Language, 84, 691–709.
Langendoen, T. (2010). Just how big are natural languages? In H. van der Hulst (Ed.), Recursion and human language (pp. 139–147). Berlin: De Gruyter Mouton.
Langendoen, T., & Postal, P. (1984). The vastness of natural languages. Hoboken: Blackwell Publishers.
Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65, 154–170.
Lasnik, H. (2000). Syntactic Structures. In Revisited: Contemporary lectures on classic transformational theory. Cambridge, MA: MIT Press.
Lewis, D. (1975). Languages and language. In P. Matinich (Ed.), The philosophy of language. Oxford: Oxford University Press.
Lewis, D. (1980). Index, context, and content. In S. Kanger, & Öhman (Eds.), Philosophy and grammar (pp. 79–100).
Linsky, B., & Zalta, E. (1995). Naturalized platonism versus platonized naturalism. Journal of Philosophy, 10, 525–555.
Lobina, D. (2014). When linguists talk mathematical logic. Frontiers in Psychology, 5(382), 1–3.
Ludlow, P. (2011). The philosophy of generative linguistics. Oxford: Oxford University Press.
Mäki, U. (2011). Models and the locus of their truth. In Synthese, 180, 47–63.
Marr, D. (1982). Vision. New York: W.H. Freeman and Company.
McDonald, F. (2009). Linguistics, psychology, and the ontology of language. Croatian Journal of Philosophy, 9, 27.
Michaelis, J. (2001). Transforming linear context free rewriting systems into minimalist grammars. Lecture Notes in Artificial Intelligence. In P. de Groote, G. Morill, C. Retore (Eds.), Logical Aspects of Computational Linguistics, vol. 2099 (pp. 228–244). Berlin: Springer.
Mönnich, U. (2007). Minimalist syntax, multiple regular tree grammars, and direction preserving tree transducers. In: J. Rogers, S. Kepser (Eds.), Model Theoretic Syntax at 10. ESSLLI’07 Workshop Proceedings.
Montague, R. (1970a). English as a formal language. In Bruno Visentini (Ed.), Linguaggi nella societá e nella tecnica. Reprinted in Montague, R. (1974). Formal Philosophy. In R. Thomason (Ed.) (pp 189–223). New Haven, CT: Yale University Press.
Montague, R. (1970b). Universal grammar. Theoria 36:37398. Reprinted in Montague, R. (1974). Formal Philosophy. In R. Thomason (Ed.) (pp. 222–46). New Haven, CT: Yale University Press
Morrison, M. (2015). Reconstructing reality: Models, mathematics, and simulations. Oxford: Oxford University Press.
Nefdt, R. (2016a). Linguistic modelling and the scientific enterprise. Language Sciences, 54, 43–57.
Nefdt, R. (2016b). Scientific modelling in generative grammar and the dynamic turn in syntax. Linguistics and Philosophy, 39(5), 357–394.
Newmeyer, F. (1996). Generative linguistics: A historical perspective. London: Routledge.
Peregrin, J. (1995). Structural linguistics and formal semantics. Benjamin: Travaux du Cercle Linguistique de Prague I.
Peregrin, J. (2000). The ‘Natural’ and the ’Formal’. Journal of Philosophical Logic, 29(1), 75–101.
Postal, P. (2003). Remarks on the foundations of linguistics. In The philosophical forum (Vol. XXXIV, Nos. 3 & 4).
Postal, P. (2009). The incoherence of Chomsky’s ‘Biolinguistic Ontology’. Biolinguistics, 3(1), 104–123.
Pullum, G. (1983). How many possible human languages are there? Linguistic Inquiry, 14(3), 447–467.
Pullum, G. (2011). On the mathematical foundations of syntactic structures. Journal of Logic Language and Information, 20(3), 277–296.
Pullum, G. (2013). The central question in comparative syntactic metatheory. Mind & Language, 28(4), 492–521.
Pullum, G., & Scholz, C. (2001). On the distinction between model-theoretic and generative-enumerative syntactic framework. In 4th International conference logical aspects of computational linguistics. New York: Springer Press.
Pullum, G., & Scholz, B. (2010). Recursion and the infinitude claim. In H. van der Hulst (Ed.), Recursion in human language (Studies in Generative Grammar 104) (pp. 113–138). Berlin: Mouton de Gruyter.
Pylyshyn, Z. (1991). Rules and representations: Chomsky and representational realism. In A. Kasher (Ed.), The Chomskyian turn (pp. 231–51). Cambridge, MA: Blackwell.
Quine, W. V. (1972). Methodological reflections on current linguistic theory. In D. Davidson & G. Harman (Eds.), Semantics of natural language (pp. 442–454). Dordrecht: D. Reidel.
Quine, W. V. (1976). Ways of paradox and other essays. Cambridge: Harvard University Press.
Resnik, M. (1997). Mathematics as a science of patterns. Oxford: Clarendon Press.
Sag, I., Wasow, T., & Bender, E. (2003). Syntactic theory: A formal introduction (2nd ed.). Stanford, CA: CSLI Publications.
Sampson, G. (2001). Empirical Linguistics. New York: Continuum Press.
Savitch, W. (1993). Why it might pay to assume that languages are infinite. In Annals of Mathematics and Artificial Intelligence, 8, 17–25.
Shapiro, S. (1983). Conservativeness and incompleteness. The Journal of Philosophy, 80(9), 521–531.
Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. Oxford: Oxford University Press.
Shapiro, S. (2005). Categories, structures, and the Frege-Hilbert controversy: The status of metamathematics. Philosophia Mathematica III, 13, 61–77.
Shieber, S. (1985). Evidence against the context-freeness of natural language. The formal complexity of natural language (pp. 320–334). New York: Springer.
Soames, S. (1984). Linguistics and Psychology. Linguistics and Philosophy, 7, 155–179.
Stabler, E. (1997). Derivational minimalism. In C. Retoré (Ed.), Logical aspects of computational linguistics (pp. 68–95). New York: Springer.
Stokhof, M., & van Lambalgen, M. (2011). Abstractions and idealisations: The construction of modern linguistics. Theoretical Linguistics, 37(1–2), 1–26.
Strevens, M. (2007). Why explanations lie: Idealization in explanation. Unpublished manuscript, Department of Philosophy, New York University.
Suppes, P. (1960). A comparison of the meaning and use of models in mathematics and the empirical sciences. Synthese, 12, 287–300.
Thomason, R. (1974). Formal philosophy. New Haven: Selected Papers by Richard Montague.
Thomson-Jones, M. (2005). Idealization and abstraction: A framework. In N. Cartwright & M. Jones (Eds.), Correcting the model: Idealization and abstraction in the sciences (pp. 173–218). Rodopi Press.
Thomson-Jones, M. (2012). Modelling without mathematics. Philosophy of Science, 79, 761772.
Tiede, H., & Stout, L. (2010). Recursion, infinity and modeling. In H. van der Hulst (Ed.), Recursion and human language (pp. 147–158). Berlin: Mouton de Gruyter.
Tomalin, M. (2006). Linguistics and the formal sciences. Cambridge: Cambridge University Press.
Tomalin, M. (2007). Reconsidering recursion in syntactic theory. Lingua, 117, 1784–1800.
van Fraasen, B. (1980). The Scientific Image. Oxford: Oxford University Press.
Weisberg, M. (2007). Three kinds of idealization. The Journal of Philosophy, 104(12), 639–659.
Weisberg, M. (2013). Simulation and similarity: Using models to understand the world. Oxford: Oxford University Press.
Wright, C. (1989). Wittgenstein’s rule-following considerations and the central project of theoretical linguistics. Reflections on Chomsky (pp. 231–264). Cambridge: Basil Blackwell.
Yablo, S. (2013). Explanation, extrapolation, and existence. Mind, 121(484), 1007–1029.
Yalcin, S. (2014). Semantics and metasemantics in the context of generative grammar. In A. Burgess & B. Sherman (Eds.), Metasemantics: New essays on the foundations of meaning. Oxford: Oxford University of Press.
Yang, C. (2006). The infinite gift. New York: Scribner.
Acknowledgements
I would like to thank Josh Dever, Ephraim Glick, Patrick Greenough, Geoff Pullum, Kate Stanton, Zoltán Szabó, Bernhard Weiss and two anonymous referees for their insightful comments on various drafts of this paper. I would also like to thank audiences at the Arché Research Centre and the joint Semantics Seminar at the linguistics and philosophy departments at Yale University for their excellent comments and suggestions on this research.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Nefdt, R.M. Infinity and the foundations of linguistics. Synthese 196, 1671–1711 (2019). https://doi.org/10.1007/s11229-017-1574-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-017-1574-x