Agreement features correlate closely with semantics as well as with noun morphology. This book presents a precise formal theory of those correlations, illustrated with Serbo-Croatian and other languages. In explaining regular agreement as a network of constraints, the theory also predicts a restricted set of exceptional situations where normal agreement can give way to agreement mismatches.

With this framework in place, the authors explore a number of factors that affect agreement processes. The theory even explains the striking cross-linguistic generalizations expressed in Corbett's Agreement Hierarchy. Agreement is shown to be a distributed phenomenon, manifesting its many faces among the various components of grammar.

Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.

Mathematical Structures in Languages introduces a number of mathematical concepts that are of interest to the working linguist. The areas covered include basic set theory and logic, formal languages and automata, trees, partial orders, lattices, Boolean structure,  generalized quantifier theory, and linguistic invariants, the last drawing on Edward L. Keenan and Edward Stabler’s Bare Grammar: A Study of Language Invariants, also published by CSLI Publications. Ideal for advanced undergraduate and graduate students of linguistics, this book contains numerous exercises and will be a valuable resource for courses on mathematical topics in linguistics. The product of many years of teaching, Mathematic Structures in Languages is very much a book to be read and learned from.

Modal logic is the study of modalities—expressions that qualify assertions about the truth of statements—like some ordinary language phrases and mathematically motivated expressions. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades. This volume collects together a number of Golblatt's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic models, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic.

This volume comprises a lively and thorough discussion between philosophers and Tyler Burge about Burge's recent, and already widely accepted, position in the theory of meaning, mind, and knowledge. This position is embodied by an externalist theory of meaning and an anti-individualist theory of mind and approach to self-knowledge.

The authors of the eleven papers here expound their versions of this position and go on to critique Burge's version. Together with Burge's replies, this volume offers a major contribution to contemporary philosophy.

This book criticizes current philosophy of language as having altered its focus without adjusting the needed conceptual tools. It develops a new theory of lexical meaning and a new conception of cognition—humans not as information-processing creatures but as primarily explanation and understanding-seeking creatures—with information processing as a secondary, derivative activity. Drawing on these theories of lexical meaning and cognition, Julius M. Moravcsik argues that the ability of humans to fully comprehend human understanding will always be partial. In this second edition, Moravcsik posits a new theory that emphasizes implicitness and context in communication. In this theory, language is presented as a dynamic system with built-in mechanisms for change and expansion, thus further supporting Moravcsik’s overarching thesis that human understanding will always be incomplete.

Meaning, Form, and Body brings together renowned figures in the field of cognitive linguistics to discuss two related research areas in the study of linguistics: the integration of form and meaning and language and the human body. Among the numerous topics discussed are grammatical constructions, conceptual integration, and gesture.

Can human beings relate to computer or television programs in the same way they relate to other human beings? Based on numerous psychological studies, this book concludes that people not only can but do treat computers, televisions, and new media as real people and places. Studies demonstrate that people are "polite" to computers; that they treat computers with female voices differently than "male" ones; that large faces on a screen can invade our personal space; and that on-screen and real-life motion can provoke the same physical responses. Using everyday language to engage readers interested in psychology, communication, and computer technology, Reeves and Nass detail how this knowledge can help in designing a wide range of media.

Linguistic mismatch phenomena involve semiotic functions that attach to forms in defiance of grammatical design features. Noun phrases, when used as predicates, provide one example: how do predicate nominals correspond to our theories of what nouns mean? How do such phenomena challenge traditional conceptions of grammar? How do competing theories of the syntax-semantics interface stand up when confronted with mismatch phenomena? Mismatch addresses these questions through the efforts of some of the most original thinkers in syntactic and semantic theory, exploring a wide variety of mismatch phenomena in a broad sampling of languages.

Mixed category constructions like the English verbal gerund involve words that seem to be central members of more that one part of speech. This poses a problem for the standard view of syntactic categories.

This book presents a novel analysis of this and similar mixed category constructions in languages including Quechua, Tibetan, Arabic, Fijian, Dagaare, and Jacaltec. Under this analysis, Robert P. Malouf shows that verbal gerunds share the selectional properties of verbs and the distributional properties of nouns. He further shows that since different dimensions of grammatical information can vary independently, the behavior of mixed categories creates no paradox. These dimensions are in principle independent. However, certain types of mixed categories are quite common in the world's languages, while others are rare or nonexistent. The book discusses how cross-linguistic variation can be accounted for by a lexical categorial prototype. By stating these prototypes as default constraints in a hierarchy of lexical information, Malouf argues that one can bring insights from cognitive and functional approaches to linguistics into a formal analysis, thus building on the strengths of both approaches.

In Modal Logic for Open Minds, Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.

This collection presents papers in memory of Steven G. Lapointe, a distinguished professor of linguistics at the University of California, Davis, at the time of his death in 1999. Lapointe's work on morphology and its connection to other linguistic subfields was the basis of a workshop held at UC Davis in 2000. This selection of papers from that workshop discusses the relationship of morphology to phonology, syntax, and semantics, as well as the details of modern morphological theory—forming a natural continuation of the intellectual developments in Lapointe et al.'s Morphology and Its Relation to Phonology and Syntax.