Author : Igor Mel'čuk
Publisher : Cambridge University Press
Page : 451 pages
File Size : 17,46 MB
Release : 2020-04-02
Category : Computers
ISBN : 1108481620
Presents, in simple and clear terms, the way in which humans express their ideas by talking.
Author : Paul R. Kroeger
Publisher : Language Science Press
Page : 502 pages
File Size : 15,6 MB
Release : 2019
Category : Context (Linguistics)
ISBN : 3961101361
This book provides an introduction to the study of meaning in human language, from a linguistic perspective. It covers a fairly broad range of topics, including lexical semantics, compositional semantics, and pragmatics. The chapters are organized into six units: (1) Foundational concepts; (2) Word meanings; (3) Implicature (including indirect speech acts); (4) Compositional semantics; (5) Modals, conditionals, and causation; (6) Tense & aspect. Most of the chapters include exercises which can be used for class discussion and/or homework assignments, and each chapter contains references for additional reading on the topics covered. As the title indicates, this book is truly an INTRODUCTION: it provides a solid foundation which will prepare students to take more advanced and specialized courses in semantics and/or pragmatics. It is also intended as a reference for fieldworkers doing primary research on under-documented languages, to help them write grammatical descriptions that deal carefully and clearly with semantic issues. The approach adopted here is largely descriptive and non-formal (or, in some places, semi-formal), although some basic logical notation is introduced. The book is written at level which should be appropriate for advanced undergraduate or beginning graduate students. It presupposes some previous coursework in linguistics, but does not presuppose any background in formal logic or set theory.
Author : Nick Riemer
Publisher : Cambridge University Press
Page : 477 pages
File Size : 28,48 MB
Release : 2010-03-25
Category : Language Arts & Disciplines
ISBN : 0521851920
An introduction to the study of meaning in language for undergraduate students.
Author : Lloyd Allison
Publisher : Cambridge University Press
Page : 150 pages
File Size : 17,62 MB
Release : 1986
Category : Computers
ISBN : 9780521314237
Basics - Notation - Lattices - A simple language - Direct semantics - Control - Data structures and data types - A prolog semantics - Miscellaneous.
Author : Yoad Winter
Publisher : Edinburgh University Press
Page : 272 pages
File Size : 30,22 MB
Release : 2016-04-08
Category : Language Arts & Disciplines
ISBN : 0748677771
Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the mathematical principles that underlie linguistic meaning. Making use of a wide range of concrete English examples, the book presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can learn to utilise these tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning.
Author : Liyang Yu
Publisher : CRC Press
Page : 368 pages
File Size : 21,80 MB
Release : 2007-06-14
Category : Computers
ISBN : 1584889349
Even though the semantic Web is a relatively new and dynamic area of research, a whole suite of components, standards, and tools have already been developed around it. Using a concrete approach, Introduction to the Semantic Web and Semantic Web Services builds a firm foundation in the concept of the semantic Web, its principal technologies, its rea
Author : James R. Hurford
Publisher : Cambridge University Press
Page : 308 pages
File Size : 29,24 MB
Release : 1983-04-28
Category : Language Arts & Disciplines
ISBN : 9780521289498
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 : Glynn Winskel
Publisher : MIT Press
Page : 388 pages
File Size : 17,63 MB
Release : 1993-02-05
Category : Computers
ISBN : 9780262731034
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 : Richard K. Larson
Publisher : Bradford Book
Page : 639 pages
File Size : 29,19 MB
Release : 1995
Category : Language Arts & Disciplines
ISBN : 9780262621007
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.
Author : Helen Beebee
Publisher : Routledge
Page : 509 pages
File Size : 16,26 MB
Release : 2010-05-05
Category : Philosophy
ISBN : 1136975764
Essentialism--roughly, the view that natural kinds have discrete essences, generating truths that are necessary but knowable only a posteriori--is an increasingly popular view in the metaphysics of science. At the same time, philosophers of language have been subjecting Kripke’s views about the existence and scope of the necessary a posteriori to rigorous analysis and criticism. Essentialists typically appeal to Kripkean semantics to motivate their radical extension of the realm of the necessary a posteriori; but they rarely attempt to provide any semantic arguments for this extension, or engage with the critical work being done by philosophers of language. This collection brings authors on both sides together in one volume, thus helping the reader to see the connections between views in philosophy of language on the one hand and the metaphysics of science on the other. The result is a book that will have a significant impact on the debate about essentialism, encouraging essentialists to engage with debates about the semantic presuppositions that underpin their position, and, encouraging philosophers of language to engage with the metaphysical presuppositions enshrined in Kripkean semantics.
