The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. - Completely revised and updated - includes over 25% new material - Discusses the interface between logic and language - Many of the authors are creators or active developers of the theories

The Logic of Language opens a new perspective on logic. Pieter Seuren argues that the logic of language derives from the lexical meanings of the logical operators. These meanings, however, prove not to be consistent. Seuren solves this problem through an indepth analysis of the functional adequacy of natural predicate logic and standard modern logic for natural linguistic interaction. He then develops a general theory of discourse-bound interpretation, covering discourse incrementation, anaphora, presupposition and topic-comment structure, all of which, the author claims, form the 'cement' of discourse structure. This is the second of a two-volume foundational study of language, published under the title Language from Within. Pieter Seuren discusses such apparently diverse issues as the ontology underlying the semantics of language, speech act theory, intensionality phenomena, the machinery and ecology of language, sentential and lexical meaning, the natural logic of language and cognition, and the intrinsically context-sensitive nature of language - and shows them to be intimately linked. Throughout his ambitious enterprise, he maintains a constant dialogue with established views, reflecting their development from Ancient Greece to the present. The resulting synthesis concerns central aspects of research and theory in linguistics, philosophy and cognitive science.

This is IV volume of eight in a series on Philosophy of the Mind and Language. For nearly a century mathematicians and logicians have been striving hard to make logic an exact science. But a book on logic must contain, in addition to the formulae, an expository context which, with the assistance of the words of ordinary language, explains the formulae and the relations between them; and this context often leaves much to be desired in the matter of clarity and exactitude. Originally published in 1937, the purpose of the present work is to give a systematic exposition of such a method, namely, of the method of " logical syntax".

This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. The first part of the book presents an expository summary of how grammatical sentences of any language can be deduced with a specially designed logical calculus that treats syntactic categories as its formulae. Some such Universal Type Logic is posited to underlie the human language faculty, and all linguistic variation is captured by the different systems of semantic and syntactic categories which are assigned in the lexicons of different languages. The remainder of the book is devoted to the explicit formal development of computer algorithms which can learn the lexicons of type logical grammars from learning samples of annotated sentences. The annotations consist of semantic terms expressed in the lambda calculus, and may also include an unlabeled tree-structuring over the sentence. The major features of the research include the following: We show how the assumption of a universal linguistic component---the logic of language---is not incompatible with the conviction that every language needs a different system of syntactic and semantic categories for its proper description. The supposedly universal linguistic categories descending from antiquity (noun, verb, etc.) are summarily discarded. Languages are here modeled as consisting primarily of sentence trees labeled with semantic structures; a new mathematical class of such term-labeled tree languages is developed which cross-cuts the well-known Chomsky hierarchy and provides a formal restrictive condition on the nature of human languages. The human language acquisition mechanism is postulated to be biased, such that it assumes all input language samples are drawn from the above "syntactically homogeneous" class; in this way, the universal features of human languages arise not just from the innate logic of language, but also from the innate biases which govern language learning. This project represents the first complete explicit attempt to model the aquisition of human language since Steve Pinker's groundbreaking 1984 publication, "Language Learnability and Language Development."

In The Logical Syntax of Language, Carnap explains how his entire theory of language structure came to him like a vision when he was ill. He postulates that concepts of the theory of logic are purely syntactical and therefore can be formulated in logical syntax.

This is the second edition of an important introduction to Leibniz's philosophy of logic and language first published in 1972. It takes issue with several traditional interpretations of Leibniz (by Russell amongst others) while revealing how Leibniz's thought is related to issues of great interest in current logical theory. For this new edition, the author has added new chapters on infinitesimals and conditionals as well as taking account of reviews of the first edition.