请输入您要查询的英文单词:

 

单词 quantification of the predicate
释义

> as lemmas

quantification of the predicate
1. Logic. In traditional Logic: the ascription of universal or particular quantity (see quantity n. 9) to a proposition, or, more usually, a term (originally in quantification of the predicate). In modern Logic, Mathematics, and Linguistics: the use of a quantifier (see quantifier n. 1a) to indicate the scope of a variable, etc.The phrase quantification of the predicate is not used in G. Bentham Outline of a New System of Logic (1827), even though the concept is attributed to Bentham in several later sources.
ΘΚΠ
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > quantification
quantification1846
quantification theory1892
1846 W. Hamilton Let. 28 Dec. in Let. to A. De Morgan (1847) App. 18 Six years ago..the quantification of the predicate, and the effect of that on the doctrine of conversion..were topics discussed.
1864 F. C. Bowen Treat. Logic vii. 181 It is enough that the quantifications of the Middle Term in both Premises, added together, should exceed unity.
1918 C. I. Lewis Surv. Symbolic Logic i. 24 He [sc. Lambert] reconstructs the whole of Aristotelian logic by the quantification of the predicate.
1936 Jrnl. Symbolic Logic 1 60 The formal system..employs material implication, propositional negation, universal quantification, and operators analogous to the combinatory operators I, B, and C.
1986 E. Pivcevic Concept of Reality (BNC) 5 The doctrine that existential assertions, in effect, reduce to certain claims about relevant concepts and the doctrine of quantification both go back to Frege.
1997 Jrnl. Linguistics 33 565 Greenlandic Eskimo has both determiner and adverbial quantification, with both types of quantification displaying a variant in which a verbal suffix acts as a scope marker delineating the scope of the quantifier in question.
2005 Bull. Symbolic Logic 11 187 The quantification ‘(ƎG)’ is to be construed here not as over formulas, but rather over propositional functions (i.e., properties) of a higher order.
extracted from quantificationn.
<
as lemmas
随便看

 

英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/3 10:15:00