Combining Texts

All the ideas for 'fragments/reports', 'Remarks on axiomatised set theory' and 'Parts'

expand these ideas     |    start again     |     specify just one area for these texts


119 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Epicurus accepted God in his popular works, but not in his writings on nature [Epicurus, by Sext.Empiricus]
1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Slavery to philosophy brings true freedom [Epicurus]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy aims at a happy life, through argument and discussion [Epicurus]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
We should come to philosophy free from any taint of culture [Epicurus]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / f. Philosophy as healing
The aim of medicine is removal of sickness, and philosophy similarly removes our affections [Epicurus]
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Analytic philosophers may prefer formal systems because natural language is such mess [Simons]
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
We should say nothing of the whole if our contact is with the parts [Epicurus, by Plutarch]
2. Reason / C. Styles of Reason / 1. Dialectic
Epicurus despises and laughs at the whole of dialectic [Epicurus, by Cicero]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Axiomatising set theory makes it all relative [Skolem]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Classical mereology doesn't apply well to the objects around us [Simons]
Complement: the rest of the Universe apart from some individual, written x-bar [Simons]
Criticisms of mereology: parts? transitivity? sums? identity? four-dimensional? [Simons]
A 'part' has different meanings for individuals, classes, and masses [Simons]
4. Formal Logic / G. Formal Mereology / 2. Terminology of Mereology
Proper or improper part: x < y, 'x is (a) part of y' [Simons]
Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons]
Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons]
Overlap: two parts overlap iff they have a part in common, expressed as 'x o 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]
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]
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
Two standard formalisations of part-whole theory are the Calculus of Individuals, and Mereology [Simons]
The part-relation is transitive and asymmetric (and thus irreflexive) [Simons]
Each wheel is part of a car, but the four wheels are not a further part [Simons]
Classical mereology doesn't handle temporal or modal notions very well [Simons]
4. Formal Logic / G. Formal Mereology / 4. Groups
A 'group' is a collection with a condition which constitutes their being united [Simons]
The same members may form two groups [Simons]
'The wolves' are the matter of 'the pack'; the latter is a group, with different identity conditions [Simons]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Epicurus rejected excluded middle, because accepting it for events is fatalistic [Epicurus, by Cicero]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or
Epicureans say disjunctions can be true whiile the disjuncts are not true [Epicurus, by Cicero]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Philosophy is stuck on the Fregean view that an individual is anything with a proper name [Simons]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Some natural languages don't distinguish between singular and plural [Simons]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Mathematician want performable operations, not propositions about objects [Skolem]
7. Existence / B. Change in Existence / 1. Nature of Change
Four-dimensional ontology has no change, since that needs an object, and time to pass [Simons]
There are real relational changes, as well as bogus 'Cambridge changes' [Simons]
7. Existence / B. Change in Existence / 2. Processes
I don't believe in processes [Simons]
Fans of process ontology cheat, since river-stages refer to 'rivers' [Simons]
7. Existence / B. Change in Existence / 3. Moments
Moments are things like smiles or skids, which are founded on other things [Simons]
A smiling is an event with causes, but the smile is a continuant without causes [Simons]
A wave is maintained by a process, but it isn't a process [Simons]
Moving disturbances are are moments which continuously change their basis [Simons]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
I do not think there is a general identity condition for events [Simons]
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
Relativity has an ontology of things and events, not on space-time diagrams [Simons]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
Independent objects can exist apart, and maybe even entirely alone [Simons]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Mass nouns admit 'much' and 'a little', and resist 'many' and 'few'. [Simons]
Mass terms (unlike plurals) are used with indifference to whether they can exist in units [Simons]
Gold is not its atoms, because the atoms must be all gold, but gold contains neutrons [Simons]
7. Existence / C. Structure of Existence / 8. Stuff / b. Mixtures
A mixture can have different qualities from its ingredients. [Simons]
Mixtures disappear if nearly all of the mixture is one ingredient [Simons]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
To individuate something we must pick it out, but also know its limits of variation [Simons]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Sortal nouns for continuants tell you their continuance- and cessation-conditions [Simons]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
A whole requires some unique relation which binds together all of the parts [Simons]
9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail
Tibbles isn't Tib-plus-tail, because Tibbles can survive its loss, but the sum can't [Simons]
Does Tibbles remain the same cat when it loses its tail? [Simons]
9. Objects / B. Unity of Objects / 3. Unity Problems / d. Coincident objects
Without extensional mereology two objects can occupy the same position [Simons]
9. Objects / C. Structure of Objects / 5. Composition of an Object
Composition is asymmetric and transitive [Simons]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
A hand constitutes a fist (when clenched), but a fist is not composed of an augmented hand [Simons]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
We say 'b is part of a', 'b is a part of a', 'b are a part of a', or 'b are parts of a'. [Simons]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Classical mereology says there are 'sums', for whose existence there is no other evidence [Simons]
'Mereological extensionality' says objects with the same parts are identical [Simons]
If there are c atoms, this gives 2^c - 1 individuals, so there can't be just 2 or 12 individuals [Simons]
Sums are more plausible for pluralities and masses than they are for individuals [Simons]
Sums of things in different categories are found within philosophy. [Simons]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
The wholeness of a melody seems conventional, but of an explosion it seems natural [Simons]
9. Objects / D. Essence of Objects / 5. Essence as Kind
Objects have their essential properties because of the kind of objects they are [Simons]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
We must distinguish the de dicto 'must' of propositions from the de re 'must' of essence [Simons]
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
Original parts are the best candidates for being essential to artefacts [Simons]
9. Objects / D. Essence of Objects / 12. Essential Parts
An essential part of an essential part is an essential part of the whole [Simons]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
Four dimensional-objects are stranger than most people think [Simons]
9. Objects / E. Objects over Time / 7. Intermittent Objects
Intermittent objects would be respectable if they occurred in nature, as well as in artefacts [Simons]
Objects like chess games, with gaps in them, are thereby less unified [Simons]
9. Objects / E. Objects over Time / 9. Ship of Theseus
An entrepreneur and a museum curator would each be happy with their ship at the end [Simons]
The 'best candidate' theories mistakenly assume there is one answer to 'Which is the real ship?' [Simons]
9. Objects / E. Objects over Time / 12. Origin as Essential
The zygote is an essential initial part, for a sexually reproduced organism [Simons]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
The limits of change for an individual depend on the kind of individual [Simons]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
We can't seek for things if we have no idea of them [Epicurus, by Diog. Laertius]
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
To name something, you must already have an idea of what it is [Epicurus, by Diog. Laertius]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Epicurus says colours are relative to the eye, not intrinsic to bodies [Epicurus, by Plutarch]
12. Knowledge Sources / B. Perception / 5. Interpretation
Sensations cannot be judged, because similar sensations have equal value, and different ones have nothing in common [Epicurus, by Diog. Laertius]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
The criteria of truth are senses, preconceptions and passions [Epicurus, by Diog. Laertius]
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
Reason can't judge senses, as it is based on them [Epicurus, by Diog. Laertius]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Epicurus denied knowledge in order to retain morality or hedonism as the highest values [Nietzsche on Epicurus]
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
Epicurus says if one of a man's senses ever lies, none of his senses should ever be believed [Epicurus, by Cicero]
13. Knowledge Criteria / E. Relativism / 1. Relativism
If two people disagree over taste, who is right? [Epicurus, by Plutarch]
Bath water is too hot for some, too cold for others [Epicurus, by Plutarch]
When entering a dark room it is colourless, but colour gradually appears [Epicurus]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
The rational soul is in the chest, and the non-rational soul is spread through the body [Epicurus]
Soul is made of four stuffs, giving warmth, rest, motion and perception [Epicurus, by Aetius]
16. Persons / F. Free Will / 1. Nature of Free Will
Epicurus was the first to see the free will problem, and he was a libertarian [Epicurus, by Long/Sedley]
16. Persons / F. Free Will / 2. Sources of Free Will
Epicurus showed that the swerve can give free motion in the atoms [Epicurus, by Diogenes of Oen.]
16. Persons / F. Free Will / 4. For Free Will
There is no necessity to live with necessity [Epicurus]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
How can pleasure or judgement occur in a heap of atoms? [Sext.Empiricus on Epicurus]
20. Action / A. Definition of Action / 2. Duration of an Action
With activities if you are doing it you've done it, with performances you must finish to have done it [Simons]
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
One false note doesn't make it a performance of a different work [Simons]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
It was Epicurus who made the question of the will's freedom central to ethics [Epicurus, by Grayling]
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Fine things are worthless if they give no pleasure [Epicurus]
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is the chief good because it is the most natural, especially for animals [Epicurus, by Diog. Laertius]
22. Metaethics / C. The Good / 3. Pleasure / b. Types of pleasure
Pains of the soul are worse than pains of the body, because it feels the past and future [Epicurus, by Diog. Laertius]
Pleasures only differ in their duration and the part of the body affected [Epicurus]
The end for Epicurus is static pleasure [Epicurus, by Annas]
23. Ethics / B. Contract Ethics / 1. Contractarianism
Justice has no independent existence, but arises entirely from keeping contracts [Epicurus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
We choose virtue because of pleasure, not for its own sake [Epicurus, by Diog. Laertius]
23. Ethics / C. Virtue Theory / 4. External Goods / a. External goods
A wise man would be happy even under torture [Epicurus, by Diog. Laertius]
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
Friendship is by far the most important ingredient of a complete and happy life [Epicurus]
25. Social Practice / F. Life Issues / 4. Suicide
Wise men should partake of life even if they go blind [Epicurus, by Diog. Laertius]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
Only Epicurus denied purpose in nature, for the whole world, or for its parts [Epicurus, by Annas]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
Democritus says atoms have size and shape, and Epicurus added weight [Epicurus, by Ps-Plutarch]
Atoms don't swerve by being struck, because they move in parallel, so the swerve is uncaused [Cicero on Epicurus]
What causes atomic swerves? Do they draw lots? What decides the size or number of swerves? [Cicero on Epicurus]
27. Natural Reality / D. Time / 1. Nature of Time / a. Absolute time
Stoics say time is incorporeal and self-sufficient; Epicurus says it is a property of properties of things [Epicurus]
28. God / A. Divine Nature / 2. Divine Nature
For Epicureans gods are made of atoms, and are not eternal [Epicurus, by Cicero]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Epicurus saw that gods must exist, because nature has imprinted them on human minds [Epicurus, by Cicero]
28. God / C. Attitudes to God / 5. Atheism
Some say Epicurus only pretended to believe in the gods, so as not to offend Athenians [Epicurus, by Cicero]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
If god answered prayers we would be destroyed, because we pray for others to suffer [Epicurus]