Formalization plays an important role in semantics. Doing semantics and following the literature requires considerable technical sophistica tion and acquaintance with quite advanced mathematical techniques and structures. But semantics isn't mathematics. These techniques and structures are tools that help us build semantic theories. Our real aim is to understand semantic phenomena and we need the technique to make our understanding of these phenomena precise. The problems in semantics are most often too hard and slippery, to completely trust our informal understanding of them. This should not be taken as an attack on informal reasoning in semantics. On the contrary, in my view, very often the essential insight in a diagnosis of what is going on in a certain semantic phenomenon takes place at the informal level. It is very easy, however, to be misled into thinking that a certain informal insight provides a satisfying analysis of a certain problem; it will often turn out that there is a fundamental unclarity about what the informal insight actually is. Formalization helps to sharpen those insights and put them to the test.

Semantic Structures is a large-scale study of conceptual structure and its lexical and syntactic expression in English that builds on the system of Conceptual Semantics described in Ray Jackendoff's earlier books Semantics and Cognition and Consciousness and the Computational Mind. Jackendoff summarizes the relevant arguments in his two previous books, setting out the basic parameters for the formalization of meaning, and comparing his mentalistic approach with Fodor's Language of Thought hypothesis. He then takes up the Problem of Meaning, extending the range of semantic fields encompassed by the Conceptual Semantics formalism, and the Problem of Correspondence, formalizing the relation between semantic and syntactic structure. Both of these problems must be fully addressed in order to develop a general theory of language that is concerned with syntax and semantics and their points of connection. Few books on lexical semantics present such a comprehensive analysis of such a wide range of phenomena from a unified perspective. Besides discussing the conceptual structures of hundreds of words and constructions, Jackendoff extends and deepens the theory to come to grips with such crucial issues as roles and marking; arguments, modifiers, and adjuncts; binding and control; and the thematic linking hierarchy.

Now in paperback for the first time since its original publication, the material gathered here is perfect for anyone who needs a detailed and accessible introduction to the important semantic theories. Designed for a wide audience, it will be of great value to linguists, cognitive scientists, philosophers, and computer scientists working on natural language. The book covers theories of lexical semantics, cognitively oriented approaches to semantics, compositional theories of sentence semantics, and discourse semantics. This clear, elegant explanation of the key theories in semantics research is essential reading for anyone working in the area.

Read this book to get a deeper understanding of a wide range of semantics research on complex sentences and meaning in discourse. These in-depth articles from leading names in their fields cover the core concepts of sentential semantics such as tense, modality, conditionality, propositional attitudes, scope, negation, and coordination. The highly cited material, covers questions, imperatives, copular clauses, and existential sentences. It also includes essential research on sentence types, and explains central concepts in the theory of information structure and discourse structure, such as topics, cohesion and coherence, accessibility and discourse particles.

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi. Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.

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.