This volume continues the collection of work by Charles J. Fillmore, which he started in 2003. Taken together, the work gathered in these volumes reflects Fillmore’s desire to make sense of the workings of language in a way that keeps in mind questions of language form, language use, and the conventions linking form, meaning, and practice.
 
Divided into four parts, the papers collected in Volume II explore language in use; semantics and pragmatics; text and discourse; and language in society.

This volume continues the collection of work by Charles J. Fillmore, which he started in 2003. Taken together, the work gathered in these volumes reflects Fillmore’s desire to make sense of the workings of language in a way that keeps in mind questions of language form, language use, and the conventions linking form, meaning, and practice.
 
Divided into four parts, the papers collected in Volume III explore the organization of linguistic knowledge; the foundations of constructing grammar; construction grammar analyses; and constructions and language in use.

Lexical-Functional Grammar was first developed by Joan Bresnan and Ronald M. Kaplan in the late 1970s, and was designed to serve as a medium for expressing and explaining important generalisations about the syntax of human languages and thus to serve as a vehicle for independent linguistic research. An equally important goal was to provide a restricted, mathematically tractable notation that could be interpreted by psychologically plausible and computationally efficient processing mechanisms. The formal architecture of LFG provides a simple set of devices for describing the common properties of all human languages and the particular properties of individual languages. This volume presents work conducted over the past several years at the Xerox Palo Alto Research Center, Stanford University, and elsewhere. The different sections link mathematical and computational issues and the analysis of particular linguistic phenomena in areas such as wh-constructions, anaphoric binding, word order and coordination.

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality.

A comprehensive introduction to logic’s central concepts.

This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.