structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / G. Formal Mereology / 2. Terminology of Mereology

[technical vocabulary used in formal mereology]

11 ideas
Proper or improper part: x < y, 'x is (a) part of y' [Simons]
Overlap: two parts overlap iff they have a part in common, expressed as 'x o y' [Simons]
Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons]
Product: the product of two individuals is the sum of all of their overlaps, written 'x y' [Simons]
Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons]
Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons]
General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons]
General product: the nucleus of all objects satisfying a predicate, written πx(Fx) [Simons]
Universe: the mereological sum of all objects whatever, written 'U' [Simons]
Atom: an individual with no proper parts, written 'At x' [Simons]
Dissective: stuff is dissective if parts of the stuff are always the stuff [Simons]