In this paper, we address the problem of how people understand predicative metaphors such as “The rumor flew through the office”, and argue that two-stage categorization is the process via which predicative metaphors are understood. In the two-stage categorization process, the verb of a predicative metaphor (e.g., fly) evokes an intermediate category, which in turn evokes a metaphorical categor...

We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We show that the levels of the polynomial hierarchy correspond to safe recursion with predicative minimization. The levels of the digital polynomial hierarchy correspond to safe recursion with digital predicative minimiz...

The article characterizes the problematic aspects regarding definition of status in modern Ukrainian linguistics, semantic properties invariable morphological units, correlative with qualitatively descriptive adverbs and motivated by qualitative adjectives, as well those that are frozen nominative word forms that, under certain contextual conditions, used to reproduce emotionally -willful or ph...

Predicative type theories are powerful tools for giving foundational interpretations of programming languages. Due to their explicit inductive construction, predicative type theories have multiple mathematical models that provide precise de nitions of programming language features. However, not all features have predicative interpretations, and current interpretations of objects rely on impredi...