Combining Texts
Ideas for
'Posthumous notes', 'Parts' and 'The Status of Content'
expand these ideas

start again

choose
another area for these texts
display all the ideas for this combination of texts
22 ideas
4. Formal Logic / G. Formal Mereology / 1. Mereology
12815

Classical mereology doesn't apply well to the objects around us [Simons]

12832

Complement: the rest of the Universe apart from some individual, written xbar [Simons]

12834

Criticisms of mereology: parts? transitivity? sums? identity? fourdimensional? [Simons]

12819

A 'part' has different meanings for individuals, classes, and masses [Simons]

4. Formal Logic / G. Formal Mereology / 2. Terminology of Mereology
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]

12827

Difference: the difference of individuals is the remainder of an overlap, written 'x  y' [Simons]

12825

Product: the product of two individuals is the sum of all of their overlaps, written 'x · y' [Simons]

12828

General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons]

12826

Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [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]

4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
12813

Two standard formalisations of partwhole theory are the Calculus of Individuals, and Mereology [Simons]

12816

Classical mereology doesn't handle temporal or modal notions very well [Simons]

12821

The partrelation is transitive and asymmetric (and thus irreflexive) [Simons]

18847

Each wheel is part of a car, but the four wheels are not a further part [Simons]

4. Formal Logic / G. Formal Mereology / 4. Groups
12846

A 'group' is a collection with a condition which constitutes their being united [Simons]

12848

The same members may form two groups [Simons]

12861

'The wolves' are the matter of 'the pack'; the latter is a group, with different identity conditions [Simons]
