| 单词 | predicate functor |
| 释义 | > as lemmaspredicate functor 1. Logic. Originally: a symbol used to express a given relationship between numerical values. In later use more generally: a symbol which can be applied to a predicate to yield another predicate; more fully predicate functor. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function predicate1903 propositional function1903 statement form1931 functor1937 1937 A. Smeaton tr. R. Carnap Logical Syntax Lang. §3. p. 14 In order to express properties or relations of position by means of numbers, we shall use functors [Ger. Funktoren]. 1951 J. Łukasiewicz Aristotle's Syllogistic iv. 78 The principle of my notation is to write the functors before the arguments. In this way I can avoid brackets. 1971 W. V. Quine in J. E. Fenstad Proc. 2nd Scandinavian Logic Symposium (Stud. Logic & Foundations Math. vol. 63) 311 There are six functors on predicates, and one constant two-place predicate. 1981 Jrnl. Symbolic Logic 46 649 Quantification theory..can be formulated in terms purely of predicate letters and a few predicate functors. 2009 Philos. Q. 59 269 I use the functors defined in Quine's original paper. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。