You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when...
The unusual format of a series of discussions among a logician, a computer scientist, a philosopher and some researchers from other disciplines encourages the reader to develop his own point of view. --Book Jacket.
The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic.
Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he de...
This fascinating book looks at the work of Flemish painter Jan van Eyck (c. 1395-1441) under a magnifying glass. Famed for his focused observation of nature, Van Eyck studied fauna and flora in their natural environment and under carefully chosen light conditions, and then achieved a breathtaking and convincing realism in his paintings. Each panel is a collection of minuscule details rendered with superb clarity from foreground to background, or at least that is the impression at first glance. As this book reveals, that is precisely where Van Eyck's exceptional talent lies: he understood that the human brain is able to supplement visual perception where necessary. Here, details from Van Eyck's paintings are organized by such themes as nature, architecture, daily life, fabrics, glass, jewelry and mirrors, and portraits. Opening with a biographical note and an introduction on the technique of oil painting on panel, the authors explain the significance of the individual details and how Van Eyck achieved his innovative artistic results. This is an unprecedented look at the work of a popular master.
None
With his distinctive playground designs, Dutch architect Aldo van Eyck has left his mark on generations of children in Amsterdam. Over the years, he created a network of more than 700 playgrounds throughout the city, their minimalistic design intended to stimulate imagination and curiosity. Today, only a handful of these are still intact, the others having been removed or transformed to share space with brightly coloured slides and swings. This special publication revisits the seventeen remaining playgrounds in Amsterdams centre created by Van Eyck, including that of the Rijksmuseum.
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool