单词 | definiendum |
释义 | definiendumn. Logic. That which is, or is to be, defined; the phrase of which a definition states or purports to state the meaning; in Mathematical Logic, the word or symbol (or the formula devised to contain the symbol) that is being introduced by definition into a system. (Cf. definiens n.) ΘΚΠ the mind > mental capacity > philosophy > logic > logical proposition > term of a proposition > [noun] > definition > that which is defined definitum1629 definiendum1871 1871 T. M. Lindsay tr. F. Ueberweg Syst. Logic 173 The definiens has here a wider extent than the definiendum. a1897 W. Wallace Lect. Nat. Theol. (1898) 81 If definition that may be called which practically negatives the existence of 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. 1964 N. Rescher Introd. Logic iii. 30 The expression whose meaning the definition attempts to explain..is called the definiendum. This entry has not yet been fully updated (first published 1972; most recently modified version published online March 2018). < n.1871 |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。