"Will delight a broad spectrum of readers." — American Mathematical Monthly.Do long division as the ancient Egyptians did! Solve quadratic equations like the Babylonians! Study geometry just as students did in Euclid's day! This unique text offers students of mathematics an exciting and enjoyable approach to geometry and number systems. Written in a fresh and thoroughly diverting style, the text — while designed chiefly for classroom use — will appeal to anyone curious abou...

In the current processes of political, economic and cultural changes serious cross-border forms of organized crime receive unprecedented attention as spectacular global media events, as 'threats' of all sorts, and as priority targets of criminal policy and political agendas. Most books on 'global organized crime' focus on one particular region, topic or event, and are written from one specific theoretical and disciplinary framework.The renowned scholars who have contributed to this ...

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.