### 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 x-bar [Simons]
 12834 Criticisms of mereology: parts? transitivity? sums? identity? four-dimensional? [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 part-whole theory are the Calculus of Individuals, and Mereology [Simons]
 12816 Classical mereology doesn't handle temporal or modal notions very well [Simons]
 12821 The part-relation 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]