more from this thinker | more from this text
Full Idea
The 'sum' of two individuals is that individual which something overlaps iff it overlaps at least one of x and y, expressed by 'x + y', read as 'the sum of x and y'. It is central to classical extensional mereologies that any two individuals have a sum.
Clarification
The 'sum' is also known as the 'fusion'
Gist of Idea
Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y'
Source
Peter Simons (Parts [1987], 1.1.06)
Book Ref
Simons,Peter: 'Parts: a Study in Ontology' [OUP 1987], p.14
A Reaction
This rather technical definition (defining an individual by the possibility of it being overlapped) does not always coincide with the smallest individual containing them both.
Related Idea
Idea 14984 Which should be primitive in mereology - part, or overlap? [Sider]
| 12822 | Proper or improper part: x < y, 'x is (a) part of y' [Simons] |
| 12823 | Overlap: two parts overlap iff they have a part in common, expressed as 'x o y' [Simons] |
| 12824 | Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons] |
| 12825 | Product: the product of two individuals is the sum of all of their overlaps, written 'x · y' [Simons] |
| 12826 | Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons] |
| 12827 | Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons] |
| 12828 | General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons] |
| 12829 | General product: the nucleus of all objects satisfying a predicate, written πx(Fx) [Simons] |
| 12830 | Universe: the mereological sum of all objects whatever, written 'U' [Simons] |
| 12831 | Atom: an individual with no proper parts, written 'At x' [Simons] |
| 12844 | Dissective: stuff is dissective if parts of the stuff are always the stuff [Simons] |