Written by a team of world-class experts, this book explores the core concepts of sentential semantics and includes sections on questions, imperatives, copular clauses, and existential sentences. It also features essential research on sentence types

Get to grips with the fundamentals of semantics research. Written by a team of world-class experts, this book introduces the subject for a broad audience of linguists, cognitive scientists, philosophers, and computer scientists. It explores the core concepts of sentential semantics and includes sections on questions, imperatives, copular clauses, and existential sentences. It also features essential research on sentence types, and explains central concepts in the theory of information structure and discourse structure. Now in paperback for the first time since its original publication, the material in this modern classic is an ideal resource for anyone involved in semantics research.

An introductory text in linguistic semantics, uniquely balancing empirical coverage and formalism with development of intuition and methodology. This introductory textbook in linguistic semantics for undergraduates features a unique balance between empirical coverage and formalism on the one hand and development of intuition and methodology on the other. It will equip students to form intuitions about a set of data, explain how well an analysis of the data accords with their intuitions, and extend the analysis or seek an alternative. No prior knowledge of linguistics is required. After mastering the material, students will be able to tackle some of the most difficult questions in the field even if they have never taken a linguistics course before. After introducing such concepts as truth conditions and compositionality, the book presents a basic symbolic logic with negation, conjunction, and generalized quantifiers, to serve as the basis for translation throughout the book. It then develops a detailed compositional semantics, covering quantification (scope and binding), adverbial modification, relative clauses, event semantics, tense and aspect, as well as pragmatic phenomena, notably deictic pronouns and narrative progression. A Course in Semantics offers a large and diverse set of exercises, interspersed throughout the text; those labeled “Important practice and looking ahead” prepare students for material to come; those labeled “Thinking about ” invite students to think beyond the content of the book.

Explore the exciting research where semantics meets morphology, syntax and pragmatics. In this book, leading researchers use in-depth articles to explain a wide range of topics at these interfaces, including the semantics of intonation, inflection, compounding, argument structure, type shifting, compositionality, implicature, context dependence, deixis and presupposition. Now in paperback for the first time since its original publication, the highly cited material in this book is an ideal starting point for anyone interested in semantics where it crosses over with other dimensions of grammar.

Discover vital research on the lexical and cognitive meanings of words. In this exciting book from a team of world-class researchers, in-depth articles explain a wide range of topics, including thematic roles, sense relation, ambiguity and comparison. The authors focus on the cognitive and conceptual structure of words and their meaning extensions such as coercion, metaphors and metonymies. The book features highly cited material – available in paperback for the first time since its publication – and is an essential starting point for anyone interested in lexical semantics, especially where it meets other cognitive and conceptual research.

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

Now available in paperback for the first time since its original publication, the material in this book provides a broad, accessible guide to semantic typology, crosslinguistic semantics and diachronic semantics. Coming from a world-leading team of authors, the book also deals with the concept of meaning in psycholinguistics and neurolinguistics, and the understanding of semantics in computer science. It is packed with highly cited, expert guidance on the key topics in the field, making it a bookshelf essential for linguists, cognitive scientists, philosophers, and computer scientists working on natural language.