| 单词 | quantification theory |
| 释义 | > as lemmasquantification theory quantification theory n. Logic the branch of logic concerned with the use of quantifiers or with giving formal expression to the scope of variables in general propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > quantification quantification1846 quantification theory1892 1892 Mind 1 268 Extension-theories include the Subsumption-theory and the Identity-theory,..of which the Quantification-theory is taken as a form. 1940 W. V. Quine Math. Logic p. vi Quantification theory, like the preceding part of logic, is expounded within the medium of metamathematics. 1998 Noûs 32 Suppl. 177 Here ‘x = y’ expresses the relation of strict identity as characterized in standard logic (first-order quantification theory with identity). < as lemmas |
| 随便看 |
|
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。