Search results for "denotation"
showing 10 items of 11 documents
A Formalism Supplementing Cognitive Semantics Based on Mereology
2007
ABSTRACT This paper is motivated by and aims to supplement Cognitive Semantics. Details of this latter prominent approach within contemporary linguistic research will not be discussed here. Rather, we focus on a formalization of the concept of Gestalt and provide a formal semantics that can be used to interpret a certain formal language (LM 0) with respect to a universe of structured wholes (Gestalts). Since a great deal of the analyses of linguistic organization that has been provided by Cognitive Semantics since the mid-1970s is based on the concept of Gestalt, the semantics unfolded in the following may be viewed as an attempt to provide a starting point for supplementing the yet informa…
Object-Oriented Operational Semantics
2016
Operational semantics is one way of providing meaning to an executable language. On a high level of abstraction, operational semantics means to define an interpreter or an abstract machine for the language. In this article, we review the concept of operational semantics in the scope of meta-model-based language definitions and identify challenges and issues. We provide a clean conceptual approach using an object-oriented runtime environment and state change operations, which relies on an underlying abstract virtual machine. We present the approach using a sample language.
Using Semantics in the Environment for Multiagent-Based Simulation
2014
In this chapter, we carry out an overview and analysis of the usage of semantics to enhance environments in the domain of multiagent-based simulations. Firstly, we take a look at what a multiagent system (MAS) is, and after that we look at the environment for these systems, and why semantics are required in it. Various propositions to put semantics in the environment for MAS are then reviewed, as well as the strengths and weaknesses for these approaches. These propositions are grouped together under two categories, regarding whether the proposed approach is based on only the environment or on both the agents and the environment. The paper is then concluded with findings that have emerged by…
Graph-grammar semantics of a higher-order programming language for distributed systems
1994
We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which affect several processes from local changes such as variable bindings. We also sketch how to derive an implementation from this specification.
The Dawning of Computational Psychoanalysis
2014
In this paper, the author wishes first to highlight, within the general cultural context, some possible elementary computational psychoanalysis formalizations concerning Matte Blanco's bi-logic components through certain very elementary mathematical tools and notions drawn from theoretical physics and algebra. Afterwards, on the basis of recent work of Giampaolo Sasso (1999; 2005; 2011), relying on the crucial crossroad between neurosciences and psychoanalysis, it will be possible to identify some hints for further formalization attempts turned toward a computational psychoanalysis outlook. Lastly, possible interesting relationships with cognitive informatics are also outlined.
Common fixed points of mappings satisfying implicit relations in partial metric spaces
2013
Matthews, [S. G. Matthews, Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications, in: Ann. New York Acad. Sci., vol. 728, 1994, pp. 183-197], introduced and studied the concept of partial metric space, as a part of the study of denotational semantics of dataflow networks. He also obtained a Banach type fixed point theorem on complete partial metric spaces. Very recently Berinde and Vetro, [V. Berinde, F. Vetro, Common fixed points of mappings satisfying implicit contractive conditions, Fixed Point Theory and Applications 2012, 2012:105], discussed, in the setting of metric and ordered metric spaces, coincidence point and common fixed point theorems fo…
Drawing
2020
A drawing is the result of the production of marks on a surface with suitable means to represent a scene, concrete or abstract objects for technological, scientific, artistic, communicative aims. Some theories claimed that drawing is founded on symbolic systems that are culture-dependent. Evidence has been found that the ability of recognizing what drawings represent is widespread across ages, cultures and species. Drawing may be founded on shared cognitive capacities. These capacities can be abstractly described as the graphic and the denotation system.
On Language Adequacy
2015
Abstract The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most general one being: the compatibility of the language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory of syntax T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and ex- tensio…
Colour Terms in Five Linguistic Images of the World: The Semantic Perspective
2022
Social and cultural factors shape the linguistic perception of colour. At the same time, colour terms co-create the linguistic image of the world, which allows us to interpret reality and profile our statements and beliefs. This paper presents six basic colour terms: white, black, red, green, yellow, and blue (both as adjectives and as nouns) in the five different linguistic images of the world of the following languages: English, French, Italian, Polish, and Japanese. The methodological framework is based on cultural linguistics theory and the basis of semantics. The study explores denotative and connotative meanings of colour terms with their collocations. The data gathered from monolingu…