A closely related concept is that of mereology, which specifically deals with part-whole relations and is used in logic.
22.
Other students ( and students of students ) of Lesniewski elaborated this " Polish mereology " over the course of the 20th century.
23.
Classical mereology is consistent with both the existence of gunk and either finite or infinite simples ( see Hodges and Lewis 1968 ).
24.
Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part.
25.
Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part.
26.
On this Heyting mereology, Forrest erects a theory of " pseudosets ", adequate for all purposes to which sets have been put.
27.
Boundaries and connection can be married to mereology, resulting in mereotopology; see Casati and Varzi ( 1999 : chpts . 4, 5 ).
28.
Mereology is accordingly " ontologically neutral " and retains some of Quine's pragmatism ( which Tymoczko in 1998 carefully qualified as American Pragmatism ).
29.
We begin with some domain of discourse, whose elements are called individuals ( a synonym for mereology is " the calculus of individuals " ).
30.
Nearly all work that has appeared since 1970 under the heading of mereology descends from the 1940 calculus of individuals of Henry Leonard and Nelson Goodman.
