Online research in philosophy

We propose a shift in perspective from the view of natural languages as formal languages to natural languages as a collection of resources for constructing local languages for use in particular situations. This is suggested by our experience constructing natural language grammars for particular applications using the Grammatical Framework. It points to a research programme investigating how such resources play a role in linguistic innovation by agents constructing situation-specific local languages and how they can be made dynamic, modified by the linguistic agent’s exposure to innovative linguistic data.

This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language.

One way of describing the enterprise of natural language semantics is by analogy with interpreted formal languages, e.g. the language of arithmetic interpreted on the natural numbers. English is then the formal language consisting of the well-formed sentences of English interpreted on the structure we happen to nd around us. The business of the natural language semanticist is to describe the correlation of the formal expressions with that structure. This paper is directed against this particular interpretation 1 of the enterprise of logical natural language semantics.

Formal semantics is an enterprise which accounts for meaning in formal, mathematical terms, in the expectation of providing a helpful explication1 of the concept of the meaning of specific word kinds (such as logical ones), or of words and expressions generally. Its roots go back to Frege, who proposed exempting concepts, meanings of predicative expressions, from the legislation of psychology and relocating them under that of mathematics. This started a spectacular enterprise, fostered at first within formal logic and later moving into the realm of natural languages, and featuring a series of eminent scholars, from Tarski and Carnap to Montague and David Lewis. Partly independently of this, Frege set the agenda for a long-term discussion of the question of what a natural language is, his own contribution being that language should be seen not as a matter of subjective psychology, but rather as a reality objective in the sense in which mathematics is objective. His formal semantics, then, was just an expression of this conception of language. And many theoreticians now take it for granted that formal semantics is inseparably connected with a Platonist conception of language. Moreover, the more recent champions of formal semantics, Montague and David Lewis, took for granted that natural language is nothing else than a structure of the very kind envisaged by the theories of formal logicians. While Montague claims quite plainly that there is no substantial difference between formal and natural languages ("I reject the contention," he says, 1974, p. 188, "that an important theoretical difference exists between formal and natural languages"), Lewis states that it is fully correct to say that a linguistic community entertains a language in the form of a mathematical structure ("we can say", states Lewis, 1975, p..

The relationships between logic and natural language are multiverse. On the one hand, logic is a theory of argumentation, proving and giving reasons, and such activities are primarily carried out in natural language. This means that logic is, in a certain loose sense, about natural language. On the other hand, logic has found it useful to develop its own linguistic means which sometimes in a sense compete with those of natural language. This has led to the situation where the systems of logic can be taken as interesting "models" of various aspects of natural language. Â Â Â Â Â Â Â The alliance of logic and linguistics has flowered especially from the beginning of the seventies, when scholars like Montague, Lewis, Cresswell, Partee and others showed how semantics of natural language can be explicated with the help certain suitable logical calculi and the corresponding model theory. (Montague went so far as to claim that in view of this, there is no principal difference between natural and formal languages - but this is, as far as I can see, rather misguiding.) Since that time, the interdisciplinary movement of formal semantics (associating not only linguists and logicians, but also philosophers, computer scientists, cognitive psychologists and others) has yielded a rich repertoire of formal theories of natural language, some of them (like Hintikka's game-theoretical semantics or the dynamic logic of Groenendijk and Stokhof) being based directly on logic, others (like the situation semantics of Barwise and Perry or DRT of Kamp) exploiting different formal strategies. Â Â Â Â Â Â Â Moreover, although the enterprise of formal semantics (i.e. of modeling natural language semantics by means of certain formal structures) seems to be the principal point of contact between linguistics and logic, there are also other cooperative enterprises. One of the most fruitful ones seems to be the logical analysis of syntax, which has resulted from elaboration of what was originally called categorial grammar. (However, even this enterprise can be seen as importantly stimulated by Montague.) Â Â Â Â Â Â Â All in all, the region in which logic and theoretical linguistics overlap has grown both in size and fertility..

Predicate logic has proved a very useful tool for the expression of theories of natural language semantics. Hurford's suggestion that predicate–argument structures mirror certain properties of the human sensorimotor architecture can be seen as an explanation of why this is so. Although I support this view, I think that the correspondences that Hurford draws between linguistic and sensorimotor structures not only involve natural language semantics, but include some elements of natural language syntax as well.

Evidence is presented to show that the role of a generative grammar of a natural language is not merely to generate the grammatical sentences of that language, but also to relate them to their logical forms. The notion of logical form is to be made sense of in terms a natural logic, a logical for natural language, whose goals are to express all concepts capable of being expressed in natural language, to characterize all the valid inferences that can be made in natural language, and to mesh with adequate linguistic descriptions of all natural languages. The latter requirement imposes empirical linguistic constraints on natural logic. A number of examples are discussed.

Philosophy of Language introduces the non-specialist to the main issues and theories in twentieth-century philosophy of language, focusing specifically on linguistic phenomena. Part I explores several theories of how proper names, descriptions, and other terms bear a referential relation to non-linguistic objects. Part II surveys competing theories of linguistic meaning and compares their various advantages and liabilities. Part III introduces the basic concepts of linguistic pragmatics, includes a detailed discussion of the problems of indirect force, and Part IV examines linguistic theories of metaphor.

We provide first-order axioms for the theories of finite trees with bounded branching and finite trees with arbitrary (finite) branching. The signature is chosen to express, in a natural way, those properties of trees most relevant to linguistic theories. These axioms provide a foundation for results in linguistics that are based on reasoning formally about such properties. We include some observations on the expressive power of these theories relative to traditional language complexity classes.

There are two major approaches to the individuation of scientific theories, that have been called syntactic and semantic. We prefer to call them the linguistic and non-linguistic conceptions. On the linguistic view, also known as the received view, theories are identified with (pieces of) languages. On the non-linguistic view, theories are identified with extra-linguistic structures, known as models. We would like to distinguish between strong and weak formulations of each approach. On the strong version of the linguistic approach, theories are identified with certain formal-syntactic calculi, whereas on a weaker reading, theories are merely analyzed as collections of claims or propositions. Correspondingly, the strong semantic approach identifies..