A familiar argument goes as follows: natural languages have infinitely many sentences, finite representation of infinite sets requires recursion; therefore any adequate account of linguistic competence will require some kind of recursive device. The first part of this paper argues that this argument is not convincing. The second part argues that it was not the original reason recursive devices were introduced into generative linguistics. The real basis for the use of recursive devices stems from a deeper philosophical concern; a grammar (...) that functions merely as a metalanguage would not be explanatorily adequate as it would merely push the problem of explaining linguistic competence back to another level. The paper traces this concern from Zellig Harris and Chomsky’s early work in generative linguistics and presents some implications. (shrink)

This paper aims to characterize the relationship between information as defined in the information-theoretic approach and linguistic meaning by way of formulation of computations over the lexicon of a natural language. Information in its information theoretic sense is supposed not to be equivalent to linguistic meaning, whereas linguistic meaning has an intrinsic connection to information as far as the form and structure of the lexicon of a language (in a non-lexicological sense) is concerned. We argue that these two apparently conflicting (...) aspects of the relationship between information and linguistic meaning can be unified by showing that information conserves linguistic meaning, only insofar as computations of a certain kind are defined on the symbolic elements of a lexicon. This has consequences not merely for the nature of lexical learning – natural or artificial or otherwise – but also for the conservation of information in axiomatic systems. (shrink)

This paper revisits the conception of intelligence and understanding as embodied in the Turing Test. It argues that a simple system of meaning relations drawn from words/lexical items in a natural language and framed in terms of syntax-free relations in linguistic texts can help ground linguistic inferences in a manner that can be taken to be 'understanding' in a mechanized system. Understanding in this case is a matter of running through the relevant inferences meaning relations allow for, and some of (...) these inferences are plain deductions and some can serve to act as abductions. Understanding in terms of meaning relations also supervenes on linguistic syntax because such understanding cannot be simply reduced to syntactic relations. The current approach to meaning and understanding thus shows that this is one way, if not the only way, of framing Alan Turing's original insight into the nature of thinking in computing systems. (shrink)

This article surveys the philosophical literature on theoretical linguistics. The focus of the paper is centred around the major debates in the philosophy of linguistics, past and present, with specific relation to how they connect to the philosophy of science. Specific issues such as scientific realism in linguistics, the scientific status of grammars, the methodological underpinnings of formal semantics, and the integration of linguistics into the larger cognitive sciences form the crux of the discussion.

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

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. (shrink)

Recursion: A Computational Investigation into the Representation and Processing of Language. By Lobina David.

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

Linguistics as a science has rapidly changed during the course of a relatively short period. The mathematical foundations of the science, however, present a different story below the surface. In this paper, I argue that due to the former, the seismic shifts in theory over the past 80 years opens linguistics up to the problem of pessimistic meta-induction or radical theory change. I further argue that, due to the latter, one current solution to this problem in the philosophy of science, (...) namely structural realism :403–424, 1998; French in Proc Aristot Soc 106:167–185, 2006), should be viewed as especially enticing for linguists, as their field is a largely structural enterprise. I discuss particular historical instances of theory change in generative syntax before investigating two views on the nature of structural properties and eventually proposing an approach in terms of invariance :162–186, 2015) as a grounding for structural realism in the history and philosophy of linguistics. (shrink)

Linguistics as a science has rapidly changed during the course of a relatively short period. The mathematical foundations of the science, however, present a different story below the surface. In this paper, I argue that due to the former, the seismic shifts in theory over the past 80 years opens linguistics up to the problem of pessimistic meta-induction or radical theory change. I further argue that, due to the latter, one current solution to this problem in the philosophy of science, (...) namely structural realism, should be viewed as especially enticing for linguists, as their field is a largely structural enterprise. I discuss particular historical instances of theory change in generative syntax before investigating two views on the nature of structural properties and eventually proposing an approach in terms of invariance as a grounding for structural realism in the history and philosophy of linguistics. (shrink)

ABSTRACT This paper is concerned with the ontological status of linguistic types. According to a widely held view, linguistic types are abstract objects that are instantiated or represented by tokens. The same types might be tokened by both speech, signing and text. This view has implications for how we consider what it is to know a language since knowledge of language is typically taken to be knowledge of linguistic types. We argue below that linguistic types are not abstract objects but (...) action-types and that these action-types are individuated by the capacities that they manifest. The picture that results from this view is that to know a language is to have the capacities required to perform these action-types. (shrink)

Levelt, reviewing the AGL field from a psycholinguistic perspective, identifies various gaps and makes a number of concrete suggestions for improving several currently used experimental designs. He raises the question whether artificial (and natural) grammar learning is about detecting ‘rules’, as is commonly assumed, or rather the detection of a set of ‘constraints’. He cautions the community to not ignore ‘semantics’, and recommends to consider less artificial tasks, that may be needed for learning more complex rules by human or nonhuman (...) animals. (shrink)

In this paper, I address the issue of scientific modelling in contemporary linguistics, focusing on the generative tradition. In so doing, I identify two common varieties of linguistic idealisation, which I call determination and isolation respectively. I argue that these distinct types of idealisation can both be described within the remit of Weisberg’s :639–659, 2007) minimalist idealisation strategy in the sciences. Following a line set by Blutner :27–35, 2011), I propose this minimalist idealisation analysis for a broad construal of the (...) generative linguistic programme and thus cite examples from a wide range of linguistic frameworks including early generative syntax, Minimalism, the parallel architecture and optimality theory. Lastly, I claim that from a modelling perspective, the dynamic turn in syntax can be explained as a continuation, as opposed to a marked shift, of the generative modelling paradigm. Seen in this light, my proposal is an even broader construal of the generative tradition, along scientific modelling lines. Thus, I offer a lens through which to appreciate the scientific contribution of generative grammar, amid an increased resistance to some of its core theoretical posits, in terms of a brand of structural realism in the philosophy of science and specifically scientific modelling. (shrink)