单词 | logical |
释义 | logicaladj.n. 1. a. Of or pertaining to logic; also, of the nature of formal argument. logical syntax: see syntax n. 3. ΘΚΠ the mind > mental capacity > philosophy > logic > [adjective] logical?a1513 logic1570 logic1581 the mind > mental capacity > philosophy > logic > logical syllogism > logical argument > [adjective] logical?a1513 legitime1532 logic1570 legitimate1774 logic1869 a1513 W. Dunbar Poems (1998) I. 266 The curious probatioun logicall. 1588 A. Fraunce Lawiers Logike Ded. sig. ¶ Since first I began to be a medler with these Logicall meditations. 1626 F. Bacon Sylua Syluarum §98 But they are put off by the Names of Vertues, and Natures, and Actions, and Passions, and such other Logicall Words. 1646 J. Hall Horæ Vacivæ 39 A Sermon, in which there would be Ethicall Truth as well as Logicall. 1651 R. Baxter Plain Script. Proof Infants Church-membership & Baptism 212 I beg'd..that we might keep close to the strictest Logicall Disputing. 1707 J. Floyer Physician's Pulse-watch 13 Galen then blam'd the School of Moses and Christ for want of Logical Demonstrations in their Discourses of Laws. 1844 R. Whately Elem. Logic (ed. 8) iii. Introd. 156 Many Logical writers..have undertaken to give rules ‘for attaining clear ideas’. 1847 J. D. Morell Hist. View Speculative Philos. (ed. 2) I. i. 95 To Logic, Hobbes devoted a considerable share of attention. The peculiarity of his logical system lies in the theory, that reasoning is merely a numerical calculation. 1855 G. Brimley Ess. (1858) i. 39 Our common speech, abounding in logical generalizations and names of classes. 1905 B. Russell in Mind 14 490 The distinction of primary and secondary occurrences also enables us to deal with..the logical status of denoting phrases that denote nothing. 1922 E. P. Adams tr. A. Einstein Meaning of Relativity i. 1 The object of all science, whether natural science or psychology, is to co-ordinate our experiences and to bring them into a logical system. 1939 Mind 48 304 To say that a term is of such and such a type or category is to say something about its ‘logical behaviour’, namely, about the entailments and compatibilities of the propositions into which it enters. 1966 W. V. Quine Ways of Paradox viii. 67 This condition is met by the usual logical languages, and presumably it can be met likewise by languages adequate to science in general. b. Computing and Electronics. Of or pertaining to the logic (logic n. 4) of computers and similar equipment; designed to carry out processes on electrical or other signals analogous to the processes of reasoning, deduction, etc., employed in (formal) logic; logical element = logic n.; logical operation: see Compounds; logical shift, a displacement of the digits of a sequence by a specified number of positions in a way that is not equivalent to multiplication by an integral power of the base; esp. a cyclic shift, in which digits taken from one end reappear, in the same order, at the other end.In some of the uses below logical can equally well be regarded as having the sense of 1. ΘΚΠ society > computing and information technology > [adjective] > logic logical1946 fuzzy1964 society > computing and information technology > [noun] > logic > operation > logic element logical element1946 threshold device1947 threshold element1947 the world > relative properties > number > arithmetic or algebraic operations > transformation > [noun] > correspondence > preserving relations or elements > changing order permutation1645 transposition1664 alternation1685 transmutationa1690 variation1710 commutation1852 substitution1854 logical shift1946 1946 Burks et al. (title) Preliminary discussion of the logical design of an electronic computing instrument. (Rep. submitted to U.S. Army Ordnance Dept., PB 96703.) 1946 H. H. Goldstine & J. Von Neumann Princ. Large Scale Computing Machines in J. von Neumann Coll. Works (1963) V. 23 The Memory Organ... In performing an operation (arithmetical or logical) it is usually necessary to store the quantities entering into it. 1950 C. B. Tompkins & J. H. Wakelin High-speed Computing Devices (Engin. Res. Associates) iv. 37 An electronic gate is a circuit with a single output and two (or more) inputs so designed that an output signal is produced when, and only when, input signals are received on both (or on a particular set of) input leads. Such circuits are variously known as gates, coincidence circuits, Rossi circuits, or logical and circuits. 1956 IRE Trans. Electronic Computers 5 132/2 One of the important properties of a digital computer is that it may be assembled simply and easily from a few well-chosen functional circuits. Each of these circuits represents a logical element that is useful to the system or logic designer in planning a computer. 1958 C. G. Gotlieb & J. N. P. Hume High-speed Data Processing iii. 34 A concise and informative way of describing a computer is to draw its logical diagram which shows the paths and effects of the various signals through it. Logical diagrams are built up largely of gates. 1958 C. G. Gotlieb & J. N. P. Hume High-speed Data Processing v. 89 In a logical or cyclic shift the digits lost off one end of the number appear at the other end. 1962 Newnes Conc. Encycl. Nucl. Energy 671/2 Such a system is sometimes referred to as a logical switching system because the output responses are related by fixed rules to the inputs from the measurement channels. 1964 F. L. Westwater Electronic Computers iii. 49 The practical engineer must have the last word. Not infrequently, a design engineer will ask the logical designer to make alterations for various reasons. 1970 O. Dopping Computers & Data Processing vii. 117 In the logical shift, all bits take part and zeroes are shifted in at one end. This kind of shift is suitable for handling non-arithmetic information. 1971 J. H. Smith Digital Logic vii. 133 The reader using logical gating should analyse his specifications to eliminate the trivial and reduce the circuit as far as possible. 2. That is in accordance with the principles of logic; conformable to the laws of correct reasoning. ΘΚΠ the mind > mental capacity > understanding > reason, faculty of reasoning > process of reasoning, ratiocination > argument, source of conviction > [adjective] logic1581 logical1588 consequential1659 consecutive1755 connected1816 consequent1849 sequential1853 1588 A. Fraunce Lawiers Logike f. 120 I haue, for examples sake, put downe a Logicall Analysis of the second Aegloge in Virgill. 1689 M. Prior Epist. to F. Shephard 39 Then he, by sequence logical, Writes best, who never thinks at all. 1814 D. Stewart Elem. Philos. Human Mind II. i. §1. 47 A process of logical reasoning has been often likened to a chain supporting a weight. 1818 S. T. Coleridge Gen. Introd. or Treat. on Method 42 in Encycl. Metrop. I These cannot be introduced into a scientific treatise, without destroying the symmetry of its parts by a suspension of the logical order. 1828 J. S. Mill in Westm. Rev. 9 144 Those who maintain, that to perform the logical analysis of an argument, in the manner pointed out by the syllogism, is not the best means of discovering whether it contain a flaw. 1900 R. J. Drummond Apost. Teaching i. 25 He wants a logical explanation of the Christian faith. 1958 G. J. Warnock Eng. Philos. since 1900 ix. 120 The narrowly logical, context-neglecting manner adopted by the practitioners of ‘logical analysis’. 3. That follows as a reasonable inference or natural consequence; that is in accordance with the ‘logic’ of events, of human character, etc. ΘΚΠ the world > existence and causation > causation > effect, result, or consequence > [adjective] > logical or natural (of consequence) unenforced1607 logical1860 organic1923 the mind > mental capacity > understanding > reason, faculty of reasoning > process of reasoning, ratiocination > process of inferring, inference > [adjective] > following as inference fluent1619 logical1860 1860 J. L. Motley Hist. Netherlands (1868) I. i. 11 Having the sovereignty to dispose of, it seemed logical that the Estates might keep it, if so inclined. 1874 W. Stubbs Constit. Hist. I. i. 3 In France accordingly feudal government runs its logical career. 1883 P. L. Lavroff tr. ‘Stepniak’ Underground Russia 121 It may be called the sign of a lofty mind to which heroism is natural and logical. 4. Of persons: Capable of reasoning correctly. Also in combination. ΘΚΠ the mind > mental capacity > understanding > reason, faculty of reasoning > process of reasoning, ratiocination > [adjective] > reasoning well logical1664 coherent1725 1664 S. Pepys Diary 18 Nov. (1971) V. 323 I find he is a very Logicall man and a good speaker. 1712 J. Addison Spectator No. 291. ¶3 Nor is it sufficient, that a Man who sets up for a Judge in Criticism, should have perused the Authors above-mentioned, unless he has also a clear and Logical Head. 1805 J. Leyden Let. 24 Oct. in W. Scott Misc. Prose Wks. (1870) IV. 179 You logical lads of Europe will be very little disposed to admit the legitimacy of the conclusion. 5. [nonce-uses, after Greek λογικός.] Characterized by reason; rational, reasonable. ΘΚΠ the mind > mental capacity > understanding > reason, faculty of reasoning > [adjective] wittyc1300 reasonablec1350 skillwise1357 skilfulc1380 rationala1398 rationablec1480 reasonedc1487 logicala1652 a1652 J. Smith Select Disc. (1660) i. iii. 20 We may..be too apt to rest in a meer Logical life (it's Simplicius his expression) without any true participation of the Divine life. a1774 A. Tucker Light of Nature Pursued (1831) IV. xxii. 220 The logical worship is rendered reasonable service in Rom. xii. 1. ΘΚΠ society > education > learning > study > subject or object of study > [noun] > a department of study > arts > trivium > subjects of artc1300 logic1362 logical1551 language arts1896 1551 R. Robinson tr. T. More Vtopia ii. sig. Liiiv Those rules of restryctyons, amplyfycatyons and supposytyons, very wittelye inuented in the small Logycalles, whyche heare oure chyldren in euerye place do learne. 1569 J. Sanford tr. H. C. Agrippa Of Vanitie Artes & Sci. 22 b Other intollerable, and vaine wordes which are writen in the little Logicals. 1691 A. Wood Athenæ Oxonienses I. 10 John Colet..after he had spent seven years in Logicals and Philosophicals, was licensed to proceed in Arts. 1716 M. Davies Athenæ Britannicæ II. 328 He was educated in Grammaticals in Wikeham-School..in Logicals and Philosophicals in New College Oxon. Compounds Special collocations (see also sense 1b). logical addition n. the formation of a logical sum. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > set theory or extension > conjunction or disjunction of sets logical addition1868 logical multiplication1868 logical product1868 logical sum1868 sum1870 1868 C. S. Peirce in Proc. Amer. Acad. Arts & Sci. 1865–8 7 250 Let a + b denote all the individuals contained under a and b together. The operation here performed will differ from arithmetical addition in two respects: 1st, that it has reference to identity, not to equality; and 2d, that what is common to a and b is not taken into account twice over... The process denoted by +..I shall call the process of logical addition. 1903 B. Russell Princ. Math. ii. 18 From this point we can prove the laws of contradiction and excluded middle and double negation, and establish all the formal properties of logical multiplication and addition—the associative, commutative and distributive laws. 1970 O. Dopping Computers & Data Processing i. 23 In Boolean algebra..instead of the usual mathematical operations, there are certain logical operations; the most common ones of these are logical addition, logical multiplication, and negation. logical atom n. Philosophy (in the work of some philosophers) one of the essential and indivisible elements into which a statement can be analysed; a propositional element which cannot be analysed into simpler elements. ΘΚΠ the mind > mental capacity > philosophy > philosophy of language > language theories of individual philosophers > [noun] > logical atomism (in Russell and Wittgenstein) > elements of logical atom1873 1873 C. S. Peirce in Mem. Amer. Acad. Arts & Sci. New Ser. 9 ii. 343 The logical atom, or term not capable of logical division, must be one of which every predicate may be universally affirmed or denied... A logical atom, then, like a point in space, would involve for its precise determination an endless process. 1918 B. Russell in Monist 28 497 The reason that I call my doctrine logical atomism is because the atoms that I wish to arrive at as the..last residue in analysis are logical atoms and not physical atoms. 1958 G. J. Warnock Eng. Philos. since 1900 v. 54 Russell's world of indefinitely numerous, independent logical atoms is the metaphysical opposite of Bradley's Absolute. 1996 L. Holzman & F. Newman Unscientific Psychol. (ed. 2) iii. 43 The logical positivists..interpreted Wittgenstein's Tractatus as a directive to transform philosophy (now without the metaphysics, but not without the particular, which had become a logical atom!) into a servant of science. logical atomism n. Philosophy the theory that all propositions can be analysed into simple independent elements of meaning corresponding to elements making up facts about the world. ΘΚΠ the mind > mental capacity > philosophy > philosophy of language > language theories of individual philosophers > [noun] > logical atomism (in Russell and Wittgenstein) atomism1877 logical atomism1914 1914 B. Russell Sci. Method in Philos. 16 The philosophy which I wish to advocate may be called logical atomism or absolute pluralism, because while maintaining that there are many things, it denies that there is a whole composed of those things. 1918 B. Russell in Monist 28 497 The reason that I call my doctrine logical atomism is because the atoms that I wish to arrive at as the..last residue in analysis are logical atoms and not physical atoms. 1973 E. Gellner in Horton & Finnegan Modes of Thought 179 The..formal fact of the existence and nature of the mosaic's framework itself. This vision is shared by classical empiricism and by doctrines such as ‘logical atomism’. 1997 Noûs 31 (Philos. Perspectives Suppl.) 351 Russell's logical atomism militated in favor of the reification of precision. This became manifest in Ludwig Wittgenstein's Tractatus-Logico-Philosophus. logical atomist n. Philosophy a proponent of logical atomism. ΚΠ 1919 C. A. Richardson Spiritual Pluralism & Recent Philos. p. vii I refer to that school which is represented in America by the neo-realists, and in this country by logical atomists of the type of Mr Bertrand Russell. 1941 Mind 50 166 They may themselves choose to be called Logical Atomists or Logical Positivists, or may repudiate all such titles. 2000 A. J. Cortens Global Anti-realism ii. 39 A rather different account (somewhat more congenial to phenomenalism) was offered by the logical atomists: the perspicuous representation ‘shows’ or ‘pictures’ the form or structure of the fact it conveys, while the unperspicuous representation obscures its form or structure. logical constant n. see quots. 1903 for logical addition n., 1914. ΘΚΠ the mind > language > linguistics > semantics > context > [noun] > word which requires context to have meaning logical constant1903 1903 B. Russell Princ. Math. i. 3 Pure Mathematics is the class of all propositions of the form ‘p implies q’, where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants. And logical constants are all notions definable in terms of the following: Implication, the relation of a term to a class of which it is a member, the notion of such that, the notion of relation, and such further notions as may be involved in the general notion of propositions of the above form. 1914 B. Russell Our Knowl. External World vii. 208 Such words as or, not, if, there is, identity, greater, plus, nothing, everything, function, and so on, are not names of definite objects, like ‘John’..but are words which require a context in order to have meaning... ‘Logical constants’, in short, are not entities. 1922 C. K. Ogden et al. tr. L. Wittgenstein Tractatus 69 My fundamental thought is that the ‘logical constants’ do not represent. That the logic of the facts cannot be represented. 1958 G. J. Warnock Eng. Philos. since 1900 x. 125 We thus get a distinction between so-called ‘logical constants’, the irreplaceable words on which the validity of general patterns of inference depends, and items of non-logical vocabulary. 1965 B. Mates Elem. Logic iv. 49 The logical constants occurring in ϕ are understood in the way usual among logicians (i.e., ‘∨’ as standing for ‘or’, ‘—’ for ‘not’, the universal quantifier for ‘all’, etc.). logical construction n. an entity theoretically superfluous in that any statement referring to it can be replaced by an equivalent statement making no reference to it. ΘΚΠ the mind > mental capacity > philosophy > logic > [noun] > logical construction logical fiction1843 logical construction1883 1883 F. H. Bradley Princ. Logic 236 To show a new relation of elements in a logical construction is demonstration in the sense of reasoning. 1914 B. Russell Our Knowl. External World iv. 101 The only justification possible must be one which exhibits matter as a logical construction from sense-data. 1936 A. J. Ayer Lang., Truth & Logic iii. 73 The English State..is a logical construction out of individual people. 1956 J. O. Urmson Philos. Anal. iii. 36 If ‘X’ is an incomplete symbol then Xs are logical constructions. Thus if the expression ‘the average man’ is an incomplete symbol we may say that the average man is a logical construction. logical empiricism n. the name given to philosophical theories which replaced those of logical positivism (see quots. 1936 for logical construction n., 1937.). ΚΠ 1936 A. J. Ayer Lang., Truth & Logic 10 Our own logical empiricism to be distinguished from positivism. 1937 Mind 46 345 Logical Empiricists are not attempting to be metaphysical, when they distinguish between language and reality. On the contrary, the distinction refers only to certain rules of usage for statements and modes of speech. Since we have investigated the rules of speech in empirical sciences, we are justified in calling our viewpoint ‘Logical Empiricism’. 1966 J. J. Katz Philos. Lang. iii. 16 The chief reason for this failure on the part of logical empiricism..and ordinary language philosophy..was that both were governed in their inferences..by an assumption about the nature of language. logical empiricist n. ΘΚΠ the mind > mental capacity > philosophy > empiricism > [adjective] > relating to logical empiricism logical empiricist1936 1936 Mind 45 545 J. Somerville [in] ‘The Social Ideas of the Wiener Kreis's International Congress’ reflects on the Paris Congress 1935, [and] announces that the ‘logical positivists’ desire to repudiate Comte and to be henceforth known as ‘scientific’ or ‘logical’ empiricists. 1967 Philosophy 42 293 A failure to work out in detail the consequences of logical empiricist principles for ethics. logical fiction n. = logical construction n. ΘΚΠ the mind > mental capacity > philosophy > logic > [noun] > logical construction logical fiction1843 logical construction1883 1843 J. S. Mill Syst. Logic I. iii. v. 404 This tendency shows itself very visibly in the different logical fictions which are resorted to even by philosophers... Thus, rather than say that the earth causes the fall of bodies, they ascribe it to a force exerted by the earth, or an attraction by the earth. 1918 B. Russell in Monist 28 512 I believe that series and classes are of the nature of logical fictions. 1933 L. S. Stebbing Mod. Introd. Logic (ed. 2) 502 To say that the table is a logical fiction (or construction) is not to say that the table is fictitious..it is rather to deny that, in any ordinary sense, it is an object at all. 1933 L. S. Stebbing Mod. Introd. Logic (ed. 2) 502 ‘Logical fiction’ may be taken to be an unfortunate synonym for ‘logical construction’. logical form n. the form, as distinct from the content, of a proposition, argument, etc., which can be expressed in logical terms. ΘΚΠ the mind > mental capacity > philosophy > logic > [noun] > logical order or sequence form1551 shape1551 logical form1840 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > elements of logical form1840 formal concept1922 1840 J. S. Mill in London & Westm. Rev. 33 266 A truth..to be believed in opposition to all that appears proof to the mere understanding; nay, the more to be believed, because it cannot be put into words and into the logical form of a proposition without a contradiction in terms. 1967 A. E. Blumberg in Encycl. Philos. V. 13/2 Logic confines itself to those arguments whose validity rests exclusively on the logical form of the statements composing them... There is still no fully satisfactory account of logical form. logical grammar n. the rules of word-use in a proposition upon which its logical, as opposed to its purely grammatical, sense or meaning is held to depend. ΚΠ 1922 C. K. Ogden et al. tr. L. Wittgenstein Tractatus 55 A symbolism..which obeys the rules of logical grammar—of logical syntax. 1962 L. J. Cohen Diversity of Meaning iii. 81 The most obvious fault in the doctrine of logical grammar is that it suggests the conceptual study of meanings to be concerned with something that is timeless and unchanging. logical-grammatical adj. ΚΠ 1937 Atlantic CLIX. 49/2 The logical-grammatical construction involved is so commonly mishandled in current American speech and print. logical implication n. implication which is based on the formal and not the material relationship between propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > implication logical implication1887 prehensiveness1897 formal implication1903 material implication1903 implication1906 strict implication1912 entailment1933 1887 A. Seth Hegelianism & Personality v. 172 In the first sense..development means simply logical implication. 1904 B. Russell in Mind 13 209 It would seem that..logical implication is a simple notion, into whose composition the notion of terms does not enter. 1934 M. R. Cohen & E. Nagel Introd. Logic i. 9 (heading) Logical implication does not depend on the truth of our premises. logical machine n. an apparatus designed to facilitate logical calculations; also in extended use. ΚΠ 1870 W. S. Jevons in Proc. Royal Soc. 18 167 To explain the nature of the logical machine alluded to, it may be pointed out that the third of the fundamental Laws of Thought allows us to affirm of any object one or the other of two contradictory attributes. 1883 F. H. Bradley Princ. Logic 344 We shall discuss the Indirect Method, and with it the claims of the Logical Machine. 1943 Mind 52 319 He is thus stymied at the outset, and being neither a logical machine nor an esthetic idiot he is likely to feel uncomfortable about it. logical multiplication n. the formation of a logical product. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > set theory or extension > conjunction or disjunction of sets logical addition1868 logical multiplication1868 logical product1868 logical sum1868 sum1870 1868 C. S. Peirce in Proc. Amer. Acad. Arts & Sci. 1865–8 7 251 Let a, b denote the individuals contained at once under the classes a and b... If a and b were independent events, a, b would denote the event whose probability is the product of the probabilities of each. On the strength of this analogy..the operation indicated by the comma may be called logical multiplication. 1903 B. Russell Princ. Math. ii. 18 From this point we can prove the laws of contradiction and excluded middle and double negation, and establish all the formal properties of logical multiplication and addition—the associative, commutative and distributive laws. 1970 O. Dopping Computers & Data Processing i. 23 In Boolean algebra..instead of the usual mathematical operations, there are certain logical operations; the most common ones of these are logical addition, logical multiplication, and negation. logical operation n. an operation of the kind dealt with in logic (such as conjunction or negation); any analogous (non-arithmetical) operation on numbers, esp. binary numbers, in which each digit of the result depends on only one digit in each operand. ΘΚΠ society > computing and information technology > [noun] > logic > operation logical operation1885 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function > logical operation logical operation1885 1885 C. S. Peirce in Amer. Jrnl. Math. 7 186 I prefer not to assign determinate values to f and v, nor to identify the logical operations with any special arithmetical ones. 1932 C. I. Lewis & C. H. Langford Symbolic Logic i. 7 It would have coincided with what we now know as symbolic logic. That is, it would have been an organon of reasoning in general, developed in ideographic symbols and enabling the logical operations to be performed according to precise rules. 1960 M. G. Say et al. Analogue & Digital Computers vii. 165 A zero input digit to this unit gives a one-digit output and a one-digit input gives a zero output. This is the logical operation ‘ not’. 1970Logical operation [see logical addition n.]. logical paradox n. see quot. 1967. ΘΚΠ the mind > mental capacity > philosophy > logic > logical syllogism > logical argument > [noun] > logical fallacy > paradox > types of the liar1871 logical paradox1904 Russell's paradox1904 Russell's antinomy1930 1904 W. James Ess. Radical Empiricism (1912) i. 11 ‘Representative’ theories of perception avoid the logical paradox, but on the other hand they violate the reader's sense of life, which knows no intervening mental image. 1954 I. M. Copi Symbolic Logic 332 These two kinds of paradoxes were first explicitly distinguished by F. P. Ramsey in 1926. Since then those of the first kind have been known as ‘logical paradoxes’. 1967 J. van Heijenoort in Encycl. Philos. V. 45/2 In logic the word [sc. paradox] has taken on a more precise meaning. A logical paradox consists of two contrary, or even contradictory, propositions to which we are led by apparently sound arguments. logical positivism n. the name given to the theories and doctrines of philosophers active in Vienna in the early 1930s (the Vienna Circle), which were aimed at evolving in the language of philosophy formal methods for the verification of empirical questions similar to those of the mathematical sciences, and which therefore eliminated metaphysical and other more speculative questions as being logically ill-founded. ΘΚΠ the mind > mental capacity > philosophy > empiricism > [noun] > logical positivism positivism1846 logical positivism1931 1931 A. E. Blumberg & H. Feigl in Jrnl. Philos. 28 281 To facilitate criticism and forestall even more unfortunate attempts at labelling this aspect of contemporary European philosophy, we shall employ the term ‘logical positivism’. 1934 Philos. Rev. 43 125 The logical positivism of the Vienna Circle..is based..upon this consideration of empirical meaning. 1968 M. Black Labyrinth of Lang. vi. 147 Logical Positivism has seen its best days. logical positivist n. ΚΠ 1931 Jrnl. Philos. 28 291 The principle of causality is for the logical positivist not a categorical necessity of thought. 1967 J. Passmore in Encycl. Philos. V. 55/1 The logical positivists ordinarily took for granted the substantial truth of contemporary Science. Thus, it was a matter of vital concern to them when it became apparent that the verifiability principle would rule out as meaningless all scientific laws. logical product n. the conjunction of two or more propositions, or the intersection of two or more sets (written p ∧ q, p ∩ q, p.q, pq, p and q). ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > set theory or extension > conjunction or disjunction of sets logical addition1868 logical multiplication1868 logical product1868 logical sum1868 sum1870 1868 C. S. Peirce in Proc. Amer. Acad. Arts & Sci. 1865–8 7 411 The numerical rank of a logical product depends on the identity or diversity..of parts of the factors. 1903 B. Russell Princ. Math. ii. 21 Most of the propositions of the class-calculus are easily deduced from those of the propositional calculus. The logical product or common part of two classes a and b is the class of x's such that the logical product of ‘x is an a’ and ‘x is a b’ is true. Similarly we can define the logical sum of two classes (a or b). 1941 R. Courant & H. E. Robbins What is Math.? ii. 110 By the ‘intersection’ or ‘logical product’ of A and B we mean the set consisting only of those elements which are in both A and B. 1955 A. N. Prior Formal Logic i. i. 7 We may also have a conjunction or logical product of more than two propositions, the analogy with arithmetical multiplication still holding. 1959Logical product [see logical sum n.]. logical structure n. the formal framework of logical rules to which a theory, language, proposition, etc., must conform in order to have truth-value. ΘΚΠ the mind > mental capacity > philosophy > logic > logical truth > [noun] > logical structure logical structure1871 1871 A. C. Fraser Life & Lett. G. Berkeley ii. 39 I have tried elsewhere..to explain the logical structure of the Essay on Vision. 1918 B. Russell in Monist 28 510 The first thing to do would be to discover the kinds of atoms out of which logical structures are composed. 1943 Mind 52 26 Linguistic structure, though at times it conceals or distorts, has to be taken as capable of revealing logical structure, otherwise the study of logic would be impossible. 1970 L. J. Cohen Implications of Induction i. 6 Many propositions are never hypothesised at all, even if alike in logical structure to those that are. logical subject n. the subject which is implied in a sentence or proposition, or which exists in the deep structure of a sentence. ΚΠ 1898 Mind VII. 34 (heading) On the logical subject of the proposition. 1903 B. Russell Princ. Math. iv. 44 Every term..is a logical subject. 1933 L. S. Stebbing Mod. Introd. Logic (ed. 2) ix. 153 The point that is of importance is to distinguish the grammatical subject of a sentence from the logical subject of the proposition expressed by the sentence. 1965 N. Chomsky Aspects Theory Syntax i. 23 In (8i) [sc. ‘I persuaded a specialist to examine John’] the phrase ‘a specialist’ is the Direct-Object of the Verb Phrase and the logical Subject of the embedded sentence. 1965 N. Chomsky Aspects Theory Syntax iv. 163 It seems that beyond the notions of surface structure..and deep structure (such as ‘logical subject’), there is some still more abstract notion of ‘semantic function’ still unexplained. logical sum n. the disjunction of two or more propositions, or the union of two or more sets (written p ∨ q, p ∪ q, p or q, p + q). ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > set theory or extension > conjunction or disjunction of sets logical addition1868 logical multiplication1868 logical product1868 logical sum1868 sum1870 1868 C. S. Peirce in Proc. Amer. Acad. Arts & Sci. 1865–8 7 411 The numerical rank of a logical sum depends on the identity or diversity..of the integrant parts. 1903 [see logical product n.]. 1959 C. V. L. Smith Electronic Digital Computers ii. 32 Given two binary words..it is possible to generate a third word each bit of which is the logical sum or the logical product or, indeed, any Boolean function of the bits in the corresponding position of the given words. Operations of this sort may be called ‘logical operations’. 1963 G. T. Kneebone Math. Logic ii. 53 In older accounts of symbolic logic, the terms ‘logical sum’ and ‘logical product’ are often used where ‘disjunction’ and ‘conjunction’ would now be preferred. There is indeed an analogy between the arithmetical operations of addition and multiplication. logical truth n. that which is true in logical or formal terms regardless of material meaning. ΘΚΠ the mind > mental capacity > philosophy > logic > logical truth > [noun] logical truth1818 1818–19 S. T. Coleridge Philos. Lect. (1949) ix. 276 This necessarily led men..to doubt whether a logical truth was necessarily an existential one, i.e. whether because a truth was logically consistent it must be necessarily existent. 1877 W. S. Jevons Princ. Sci. (ed. 2) viii. 153 Nothing is more certain than logical truth. 1943 Mind 52 272 An exhaustive formulation of logical truth remains a worthy undertaking. logical word n. a word of the type which gives logical context or form to a proposition but which, by itself, is non-representational and without meaning (see quot. 1940). ΘΚΠ the mind > language > linguistics > study of grammar > a part of speech > [noun] > function word particle1533 parcel1571 syncategorem1655 agency1778 empty word1854 symbolic1871 form-word1875 structural word1884 particule1889 pheme1906 structure word1925 function word1927 operator1938 logical word1940 keneme1950 rheme1953 functor1958 1940 B. Russell Inq. into Meaning & Truth 20 We pass from the primary to the secondary language by adding what I shall call ‘logical words’, such as ‘or’, ‘not’, ‘some’, and ‘all’, together with the words ‘true’ and ‘false’ as applied to sentences in the object-language. 1958 S. E. Toulmin Uses Argument iv. 149 The validity of syllogisms being closely bound up with the proper distribution of logical words within the statements composing them. 1972 Sci. Amer. Sept. 82/3 Language performs this miraculous function largely through such little particles as ‘if’, ‘when’, ‘not’, ‘therefore’, ‘all’ and ‘some’, which have been called logical words because they account for the ability of language to formulate logical inferences (also known as syllogisms). This entry has not yet been fully updated (first published 1903; most recently modified version published online March 2022). > see alsoalso refers to : -logicalcomb. form < adj.n.?a1513 see also |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。