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.

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.

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.

In recent years, linguistics has become increasingly more willing to allow some type of representation of 'meaning' in the study of language. However, most approaches deal with sentence or utterance meaning and thereby ignore the meaning of linguistic form. Yet no description of linguistic semantics can be complete without a comprehensive account between meaning and form. This study returns to the problem of form and meaning by presenting a detailed account of certain forms in Spanish which have traditionally been called grammatical forms, or grammatical categories, and associated with grammatical meaning. It is suggested that not all linguistic forms represent the same kind of 'meaning', and that a subset of grammatical forms constitute a highly organized system that parallels phonology and syntax in its capacity to explain variation at the level of discourse. The book opens with an introductory chapter, which is followed by five chapters on the analysis of the Spanish verbal system. In Chapter 7 problems of the noun phrase (the meaning of determiners and grammatical number) are discussed. Chapter 8 offers an explanation of the meaning of the direct object a, and in Chapter 9 a crosslinguistic study of the semantics of Spanish and English is presented. A summary of findings is given in Chapter 10, along with a further consideration of the goals and procedures of semantic analysis.

Syntax puts our meaning (“semantics”) into sentences, and phonology puts the sentences into the sounds that we hear and there must, surely, be a structure in the meaning that is expressed in the syntax and phonology. Some writers use the phrase “semantic structure”, but are referring to conceptual structure; since we can express our conceptual thought in many different linguistic ways, we cannot equate conceptual and semantic structures. The research reported in this book shows semantic structure to be in part hierarchic, fitting the syntax in which it is expressed, and partly a network, fitting the nature of the mind, from which it springs. It is complex enough to provide for the emotive and imaginative dimensions of language, and for shifts of standard meanings in context, and the “rules” that control them. Showing the full structure of English semantics requires attention to many currently topical issues, and since the underlying theory is fresh, there are fresh implications for them. The most important of those issues is information structure, which is given full treatment, showing its overall structure, and its relation to semantics and the whole grammar of English.