CSLI Publications

Language, Proof and Logic, second edition

Thu, 06 Oct 2011 22:14:21 GMT

This textbook/software package is a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof and counterexample. No prior study of logic is assumed, and, it is appropriate for introductory and second courses in logic. The unique on-line grading service almost instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.

The second edition is a major expansion and revision of the original. The coverage of the technique of mathematical induction has been expanded, and, software support added for Peano and course-of-values induction. Coverage of material concerning both naive and Zermelo-Frankel set theory has been expanded and improved.

Knowledge and Representation

Thu, 06 Jul 2011 22:08:30 GMT

This compilation of cutting-edge philosophical and scientific research comprises a survey of recent neuroscientific research on representational systems in animals and humans. Representational systems provide their owners with useful information about their environment and are shaped by the special informational needs of the organism with respect to its environment. In this volume, the authors address the long-standing dispute about the usefulness of the notion of representation in the study of behavior systems and offer a fresh perspective on representational systems that combines philosophical insights and experimental experience.

Albert Newen is a professor at Ruhr-Universität Bochum, Institut für Philosophie.

Andreas Bartels is a professor at Rheinische Friedrich-Wilhelms-Universität at Bonn, Institut für Philosophie.

Eva-Maria Jung teaches at Westfalische Wilhelms-Universität Munster

Algorithmes

Thu, 01 Jul 2011 22:10:48 GMT

This book is a French translation of seventeen papers by Donald Knuth on algorithms both in the field of analysis of algorithms and in the design of new algorithms. They cover fundamental concepts and techniques and numerous discrete problems such as sorting, searching, data compression, theorem-proving, and cryptography, as well as methods for controlling errors in numerical computations.

Donald E. Knuth is the Fletcher Jones Professor of Computer Science emeritus at Stanford University.

Éléments pour une histoire de l'informatique

Thu, 01 Jul 2011 22:11:53 GMT

This translation focuses on publications by Donald E. Knuth, one of the world's leading computer programmers, that were addressed primarily to a general audience rather than to specialists. These fifteen papers discuss the history of computer science from ancient Babylon to modern times and survey the field of computer science and the nature of algorithms.

Donald E. Knuth is the Fletcher Jones Professor of Computer Science emeritus at Stanford University.

The Dynamics of Lexical Interfaces

Thu, 06 May 2011 22:17:45 GMT

Dynamic Syntax is a formal model of utterance description that attempts to articulate and substantiate the claim that human linguistic knowledge is essentially the ability to process language in context. The model provides an explicit demonstration of how interpretation is built up incrementally from the information provided by the words as they are encountered. Drawing from a range of analyses of natural language data, the authors use formal definitions, step-by-step derivations, and detailed lexical definitions to illustrate this new form of syntactic analysis and to show how the model can be applied to a broad range of constructions and languages.

Ruth Kempson, Eleni Gregoromichelaki, and Christine Howes

Grammatical Framework: Programming with Multilingual Grammars

Thu, 06 Apr 2011 22:15:51 GMT

Grammatical Framework is a programming language designed for writing grammars, which has the capability of addressing several languages in parallel. This thorough introduction demonstrates how to write grammars in Grammatical Framework and use them in applications such as tourist phrasebooks, spoken dialogue systems, and natural language interfaces. The examples and exercises presented here address several languages, and the readers are shown how to look at their own languages from the computational perspective.

Aarne Ranta is professor of computer science at the University of Gothenburg, Sweden. He is the acting coordinator of the European Union research project MOLTO (Multilingual On-Line Translation), which develops techniques for high-quality translation among fifteen languages.

Japanese/Korean Linguistics, Vol. 18

Thu, 06 Apr 2011 22:20:40 GMT

Because Japanese and Korean are typologically quite similar, a linguistic phenomenon in one language often has a counterpart in the other. The annual Japanese/Korean Linguistics Conference provides a forum for presenting research that will deepen our understanding of these two languages, especially through comparative study. The papers in this volume are from the eighteenth Japanese/Korean Linguistics Conference, which was held at the Graduate Center of the City University of New York in 2008. The papers cover a broad range of topics in Japanese/Korean linguistics, including phonology, morphology, syntax, semantics, historical linguistics, discourse analysis, prosody, and psycholinguistics.

William McClure and Marcel den Dikken

Selected Papers on Fun and Games by Donald Knuth

Mon, 21 Mar 2011 22:12:17 GMT

Donald Knuth's influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TEX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics that are often given credit for shaping the field; his scientific papers are widely referenced and stand as milestones of development over a wide variety of topics. The present volume, which is the eighth and final book in his series of collected papers, is the one that he has saved up for dessert: It's a potpourri devoted to recreational aspects of mathematics and computer science, filled with the works that gave him most pleasure during his 50-year career. Here you'll find puzzles, paradoxes, and appealing patterns: visual, numerical, and musical.

Nearly fifty of Knuth's works are collected in this book, beginning with his famous first paper in MAD Magazine, and containing several similarly delightful spoofs written "in a jugular vein." Knuth's well-known introduction to the "dancing links" algorithm for combinatorial searches is accompanied by several chapters that shed new light on the age-old problem of knight's tours on a chessboard. There are chapters about word games, computer games, and even basketball, together with topics of modern folk culture such as traffic signs and license plates. Seventeen of these chapters are being published for the first time; fourteen others have appeared only in publications of limited circulation that are difficult to find in libraries. All are found here, together with more than 700 newly created illustrations. CSLI Lecture Notes number 192

Donald E. Knuth is the Fletcher Jones Professor of Computer Science emeritus at Stanford University.

Conversations with John L'Heureux

Thu, 06 Jan 2011 22:31:00 GMT

These conversations between John L'Heureux and Dikran Karagueuzian investigate the nature of writing fiction and the writer's need to write. They begin with a discussion of contemporary fiction, its virtues and vices and its distinguished practitioners. And from there to writing novels as opposed to short stories and on to the social life of the writer and the private life of L'Heureux. And finally they explore L'Heureux's years as Director of the Stanford Writing Program and his relationship with some of his better known students: Ron Hansen, Allan Gurganus, Tobias Wollf, Harriet Doerr, Kathryn Harrison, Alice Hoffman, Stephanie Vaughn, David Henry Hwang, Jeffrey Eugenides, ZZ Packer, Bo Caldwell among others... with a glance cast at what can and can't be taught in a creative writing program.

Since 1973, John L'Heureux has taught fiction writing, the short story, and dramatic literature in the English Department at Stanford University. He is the former Director of the Creative Writing Program, most recently 1993-94, 1996. He has served on both sides of the writing desk: as staff editor and contributing editor for The Atlantic and as the author of seventeen books of poetry, fiction and non- fiction. His stories have appeared in The Atlantic Monthly, Esquire, Harper's, The New Yorker, and have frequently been anthologized in Best American Stories and Prize Stories: The O. Henry Awards.

Dikran Karagueuzian is the Director of CSLI Publications.

Layers of Aspect

Thu, 06 Jan 2011 22:30:27 GMT

The eight articles in this volume reexamine the syntactic and semantic analyses of aspect that have been proposed mainly on the basis of aspectual expressions in English. The authors contrast expressions sharing an analogous morpho-syntactic make-up and some core distributional and semantic properties, drawing on a wide range of new empirical data from languages as diverse as Syrian Arabic, Urdu, Brazilian Portuguese, Russian, Indonesian, and German. The papers address four aspect-related problems in particular: the grammatical and semantic constraints on the different readings of the present perfect, the semantic and syntactic analysis of auxiliaries, the impact of adverbial expressions on the aspectual properties of the sentence, and morphology-semantics mapping.

Patricia Cabredo Hofherr is a researcher at the Centre national de la recherche scientifique in Paris. Brenda Laca is professor of linguistics at the UniversitÃ© Paris VIII.