单词 | propositional |
释义 | propositionaladj. 1. Chiefly Philosophy and Logic. Relating to or of the nature of a proposition; consisting of or based on propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > logical proposition > [adjective] axiomatical1588 propositional1713 basic1933 1713 C. Place Heretical Char. ii. 45 The Spirit of the Heresy did not lie..in any Set of propositional Errors whatsoever. 1725 I. Watts Logick ii. ii. §1 If a proposition..has an indefinite subject, it is generally to be esteemed universal in its propositional sense. 1741 Mem. Martinus Scriblerus 45 in A. Pope Wks. II When two of these propositional Chanels empty themselves into a third, they form a Syllogism. 1847 W. Hamilton Let. to De Morgan 31 The second scheme is that which logically extends the expression of quantity to both the propositional terms. 1883 H. Drummond Nat. Law in Spiritual World (1884) xi. 360 There is no worse enemy to a living Church than a propositional theology. 1922 C. K. Ogden et al. tr. L. Wittgenstein Tractatus 45 The sign through which we express the thought I call the propositional sign. 1955 A. N. Prior Formal Logic i. iii. 50 We introduce the symbol ‘o’ as a propositional constant, to stand..for some arbitrarily chosen proposition. 1992 J. Orešnik & F. Trobevšek-Drobnak in C. Blank Lang. & Civilization I. 152 The affirmative propositional modality is ‘less marked’ than the non-affirmative propositional modality. 2. Medicine and Psychology. Of speech or language: consisting of words connected to form a meaningful statement. ΚΠ 1874 J. H. Jackson in Med. Press & Circ. 14 Jan. 21/1 But if I have to say, ‘Gold is yellow’, I have to revive the words, and I have to put them in propositional order.] 1878 J. H. Jackson in Brain 1 312 A speechless patient may retain the word ‘no’, and yet have only the interjectional or emotional, not the propositional, use of it; he utters it in various tones as signs of feeling only. 1926 H. Head Aphasia i. iii. 39 Occasionally he can not only use ‘yes’ and ‘no’ correctly, but can even repeat them. Here, then, we have propositional speech and voluntary utterance. 1935 T. Weisenburg & K. E. McBride Aphasia x. 277 When propositional speech is negligible, spoken expression may nevertheless be frequent. 1976 Listener 9 Dec. 743/1 The capacity for propositional speech—the synthesis of words into statements that, by their form, give extra meaning to those words. 2002 Brain 125 1829 We investigated the brain systems engaged during propositional speech and two forms of non-propositional speech: counting and reciting overlearned nursery rhymes. Compounds propositional attitude n. Logic an attitude (such as belief or doubt) which a person has concerning a proposition. ΘΚΠ the mind > mental capacity > philosophy > logic > logical proposition > [noun] > attitude expressed towards propositional attitude1939 1904 B. Russell in Mind 13 509 Belief is a certain attitude towards propositions, which is called knowledge when they are true, error when they are false.] 1939 Mind 48 479 When we disbelieve, then doubt, and finally believe a proposition, it must be the same proposition toward which we have these different attitudes; that is, propositions must be invariant under change of propositional attitude. 1966 W. V. Quine Ways of Paradox xv. 189 Striving and wishing, like believing, are propositional attitudes and referentially opaque. 1991 Word 42 264 Most of these arguments concern the inner language in its function of providing sentences to serve as the objects of belief and other propositional attitudes. propositional calculus n. Logic the branch of formal logic that deals with propositions (considered without regard to their internal structure) and the logical relations between them established by propositional connectives; cf. predicate calculus n. at predicate n. and adj. Compounds 2. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional calculus propositional calculus1903 PC1943 1903 B. Russell Princ. Math. ii. 12 It is not with such entities that we are concerned in the propositional calculus, but with genuine propositions. 1959 Jrnl. Symbolic Logic 24 97 Gödel proves the non~existence of a finite matrix characteristic for the intuitionist propositional calculus IC. 1991 Mind 100 63 This device disallows the above proof, and indeed it prevents R from collapsing into the classical propositional calculus, but it does so at the price of being highly counterintuitive. propositional connective n. Logic a connective (such as and, not, if...then) used as a logical operator on propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function > logical operation > sign or symbol operator1855 propositional connective1938 1938 Jrnl. Symbolic Logic 3 84 A deductive system is presented which involves..the propositional connectives, and prediction and quantification with respect to individuals. 1952 S. C. Kleene Introd. Metamath. iv. 73 In particular, ⊃, &, ∨, ¬ are propositional connectives, and operators of the forms ∀x and ∃x are quantifiers... These six are logical operators. 1997 Jrnl. Symbolic Logic 62 929 If ϕ is obtained from σ1, σ2 by the operation of a binary propositional connective, [etc.]. propositional function n. Logic a statement with one or more terms unspecified which becomes a proposition when the terms are specified (as X is mortal → Socrates is mortal); cf. predicate n. 3b. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function predicate1903 propositional function1903 statement form1931 functor1937 1903 B. Russell Princ. Math. ii. 13 Where there are one or more real variables, and for all values of the variables the expression involved is a proposition, I shall call the expression a propositional function. 1943 Trans. Amer. Math. Soc. 53 42 Let us consider number-theoretic predicates, that is, propositional functions of natural numbers. 2000 Data & Knowledge Engin. 35 259 Traditional query languages are based on Boolean logic, where each predicate is treated as a propositional function, which returns one of the two values: true or false. Derivatives ˌpropoˈsitionally adv. in the form or capacity of a proposition; in terms of propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > logical proposition > [adverb] axiomatically1588 propositionally1728 1728 C. Place That Space is Necessary Being 21 Pretending to prove the Quoddity of the Divine Being, which is naturally incapable of being proved argumentatively, or propositionally. 1844 W. N. McLeod in Syst. Public Instr. & Primary School Law of Michigan (1852) (Michigan Dept. of Public Instruction) i. 122 The acceptance or rejection of this donation, under the restriction specified in the grant, was submitted propositionally to the Legislature of Michigan. 1890 Lancet 12 Apr. 787/1 (note) If he only uttered them [sc. propositions] at random, or if they were only signs of emotion, they would not serve propositionally. 1933 Jrnl. Philos. 30 67 Propositionally, it means absolutely nothing, whatever else it may mean as printer's ink on paper. 2003 Jrnl. Relig. 83 688 He argues that doctrinal concepts and ethical principles can only be expressed propositionally. ΚΠ 1864 Masson in Macmillan's Mag. July 216 A quality..which coining a monstrous word for my purpose, I will venture to call propositionalness. It is in the main identical with that passion for intellectual generalization which we often speak of as particularly visible in the French mind. This entry has been updated (OED Third Edition, June 2007; most recently modified version published online March 2022). < adj.1713 |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。