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.

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for linguistic semantics and opens up a new avenue for developing formal semantics that is both model-theoretic and proof-theoretic, which was not available before the development of MTTsemantics. This book provides a reader-friendly and precise description of MTTs and offers a comprehensive introduction to MTT-semantics. It develops several case studies, such as adjectival modification and copredication, to exemplify the attractiveness of using MTTs for the study of linguistic meaning. It also examines existing proof assistant technology based on MTT-semantics for the verification of semantic constructions and reasoning in natural language. Several advanced topics are also briefly studied, including dependent event types, an application of dependent typing to event semantics.

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book.

It is widely believed by historians of linguistics that the 19th-century was largely devoted to historical and comparative studies, with the main emphasis on the discovery of soundlaws. Syntax is typically portrayed as a mere sideline of these studies, while semantics is seldom even mentioned. If it comes into view at all, it is usually assumed to have been confined to diachronic lexical semantics and the construction of some (mostly ill-conceived) typologies of semantic change. This book aims to destroy some of these prejudices and to show that in Europe semantics was an important, although controversial, area at that time. Synchronic mechanisms of semantic change were discovered and increasing attention was paid to the context of the sentence, to the speech situation and the users of the language. From being a semantics of transformations', a child of the biological-geological paradigm of historical linguistics with its close links to etymology and lexicography, the field matured into a semantics of comprehension and communication, set within a general linguistics and closely related to the emerging fields of psychology and sociology.

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.

An introductory linguistics textbook that takes a novel approach: studying linguistic semantics as an exercise in scientific theory construction. This introductory linguistics text takes a novel approach, one that offers educational value to both linguistics majors and nonmajors. Aiming to help students not only grasp the fundamentals of the subject but also engage with broad intellectual issues and develop general intellectual skills, Semantics as Science studies linguistic semantics as an exercise in scientific theory construction. Semantics offers an excellent medium through which to acquaint students with the notion of a formal, axiomatic system—that is, a system that derives results from a precisely articulated set of assumptions according to a precisely articulated set of rules. The book develops semantic theory through the device of axiomatic T-theories, first proposed by Alfred Tarski more than eighty years ago, introducing technical elaboration only when required. It adopts Japanese as its core object of study, allowing students to explore and investigate the real empirical issues arising in the context of non-English structures, a non-English lexicon and non-English meanings. The book is structured as a laboratory science text that poses specific empirical questions, with 25 short units, each of which can be covered in one class session. The layout is engagingly visual, designed to help students understand and retain the material, with lively illustrations, examples, and quotations from famous scholars.

A novel cognitive theory of semantics that proposes that the meanings of words can be described in terms of geometric structures.

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for linguistic semantics and opens up a new avenue for developing formal semantics that is both model-theoretic and proof-theoretic, which was not available before the development of MTTsemantics. This book provides a reader-friendly and precise description of MTTs and offers a comprehensive introduction to MTT-semantics. It develops several case studies, such as adjectival modification and copredication, to exemplify the attractiveness of using MTTs for the study of linguistic meaning. It also examines existing proof assistant technology based on MTT-semantics for the verification of semantic constructions and reasoning in natural language. Several advanced topics are also briefly studied, including dependent event types, an application of dependent typing to event semantics.