Author: James R. Hurford Publisher: Cambridge University Press ISBN: 9780521289498 Category : Language Arts & Disciplines Languages : en Pages : 308
Book Description
Introduces the major elements of semantics in a simple, step-by-step fashion. Sections of explanation and examples are followed by practice exercises with answers and comment provided.
Author: Brendan S. Gillon Publisher: MIT Press ISBN: 0262039206 Category : Language Arts & Disciplines Languages : en Pages : 731
Book Description
An introduction to natural language semantics that offers an overview of the empirical domain and an explanation of the mathematical concepts that underpin the discipline. This textbook offers a comprehensive introduction to the fundamentals of those approaches to natural language semantics that use the insights of logic. Many other texts on the subject focus on presenting a particular theory of natural language semantics. This text instead offers an overview of the empirical domain (drawn largely from standard descriptive grammars of English) as well as the mathematical tools that are applied to it. Readers are shown where the concepts of logic apply, where they fail to apply, and where they might apply, if suitably adjusted. The presentation of logic is completely self-contained, with concepts of logic used in the book presented in all the necessary detail. This includes propositional logic, first order predicate logic, generalized quantifier theory, and the Lambek and Lambda calculi. The chapters on logic are paired with chapters on English grammar. For example, the chapter on propositional logic is paired with a chapter on the grammar of coordination and subordination of English clauses; the chapter on predicate logic is paired with a chapter on the grammar of simple, independent English clauses; and so on. The book includes more than five hundred exercises, not only for the mathematical concepts introduced, but also for their application to the analysis of natural language. The latter exercises include some aimed at helping the reader to understand how to formulate and test hypotheses.
Author: Sebastian Loebner Publisher: Routledge ISBN: 1134647158 Category : Language Arts & Disciplines Languages : en Pages : 275
Book Description
This series provides approachable, yet authoritative, introductions to all the major topics in linguistics. Ideal for students with little or no prior knowledge of linguistics, each book carefully explains the basics, emphasising understanding of the essential notions rather than arguing for a particular theoretical position. Understanding Semantics offers a complete introduction to linguistic semantics. The book takes a step-by-step approach, starting with the basic concepts and moving through the central questions to examine the methods and results of the science of linguistic meaning. Understanding Semantics unites the treatment of a broad scale of phenomena using data from different languages with a thorough investigation of major theoretical perspectives. It leads the reader from their intuitive knowledge of meaning to a deeper understanding of the use of scientific reasoning in the study of language as a communicative tool, of the nature of linguistic meaning, and of the scope and limitations of linguistic semantics. Ideal as a first textbook in semantics for undergraduate students of linguistics, this book is also recommended for students of literature, philosophy, psychology and cognitive science.
Author: Richard K. Larson Publisher: MIT Press ISBN: 0262539950 Category : Language Arts & Disciplines Languages : en Pages : 497
Book Description
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.
Author: Dave McComb Publisher: Morgan Kaufmann ISBN: 9781558609174 Category : Business & Economics Languages : en Pages : 432
Book Description
The book illustrates how this applies to the future of application system development, especially how it informs and affects Web services and business rule-based approaches, and how semantics will play out with XML and the semantic Web. The book also contains a quick reference guide to related terms and technologies.
Author: Igor? Aleksandrovi? Mel??uk Publisher: John Benjamins Publishing ISBN: 9027205965 Category : Language Arts & Disciplines Languages : en Pages : 459
Book Description
This book presents an innovative and novel approach to linguistic semantics, beginning with the idea that language can be described as a system for the expression of linguistic Meanings as particular surface forms or Texts. Semantics is specifically that system of rules that ensures a correct transition from a Semantic Representation of the Meaning of a family of synonymous sentences to the Deep Syntactic Representation of a particular sentence. Framed in the terms of Meaning-Text linguistics, this volume discusses in detail the problems of Semantic Representation including the semantic structure of utterances, the semantics of Causation in English, and communicative, or information, structure. Based on the author's life-long dedication to the study of the semantics and syntax of natural language, this book is a paradigm-shifting contribution to the language sciences whose originality and daring will make it essential reading for linguists, anthropologists, semioticians, and computational linguists.
Author: Glynn Winskel Publisher: MIT Press ISBN: 9780262731034 Category : Computers Languages : en Pages : 388
Book Description
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.
Author: Chris Fox Publisher: John Wiley & Sons ISBN: 0470775297 Category : Language Arts & Disciplines Languages : en Pages : 210
Book Description
This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language
Proudly powered by WordPress |
Theme: Rits Blog by Crimson Themes.
Author: James R. Hurford
Author: Brendan S. Gillon
Author: Igor Mel'čuk
Author: Ronnie Cann
Author: Sebastian Loebner
Author: Richard K. Larson
Author: Dave McComb
Author: Igor? Aleksandrovi? Mel??uk
Author: Glynn Winskel
Author: Chris Fox