Overview
- Offers original interdisciplinary work on type theoretical semantics at the junction of linguistics, logic and computer science
- Covers both theoretical and implementational apsects
- Introduces cutting edge alternatives in formal semantics research
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Linguistics and Philosophy (SLAP, volume 98)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Types and Applications
-
Implementational Aspects
Keywords
About this book
Reviews
“The papers of this collection illustrate how grammar-as-logic paradigms can be extended to match the rich expressivity of natural language, making use of Martin-Lӧf’s Type Theory, with its dramatically liberal concept of dependent typing. The authors vividly demonstrate the excitement of this research frontier, taking different sides in controversies such as: whether the underlying form of explanation should be semantic (model-theoretic) or syntactic (proof-theoretic); how to model the shifting nature of lexical content within a formal grammar; in what way such explanations should reflect the dynamics of language in use; with due care taken to provide the background needed for the general reader to get a sense of why these disputes remain of foundational importance. This volume is thus a must both for anyone interested in following current disputes in formal/computational linguistics, and for advanced linguistics students.” (Ruth Kempson, Emeritus Professor of Linguistics, King’s College London, UK)
Editors and Affiliations
Bibliographic Information
Book Title: Modern Perspectives in Type-Theoretical Semantics
Editors: Stergios Chatzikyriakidis, Zhaohui Luo
Series Title: Studies in Linguistics and Philosophy
DOI: https://doi.org/10.1007/978-3-319-50422-3
Publisher: Springer Cham
eBook Packages: Social Sciences, Social Sciences (R0)
Copyright Information: Springer International Publishing AG 2017
Hardcover ISBN: 978-3-319-50420-9Published: 13 February 2017
Softcover ISBN: 978-3-319-84397-1Published: 13 July 2018
eBook ISBN: 978-3-319-50422-3Published: 07 February 2017
Series ISSN: 0924-4662
Series E-ISSN: 2215-034X
Edition Number: 1
Number of Pages: VIII, 296
Number of Illustrations: 49 b/w illustrations
Topics: Semantics, Computational Linguistics, Logic, Computer Appl. in Arts and Humanities