Sentence examples for later terminology from inspiring English sources
The other — which he will designate in his later terminology as the "physico-theological" argument — moves from observations of order and harmony in the world to its conclusion that there must be a wise creator of that order.
Dedekind realized early on that several of the notions and techniques he had introduced in algebraic number theory could be transferred to, and fruitfully applied in, the study of algebraic functions (algebraic function fields, in later terminology).
One line of argument — which he will designate in his later terminology as the "cosmological argument" — moves in terms of a concept of causality to its conclusion that there must be a first necessary being.
He gave an infinite algorithm to solve this problem using a new notion of the composition (later the ' s -polynomial' in Buchberger's terminology [65, 66]) of two Lie polynomials and a new notion of completion of a set of Lie polynomials (adding nontrivial compositions; the critical pair/completion (cpc-) algorithm in the later terminology of Knuth and Bendix [138] and Buchberger [67, 68]).
Hook appreciated the pluralistic character of liberty as recognized in the later terminology of John Austin, according to which the "correlative opposites" of the term "liberty" are not only such terms as "slavery," "repression" and "coercion," but also such terms as "security," "order," "self-restraint" and "law".
Thus, using his well-known later terminology (from the Critique and the Prolegomena), Kant is here saying that, in the case of a real ground, the relationship between the concept of the consequent (e.g., an effect) and the concept of the ground (e.g., a cause) is not one of containment, and the judgment that the former follows from the latter is therefore not analytic.
(Note that Łukasiewicz indeed uses the terminology, later associated with Quine, of a variable taking values, here expressions, and ranging over objects designated by said expressions).
In the Iranian school, Abū Yazīd al-Bisṭāmī (died 874) is usually considered to have been representative of the important doctrine of annihilation of the self, fanāʾ; the strange symbolism of his sayings prefigures part of the terminology of later mystical poets.
In the terminology that later became standard, we need to define the relation between a theory DT and its extensions.
This change in terminology was later also recommended in the Neuberger review [ 24].
Optionally the user should be able to link the defined data item to an external terminology, which later can be utilized for possible data aggregation and classification purposes.
