logical relation


Also found in: Dictionary, Thesaurus, Legal.
Related to logical relation: logical function

logical relation

A relation R satisfying

f R g <=> For all a, b, a R b => f a R g b

This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.
References in periodicals archive ?
symbol system in which logical relations are represented through the use
This, which is not identical with the grammatical term conjunction, is a specification of how what follows is systematically connected by certain elementary logical relations to what precedes in the text.
4) The principle of the logical relation between the notion of truth and the notion of 'others', i.
The basic thrust of this argument is the distinguishing between the whole, composed of component parts bound by logical relations, and the temporal articulation of some of those relations.
To the extent, then, that the explanatory power of a theory is a matter of the existence of logical relations among the propositions that comprise a theory, an agent that satisfies LO1 is precluded from learning that a theory is explanatory.
I will state next the first result, on the logical relation between two logical properties of axiomatic systems: that of satisfying MP and that of satisfying extended completeness.
2) In fact, while the equality relation is usually said to be logical (and hence the equality predicate symbol is classified as a logical particle), the question as to what, in general, is a logical relation is hardly ever raised.
He made it clear that "resistance economy" urged by the Supreme Leader does not mean to cut off relations with the world; rather it calls for maintenance of domestic capabilities and a logical relation with the world.
The US doesn't seek a logical relation with Iran, Rezayee added.
In the 1950s some prominent philosophers suggested the presence of a logical relation weaker than entailment between primarily descriptive statements and ethical conclusions.
Another possibility, which has been neglected, is the case where we erroneously believe that some logical relation among the events obtains.
The general terms that are brought into logical relation in a proposition represent abstracted universal features of the world amenable to categorical--and hence scientific--analysis.