scholarly journals Coercion in Languages in Flux

2018 ◽  
Vol 10 (2) ◽  
Author(s):  
Robin Cooper

The classical view of semantics that we inherited from Montague is that natural languages are formal languages where semantics specifies the interpretations which can be associated with expressions of the language. In this context coercion might be seen as a slight but formally specifiable disturbance in the formal semantics which shows how the canonical interpretation of an expression can be modified by its linguistic context. In recent years an alternative to the formal language view of natural language has developed which sees the interpretation of language as a more local and dynamic process where the interpretation of expressions can be modified for the purposes of the utterance at hand. This presents linguistic semantics as a dynamic, somewhat chaotic, system constrained by the need to communicate. An interpretation of an expression will work in communication if it is close enough to other interpretations your interlocutor might be familiar with and there is enough evidence in the ambient context for her to approximate the interpretation you intended. On this view of language as a system in flux, coercion is not so much a disturbance in the semantic system but rather a regularization of available interpretations leading to a more predictable system. I will present some of the reasons why I favour the view of language in flux (but nevertheless think that the techniques we have learnt from formal semantics are important to preserve). I will look at some of the original examples of coercion discussed in the Pustejovskian generative lexicon and suggest that the possibilities for interpretation are broader than might be suggested by Pustejovsky’s original work. Finally, I will suggest that coercion can play a central role in compositional semantics taking two examples: (1) individual vs. frame-level properties and (2) dynamic generalized quantifiers and property coercion.

2018 ◽  
Vol 15 (4) ◽  
pp. 463-474
Author(s):  
Melissa Fusco

Matthew Chrisman’s new book, The Meaning of ‘Ought’: Beyond Descriptivism and Expressivism in Metaethics, presents a semantic treatment of the deontic modal operator Ought designed to address the problem of subject-sensitivity: why, for example, “I  ought to dance with you” might be true, while “You ought to dance with me” is false. Such sentence-pairs challenge the view that Ought is an operator on propositions—an assumption which is common ground amongst both classical and much contemporary work. Chrisman argues that rather than propositions, the operator Ought takes as its argument a non-propositional formal object called a practition. In this review, I discuss the inspiration and formal features of this treatment. While I argue that the distinction between practitions and propositions is not adequately characterized in Chrisman’s compositional semantics, subject-sensitivity raises interesting questions about the metaethical assumptions at play in the formal semantics—including the worry that treating Ought as a propositional operator illicitly begs the question in favor of broadly consequentialist views.


Author(s):  
Messaoudi Nabil ◽  
Allaoua Chaoui ◽  
Mohamed Bettaz

One of the ways to specify dynamic behavior in UML is to model interactions between objects with sequence diagrams, and model the behavior of each object with state machines. In this context, the problem of ensuring consistency between the sequence diagrams and state machines may arise. To verify consistency, the authors propose an approach based on compositions of Büchi automata which allow us to capture the evolution of each object among the lifeline. This paper focuses on UML modeling and verification methods and bridges the gap between theoretical studies on formal semantics and practical studies to implement languages through model transformations. The transformations include basic interactions, state invariants, strict and weak sequencing, and alternative interaction fragments. Ultimately, the results of the transformations are integrated into the Spin model checker as a never claim property. The authors use the Automatic Gate Controller Railway (AGCR) as an example to illustrate their approach.


1998 ◽  
Vol 22 (3) ◽  
pp. 567-596
Author(s):  
George M. Cummins III

Definiteness, a subcategory of nominal determination, is a universal of natural languages. Languages lacking an overt article, such as Czech, mark definiteness using various discourse-anchored signals, such as word order and intonation. In sentence-initial position, bare NPs are definite. For discourse-anchored definite NPs in other sentence positions (these include post-rhematic themes as well as retrieved or reevaluated entities from remote discourse) and NPs in expressive speech, Czech uses a deictically neutral determiner ten 'this, that; the' for definite NPs. The resultant NP with determiner may correspond to articled or demonstrative-modified NPs in articled languages; the categories are fluid. In both colloquial and formal language ten is developing article-like functions.


2020 ◽  
Vol 63 (8) ◽  
pp. 34-46
Author(s):  
Petr S. Kusliy

The article discusses the reasons why modern formal semantics of natural language is an integral part of a larger philosophical research program for the study of the nature of intentionality. The purpose of this article is to show how research in the field of formal semantics of natural language became the implementation of a large philosophical research program that is focused on the nature of intentional objects, which since the time of F. Brentano have been considered an integral part of mental phenomena. Mental phenomena are opposed to physical phenomena due to their inherent intentionality (being focused on an object). In modern philosophy, it is commonly considered that the comprehension of the nature of intentionality is the key to understanding the nature of consciousness, and, consequently, the nature of man. The article shows that formal semantics represents the structure of the meaning of linguistic expressions, with the help of which human thought is formed, which is one of the main objects of intentional consciousness. In formal semantics, this representation is carried out in a rigorous, systematic, and empirically verifiable way on the basis of natural languages, that is, on those symbolic systems that real people use in real practice to shape their thoughts. The research is based on the works of G. Frege, who laid the foundation for the formal-semantic methodology. Thus, the answer is given to the question of why modern formal linguistics, which originates in the analytical philosophy of the 20th century, is a philosophically significant discipline. This response is a reaction to the objections of skeptics who believe that modern analytic philosophy cannot be considered a direction that has any serious philosophical significance.


1987 ◽  
pp. 349 ◽  
Author(s):  
William C. Rounds ◽  
Alexis Manaster-Ramer ◽  
Joyce Friedman

Sign in / Sign up

Export Citation Format

Share Document