The most general goal of this book is to propose and illustrate a program of research in word semantics that combines some of the methodology and results in linguistic semantics, primarily that of the generative semantics school, with the rigorously formalized syntactic and semantic framework for the analysis of natural languages developed by Richard Montague and his associates, a framework in which truth and denotation with respect to a model are taken as the fundamental semantic notions. I hope to show, both from the linguist's and the philosopher's point of view, not only why this synthesis can be undertaken but also why it will be useful to pursue it. On the one hand, the linguists' decompositions of word meanings into more primitive parts are by themselves inherently incomplete, in that they deal only in distinctions in meaning without providing an account of what mean ings really are. Not only can these analyses be made complete by a model theoretic semantics, but also such an account of these analyses renders them more exact and more readily testable than they could ever be otherwise.

This series provides approachable, yet authoritative, introductions to all the major topics in linguistics. Ideal for students with little or no prior knowledge of linguistics, each book carefully explains the basics, emphasising understanding of the essential notions rather than arguing for a particular theoretical position. Understanding Semantics offers a complete introduction to linguistic semantics. The book takes a step-by-step approach, starting with the basic concepts and moving through the central questions to examine the methods and results of the science of linguistic meaning. Understanding Semantics unites the treatment of a broad scale of phenomena using data from different languages with a thorough investigation of major theoretical perspectives. It leads the reader from their intuitive knowledge of meaning to a deeper understanding of the use of scientific reasoning in the study of language as a communicative tool, of the nature of linguistic meaning, and of the scope and limitations of linguistic semantics. Ideal as a first textbook in semantics for undergraduate students of linguistics, this book is also recommended for students of literature, philosophy, psychology and cognitive science.

Montague Grammar is a collection of papers that discusses Richard Montague's work on the syntax and semantics of natural languages. The papers examine the applications of Montague's theory to problems of syntax and semantics, and compares Montague's approach to other theories of language. One paper describes the features in Montague's "The Proper Treatment of Quantification in Ordinary English" (PTQ), namely, the grammatical categories and lexicon, the rules most similar to CF-rules, and the treatment of quantification. Another paper presents mechanisms to Montague's grammatical framework which will allow a variety of English constructions—especially those involving sentence embedding. The paper discusses syntactic rules, such as noun phrases, verb phrases, subject-predicate sentences, variable binding, abstracts, verbs taking infinitive complements, the copula, participles. One paper describes a fragment of English that is a variation and extension of the fragment presented in Montague. It also analyses adjectival phrases, three-place and other kinds of verbs, the passive voice, reflexive pronouns, and sentences using the dummy subject "it." Another paper proposes rules, syntactics, and semantics for use in nonrestrictive clauses in a Montague grammar. One paper analyzes factives, their semantic and syntactic properties using the work of Kiparsky and Kiparsky (1971). Montague's "Universal Grammar" (UG) invokes expositions of Montague syntax, Cooper syntax, theorems on conversion process, semantic interpretation, semantic equivalence of the two systems, and interpretive semantics. The collection is intended for readers of Montague, as well as for linguists, philosophers, and students of language.

Muskens radically simplifies Montague Semantics and generalises the theory by basing it on a partial higher order logic resulting in a theory which combines important aspects of Montague Semantics and Situation Semantics. Richard Montague formulated the revolutionary insight that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, he formalised his idea in an unnecessarily complex way. The present work does away with unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names.

Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.

This is a book about the meanings of words and how they can combine to form larger meaningful units, as well as how they can fail to combine when the amalgamation of a predicate and argument would produce what the philosopher Gilbert Ryle called a 'category mistake'. It argues for a theory in which words get assigned both an intension and a type. The book develops a rich system of types and investigates its philosophical and formal implications, for example the abandonment of the classic Church analysis of types that has been used by linguists since Montague. The author integrates fascinating and puzzling observations about lexical meaning into a compositional semantic framework. Adjustments in types are a feature of the compositional process and account for various phenomena including coercion and copredication. This book will be of interest to semanticists, philosophers, logicians and computer scientists alike.

In Bracketing Paradox and Direct Compositionality: Montagovian Morphology for Bound Morphemes, Kazuhiko Fukushima resolves bracketing paradoxes in Japanese—morphological vs. semantic incongruity, which supposedly pose insurmountable obstacles to traditional and simple-minded morphology—within morphology (the lexicon) proper. This resolution is achieved through formal semantic apparatus developed by Richard Montague and his followers, hence the label Montagovian Morphology. More generally and theoretically, this book addresses the issue of the optimal interface between morphology, which deals with minimal units of meaning and their combination within a word, and semantics, which handles increasingly larger units of meaning in the sentence. Fukushima argues that the nature of the interface is directly compositional, requiring no complex syntactic supposition or manipulation other than putting words together as is. The author concludes that a semantically reinforced morphological—that is, lexical—approach is superior to a syntactic one for characterizing the mapping between morphological and semantic domains, and that syntax per se cannot supersede morphology.