| 释义 |
mereology Logic.|mɛrɪˈɒlədʒɪ|
[ad. F. meréologie, irreg. f. Gr. µέρος part + -ology.]
(See quots. 1946, 1962.)
[1937A. Tarski in J. H. Woodger Axiomatic Method in Biol. App. E. 161 The general theory of the concept ‘part of’ has been developed by S. Leśniewski under the name of Meréologie.] 1946Mind LV. 368 The attempt to provide a foundation for mathematics in logic led Lesniewski to formulate a system consisting of ‘Protothetic’..‘Ontology’..and ‘Mereology’ (which is formally similar to the Boolean algebra except for the exclusion of the null class). 1956J. H. Woodger tr. Tarski's Logic, Semantics, Metamath. ii. 25 The geometry of solids is based upon mereology, in the sense that the relation between part and whole is included in the system of primitive notions of the geometry of solids. 1962W. & M. Kneale Devel. of Logic vi. 426 An extended system of Boolean algebra in which there are two operations of a non-finitary character, namely that of taking the logical sum or union of all the elements of some specified set..and that of taking the logical product or intersection of all the elements of some specified set... This extended system is closely related to..‘mereology’. In fact the difference is simply that Leśniewski's system excludes the possibility of a null element included in every other element. 1967H. Skolimowski Polish Analytical Philos. iv. 106 In mereology the word ‘part’ is given the meaning it has in every-day usage, i.e. by a ‘part’ is understood a section of a given object, and such a section as is not identical with the object itself. |