| 释义 |
uninˈterpreted, ppl. a.
[un-1 8.]
That has not been interpreted. spec. in Logic, applied to a calculus, formula, or symbol that has no meaning assigned to the symbol(s) independently of the calculus.
1662Hibbert Body of Divinity i. 218 Amen. It is..an Hebrew word,..and..remaines uninterpreted. a1768Secker Serm. (1771) V. vii. 139 Combinations of several Words may come to have Meanings very different from what the Terms,..uninterpreted by Practice, would lead one to apprehend. 1848E. A. Leatham Charmione (1858) II. 22 Attributing that uninterpreted gladness to..the sights and sounds of a spiritual world. 1895Educat. Rev. Nov. 352 Unsorted and uninterpreted fragments. 1898A. N. Whitehead Universal Algebra i. 5 When the marks and their rules of arrangement are such as appear likely to receive an interpretation..then the art of arranging such marks may be called..an uninterpreted calculus. 1947H. Reichenbach Elem. Symbolic Logic 165 The uninterpreted formula, regarded only as an aggregate of symbols equipped with certain structural properties. 1963H. Wang Survey Math. Logic ii. 29 It is more correct to call the sentence-like expressions of Q statement schemata..because the symbols for predicate, functions, and individuals are uninterpreted. |