This pioneering study combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context - assignment variables - in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of 'shifting' phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and non-local contextual dependencies with quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative philosophically informed compositional semantics compatible with the truth-conditional paradigm. At the forefront of contemporary interdisciplinary research into meaning and communication, Semantics with Assignment Variables is essential reading for researchers and students in a diverse range of fields.

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

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion is organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, and more.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers. The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures. Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.

This textbook is a thorough, up-to-date introduction to the principles and techniques that guide the design and implementation of modern programming languages. The goal of the book is to provide the basis for a critical understanding of most modern programming languages. Thus, rather than focusing on a specific language, the book identifies the most important principles shared by large classes of languages. The notion of ‘abstract machine’ is a unifying concept that helps to maintain an accurate and elementary treatment. The book introduces, analyses in depth, and compares the imperative, object-oriented, functional, logic, concurrent, constraint-based, and service-oriented programming paradigms. All material coming from the first English edition has been updated and extended, clarifying some tricky points, and discussing newer programming languages. This second edition contains new chapters dedicated to constraint, concurrent, and service-oriented programming. Topics and features: Requires familiarity with one programming language is a prerequisite Provides a chapter on history offering context for most of the constructs in use today Presents an elementary account of semantical approaches and of computability Introduces new examples in modern programming languages like Python or Scala Offers a chapter that opens a perspective on applications in artificial intelligence Conceived as a university textbook, this unique volume will also be suitable for IT specialists who want to deepen their knowledge of the mechanisms behind the languages they use. The choice of themes and the presentation style are largely influenced by the experience of teaching the content as part of a bachelor's degree in computer science.

The Routledge Handbook of Semantics provides a broad and state-of-the-art survey of this field, covering semantic research at both word and sentence level. It presents a synoptic view of the most important areas of semantic investigation, including contemporary methodologies and debates, and indicating possible future directions in the field. Written by experts from around the world, the 29 chapters cover key issues and approaches within the following areas: meaning and conceptualisation; meaning and context; lexical semantics; semantics of specific phenomena; development, change and variation. The Routledge Handbook of Semantics is essential reading for researchers and postgraduate students working in this area.

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

Philosophy of language has been at the center of philosophical research at least since the start of the 20th century. Since that 'linguistic turn' much of the most important work in philosophy has related to language. But until now there has been no regular forum for outstanding original work in this area. That is what Oxford Studies in Philosophy of Language offers. Anyone wanting to know what's happening in philosophy of language could start with these volumes.

Free indirect discourse presents us with the inner world of protagonists of a story. We seem to see the world through their eyes, and listen to their inner thoughts. The present study analyses the logic of free indirect discourse and offers a framework to represent multiple ways in which words betray the speaker's feelings and attitude. The theory covers tense, aspect, temporal indexicals, modal particles, exclamatives and other expressive elements and their dependence on shifting utterance contexts. It traces the subtle ways in which story texts can offer information about protagonists. The study of free indirect discourse has been a topic of great interest in recent years in semantics and pragmatics. In this book, Regine Eckardt proposes a new theory of this domain and applies it to a wide variety of phenomena -- discourse particles, exclamatives, and mood -- in addition to the traditional indexical pronouns and tenses. She situates this project within a larger attempt to extend the tools of semantic analysis to fiction. Most formally oriented semanticists have not paid serious attention to this domain, which has resulted in a major gap in semantic theory; this book is thus a pioneering effort and raises many intriguing points. The total result is an empirically rich and exciting work which will be a profitable read for researchers interested in semantics, pragmatics, and formal approaches to literature. Eric McCready, Aoyama Gakuin University