No detailed description available for "A theory of structural semantics".

This concise history of structural linguistics charts its development from the 1870s to the present day. It explains what structuralism was and why its ideas are still central today. For structuralists a language is a self-contained and tightly organised system whose history is of changes from one state of the system to another. This idea has its origin in the nineteenth century and was developed in the twentieth by Saussure and his followers, including the school of Bloomfield in the United States. Through the work of Chomsky, especially, it is still very influential. Matthews examines the beginnings of structuralism and analyses the vital role played in it by the study of sound systems and the problems of how systems change. He discusses theories of the overall structure of a language, the 'Chomskyan revolution' in the 1950s, and the structuralist theories of meaning.

No detailed description available for "Syntactic Structures".

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.

Theories of Lexical Semantics offers a comprehensive overview of the major traditions of word meaning research in linguistics. In spite of the growing importance of the lexicon in linguistic theory, no overview of the main theoretical trends in lexical semantics is currently available. This book fills that gap by charting the evolution of the discipline from the mid nineteenth century to the present day. It presents the main ideas, the landmark publications, and thedominant figures of five traditions: historical-philological semantics, structuralist semantics, generativist semantics, neostructuralist semantics, and cognitive semantics. The theoretical and methodological relationship between the approaches is a major point of attention throughout the text: going well beyond amere chronological enumeration, the book does not only describe the theoretical currents of lexical semantics, but also the undercurrents that have shaped its evolution.

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.

Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained introduction to structural operational semantics, featuring semantic definitions using big-step and small-step semantics of many standard programming language constructs, including control structures, structured declarations and objects, parameter mechanisms and procedural abstraction, concurrency, nondeterminism and the features of functional programming languages. Along the way, the text introduces and applies the relevant proof techniques, including forms of induction and notions of semantic equivalence (including bisimilarity). Thoroughly class-tested, this book has evolved from lecture notes used by the author over a 10-year period at Aalborg University to teach undergraduate and graduate students. The result is a thorough introduction that makes the subject clear to students and computing professionals without sacrificing its rigour. No experience with any specific programming language is required.