Tarski’s World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and Windows formats, also contains a unique and effective corrective tool in the form of a game, which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds.

A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes.

Intended as a supplement to a standard logic text, Tarski’s World is an essential tool for helping students learn the language of logic.

 

The study of Bantu languages of sub-Saharan Africa has provided the basis for significant contributions to research in linguistics. In recent years they have been used to advance morphological as well as syntactic theory, and in the study of interface relations in grammatical theory. The papers assembled in this volume, contributed by leading scholars in Bantu and general linguistics, deal with various aspects of the structure of Bantu languages.

In Theory and Evidence in Semantics, editors Erhard W. Hinrichs and John Nerbonne present a series of state-of-the-art papers that investigate the interface of natural language semantics with other modules of grammar—such as morphology, syntax, and pragmatics—and pursue applications of semantic theory in computational linguistics. Written by some of the leading scholars in the field, and strongly influenced by the seminal work of David R. Dowty in model-theoretical semantics, the papers provide novel accounts of highly complex sets of semantic phenomena, including anaphora, coordination, ellipsis, interrogatives, and negative and collective predicates, as well as tense and aspect.

How does a computer scientist understand infinity? What can probability theory teach us about free will? Can mathematical notions be used to enhance one's personal understanding of the Bible?

Perhaps no one is more qualified to address these questions than Donald E. Knuth, whose massive contributions to computing have led others to nickname him "The Father of Computer Science"—and whose religious faith led him to understand a fascinating analysis of the Bible called the 3:16 project. In this series of six spirited, informal lectures, Knuth explores the relationships between his vocation and his faith, revealing the unique perspective that his work with computing has lent to his understanding of God.

His starting point is the 3:16 project, an application of mathematical "random sampling" to the books of the Bible. The first lectures tell the story of the project's conception and execution, exploring its many dimensions of language translation, aesthetics, and theological history. Along the way, Knuth explains the many insights he gained from such interdisciplinary work. These theological musings culminate in a surprising final lecture tackling the ideas of infinity, free will, and some of the other big questions that lie at the juncture of theology and computation.

Things a Computer Scientist Rarely Talks About, with its charming and user-friendly format—each lecture ends with a question and answer exchange, and the book itself contains more than 100 illustrations—is a readable and intriguing approach to a crucial topic, certain to edify both those who are serious and curious about their faiths and those who look at the science of computation and wonder what it might teach them about their spiritual world.

Includes "Creativity, Spirituality, and Computer Science," a panel discussion featuring Harry Lewis, Guy L. Steele, Jr., Manuela Veloso, Donald E. Knuth, and Mitch Kapor.

Lauri Karttunen has done groundbreaking work in theoretical and computational linguistics. The papers in this volume present new, state-of-the-art work building on his numerous contributions. The first part includes papers on formal semantics, the focus of Karttunen's early career to which he has returned in recent years. The second part provides a natural extension of his semantic work: the formal analysis of meaning and reasoning and the integration of the lexical and ontological components to enable reasoning by computational systems. The third part focuses on syntactic analyses, including the structure of non-finite clauses and sentence embedding predicates and factivity. The final part of the volume deals with finite state methods and grammars, reflecting Karttunen's extensive contributions to finite state theory and technology and its application to natural language.

Only recently discovered by linguistic scholars, Tondi Songway Kiini (TSK) is a tonal language spoken in the small country of Mali in western Africa. Unlike other Songhay languages, TSK preserves the lexical and grammatical tones of its proto-language and also exhibits unique systems for the expression of focalization and relativization. Tondi Songway Kiini is a valuable overview of the grammar of an African language with a tone system quite different from that of the more familiar Bantu system. It is also an irreplaceable guide to the grammar and meanings of this unusual African language.

Martin Kay’s Translation is concerned with the fundamental underpinnings of the titular subject. Kay argues that the primary responsibility of the translator is to the referents of words themselves. He shows how a pair of sentences that might have widely different meanings in isolation could have similar meanings in some contexts. Exploring such key subjects as how to recognize when a pair of texts might be translations of each other, Kay attempts to answer the essential question: What is translation anyway?

Past research conducted on natural language syntax has occasionally employed the well-known mathematical formalism Context-Free Grammar, defined by Noam Chomsky in 1957. But recent studies have indicated that this approach may not always be ideal in analyzing all types of natural languages. Researchers in theoretical linguistics, psycholinguistics, cognitive science, and in natural language processing have recently converged on a collective insight: formalizing the syntax of words is central to describing, understanding, and analyzing language. This insight has sparked considerable interest in Tree Adjoining Grammar (TAG). Unlike traditional approaches for analyzing natural language syntax, TAG is a lexically-oriented mathematical formalism that can precisely capture the syntactic properties of natural languages such as English, French, and Korean. Tree Adjoining Grammars is the first ever collection of works that discusses the use of the TAG framework in natural language research. The volume begins with an introductory chapter that provides an overview of TAG and key research projects that have utilized the TAG framework in the past. Contributors discuss the formalism itself, its use in analyzing linguistic phenomena, and its use in building natural language processing systems. A glossary and extensive bibliography is included, allowing the volume to be accessible to a broad audience. The selection of works in this volume were presented at the Third International Workshop in Tree Adjoining Grammars and Related Formalisms held in Paris in 1994.