Pioneers an innovative framework for theorizing about meaning in natural language and the role of context in interpretation.

In this book we hope to acquaint the reader with the fundamentals of truth conditional model-theoretic semantics, and in particular with a version of this developed by Richard Montague in a series of papers published during the 1960's and early 1970's. In many ways the paper 'The Proper Treatment of Quantification in Ordinary English' (commonly abbreviated PTQ) represents the culmination of Montague's efforts to apply the techniques developed within mathematical logic to the semantics of natural languages, and indeed it is the system outlined there that people generally have in mind when they refer to "Montague Grammar". (We prefer the term "Montague Semantics" inasmuch as a grammar, as conceived of in current linguistics, would contain at least a phonological component, a morphological component, and other subsystems which are either lacking entirely or present only in a very rudi mentary state in the PTQ system. ) Montague's work has attracted increasing attention in recent years among linguists and philosophers since it offers the hope that semantics can be characterized with the same formal rigor and explicitness that transformational approaches have brought to syntax. Whether this hope can be fully realized remains to be seen, but it is clear nonetheless that Montague semantics has already established itself as a productive para digm, leading to new areas of inquiry and suggesting new ways of conceiving of theories of natural language. Unfortunately, Montague's papers are tersely written and very difficult to follow unless one has a considerable background in logical semantics.

This book provides an introduction to compositional semantics and to the syntax/semantics interface. It is rooted within the tradition of model theoretic semantics, and develops an explicit fragment of both the syntax and semantics of a rich portion of English. Professor Jacobson adopts a Direct Compositionality approach, whereby the syntax builds the expressions while the semantics simultaneously assigns each a model-theoretic interpretation. Alongside this approach, the author also presents a competing view that makes use of an intermediate level, Logical Form. She develops parallel treatments of a variety of phenomena from both points of view with detailed comparisons. The book begins with simple and fundamental concepts and gradually builds a more complex fragment, including analyses of more advanced topics such as focus, negative polarity, and a variety of topics centering on pronouns and binding more generally. Exercises are provided throughout, alongside open-ended questions for students to consider. The exercises are interspersed with the text to promote self-discovery of the fundamentals and their applications. The book provides a rigorous foundation in formal analysis and model theoretic semantics and is suitable for advanced undergraduate and graduate students in linguistics, philosophy of language, and related fields.

First published in 1994, this book is concerned with certain kinds of wh-clauses, whose interpretations are easily and, the author argues, plausibly rendered by a logicosemantic analysis on which wh-phrases translate as open sentences, that is, as expressions of the semantically interpreted representation which contain free variables. After a review of influential contemporary analyses of the semantics of questions, concentrating on issues related to the truthconditional interpretation of these constructions, the author goes on to analyse logicosemantic similarities between wh-phrases and indefinite NPs. This analysis is extended in chapter V to account for asymmetries between wh-phrases and indefinites, but is preceded by the engagement and refutation of some of the challenges to it. The appendices discuss some peripheral points relating to the central points made by the author which are in need of further study.

This volume contains 21 new and original contributions to the study of formal semantics, written by distinguished experts in response to landmark papers in the field. The chapters make the target articles more accessible by providing background, modernizing the notation, providing critical commentary, explaining the afterlife of the proposals, and offering a useful bibliography for further study. The chapters were commissioned by the series editors to mark the 100th volume in the book series Studies in Linguistics and Philosophy. The target articles are amongst the most widely read and cited papers up to the end of the 20th century, and cover most of the important subfields of formal semantics. The authors are all prominent researchers in the field, making this volume a valuable addition to the literature for researchers, students, and teachers of formal semantics. Chapter 19 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Introducing a new and ambitious position in the field, Kit Fine’s Semantic Relationism is a major contribution to the philosophy of language. A major contribution to the philosophy of language, now available in paperback Written by one of today’s most respected philosophers Argues for a fundamentally new approach to the study of representation in language and thought Proposes that there may be representational relationships between expressions or elements of thought that are not grounded in the intrinsic representational features of the expressions or elements themselves Forms part of the prestigious new Blackwell/Brown Lectures in Philosophy series, based on an ongoing series of lectures by today’s leading philosophers

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.