This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics. Computational semantics is concerned with the computation of the meanings of linguistic objects such as text fragments, spoken dialogue utterances, and e-mail messages. The meaning of such an object is determined partly by linguistic information and partly by information from the context in which the object occurs. The information from these sources is combined by ...

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication...

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition.Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, stu...

Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are logical organisms in the ecology of l- guage. I aim to use logical techniques to analyze the meanings of metaphors. My goal here is to show how contemporary formal semantics can be extended to handle metaphorical utterances. What distinguishes this work is that it focuses intensely on the logical aspects of metaphors. I stress the role of lo...

This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. It consists of unpublished work by some key researchers on various issues related to the type theoretical study of formal semantics and further exemplifies the advantages of using modern type the...

Although Portuguese is one of the main world languages and researchers have been working on Portuguese electronic text collections for decades (e.g. Kelly, 1970; Biderman, 1978; Bacelar do Nascimento et al., 1984; see Berber Sardinha, 2005), this is the first volume in English that encapsulates the exciting and cutting-edge corpus linguistic work being done with Portuguese language corpora on different continents. The book includes chapters by leading corpus linguists dealing with Portugue...

This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com puter scientists and linguists who had been working on these issues (of ten in isolation from one another). Our intent was to boost debate and exchange of ideas on these fundamental issues at a time of rapid change in semantics and cognitive science. The papers published in this work have...

This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his 60th birthday. The contributions, by seasoned and budding linguists of all different linguistic backgrounds, reflect Jacques Moeschler’s diverse and visionary research over the years. The book contains three parts. The first part shows how different formal ...

The present volume of the Yearbook of Corpus Linguistics and Pragmatics series, presents cutting-edge corpus pragmatics research on language use in new social and educational environments.The Yearbook of Corpus Linguistics and Pragmatics offers a platform to scholars who carry out rigorous and interdisciplinary research on language in real use. Corpus Linguistics and Pragmatics have traditionally represented two paths of scientific research, parallel but often mutually exclusive an...

Victor Dudman's revolutionary English Grammar brings grammar and logic together by conceiving grammar as 'the necessary preliminary to logic'. The focus, for logicians, is the discussion of 'conditionals'; for grammarians it is the concise and accurate explanation of the infamous English modals.

Complex systems in nature and society make use of information for the development of their internal organization and the control of their functional mechanisms. Alongside technical aspects of storing, transmitting and processing information, the various semantic aspects of information, such as meaning, sense, reference and function, play a decisive part in the analysis of such systems.With the aim of fostering a better understanding of semantic systems from an evolutionary and mult...

R. G. Collingwood saw one of the main tasks of philosophers and of historians of human thought in uncovering what he called the ultimate presuppositions of different thinkers, of different philosophical movements and of entire eras of intellectual history. He also noted that such ultimate presuppositions usually remain tacit at first, and are discovered only by subsequent reflection. Collingwood would have been delighted by the contrast that constitutes the overall theme of the essays coll...