| 释义 |
functor|ˈfʌŋktə(r)|
[f. function n. + -or, after type factor.]
1. Logic. A function or operator.
1937A. Smeaton tr. Carnap's Logical Syntax Lang. §3. p. 14 In order to express properties or relations of position by means of numbers, we shall use functors. Ibid., Besides such descriptive functors, we make use also of logical functors. For example: ‘sum (3, 4)’ has the meaning: ‘3 plus 4’. 1947H. Reichenbach Elem. Symb. Logic §54. p. 312 Among the functors, the unique mathematical functions are of particular importance. 1951J. ᴌ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. 1956E. H. Hutten Lang. Mod. Physics vi. 232 Newton's first law..finds a ‘natural’ translation as, e.g. (x)(Rx v Ux ⊃ ∼ Fx), if the functors R, U, and F mean ‘being at rest’, ‘being in uniform motion’, and ‘being acted upon by a force’, respectively. 1963Med. ævum XXXII. 144 One should have ‘can exist of itself’; this modal functor..is vital to the course of the..exposition.
2. Linguistics. = form-word; also used more widely, to include similar affixes, etc.
1958C. F. Hockett Course in Mod. Ling. xxxi. 264 There are at least three types of grammatical forms which are to be classed as functors. 1964R. A. Hall Introd. Ling. iii. 15 These elements which indicate grammatical functions are termed ‘function-words’ or ‘functors’. 1965Listener 17 June 903/2 In themselves prepostions (which may be described as structure-words or functors) have no lexical meanings. 1967R. A. Waldron Sense & Sense Devel. ii. 45 Even individual words like and, but, or,..(which are variously known as function words, form words, operators, functors, or kenemes)..are defined grammatically rather than, or as well as, lexically.
Hence funcˈtorial a.
1951J. ᴌukasiewicz Aristotle's Syllogistic v. 132 All these may be called functorial propositions, since in all of them there occurs a propositional functor, like ‘if—then’, ‘or’, ‘and’. 1955A. N. Prior Formal Logic i. iv. 94 If quantifiers and functorial variables are introduced, we may obtain just as rich a system. |