Purpose: Identification of the term efficiency on basis literature subject and description author's concept leadership efficiency. Design/Methodology/Approach: Despite constant interest in issues efficiency, does not provide a clear answer to emerging doubts regarding essence possibility its maximization. Efficiency is an ambiguous variously interpreted concept. The article reviews conceptual f...

Abstract Copredication is the phenomenon whereby two or more predicates seem to require that their argument denotes different things. The denotation of words copredicate has been broadly discussed. In this paper, I investigate metaphysics behind question. Thus, mereological theories dot objects claim these nouns denote complex entities; Asher (Lexical meaning in context, Cambridge University Pr...

1. All natural numbers are in the domain. 2. The only other elements of the domain are sets of natural numbers. 3. The denotations of 0, 1, 2, ... are 0, 1, 2, ... respectively; the denotation of N is the set of all natural numbers, and the denotation of S is the set of all sets of natural numbers in the domain; the denotation of Î is the relation of membership between numbers and sets of numbe...

Fregeans face the difficulty finding a notation for distinguishing statements about the sense or meaning of an expression as opposed to its reference or denotation. Famously, in “On Denoting”, Russell rejected methods that begin with an expression designating its denotation, and then alter it with a “the meaning of ” operator to designate the meaning. Such methods attempt an impossible “backwar...

This article examines the Mu‘tazilite Qādī ‘Abd al-Jabbār’s views on the denotation of miracles according to his own particular methodology. Despite his acceptance of the celebrated method of the theologians in the denotation of miracles with respect to the authenticity of prophets, i.e., resorting to divine wisdom, Qādī ‘Abd al-Jabbār instead proposed the issue within the structure of conven...

A mathematical denotation is proposed for the notion of complex software systems whose behavior is specified by rigorous formalisms. Complex systems are described in a recursive way as an interconnection of subsystems by means of architectural connectors. In order to consider the largest family of specification formalisms and architectural connectors, this denotation is essentially formalism, s...

Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to declaratively and unambiguously denote the operations offered by a web service. Two services may have the same input and output types and have completely different semantics of their operation. In this paper we present an...

The paper introduces a semantics for definite logic programs expressed in term of SLD-derivations and studies various properties of SLD-derivations by using the above semantics. The semantics of a program is a goal-independent denotation, which can equivalently be specified by a denotational semantics and a transition system. The denotation is proved to be correct, minimal, AND-compositional an...