definiensn.
/dɪˈfɪnɪɛnz/ Logic.
The defining part of a definition; the phrase that states the meaning; in Mathematical Logic, the verbal or symbolic expression to which a word or symbol being introduced by definition into a system is declared to be equivalent. (Cf. definiendum n.)
ΘΚΠ
the mind > mental capacity > philosophy > logic > logical proposition > term of a proposition > [noun] > definition
description1574
definition1645
explicit definition1853
definiens1871
a1277 Petrus Hispanus Summulae Logicales (1947) 3.03 Unumquodque definiens in sua definitione sive definito.]
1871 T. M. Lindsay tr. F. Ueberweg Syst. Logic 173 The definiens has here a wider extent than the definiendum.
1910 A. N. Whitehead & B. Russell Principia Mathematica I. i. 11 We will give the names of definiendum and definiens respectively to what is defined and to that which it is defined as meaning.
1941 O. Helmer tr. A. Tarski Introd. Logic vi. 150 The definiens is an arbitrary sentential function containing exactly the same variables as the definiendum, and containing no constants except primitive terms and terms previously defined.
This entry has not yet been fully updated (first published 1972; most recently modified version published online March 2018).
<
n.1871