Combining Texts

All the ideas for 'reports', 'Identity and Essence' and 'Structures and Structuralism in Phil of Maths'

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


48 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius]
2. Reason / A. Nature of Reason / 9. Limits of Reason
Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius]
3. Truth / F. Semantic Truth / 2. Semantic Truth
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
'Analysis' is the theory of the real numbers [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory gives a unified and an explicit basis for mathematics [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price]
There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price]
Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price]
There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price]
Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price]
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Indiscernibility is a necessary and sufficient condition for identity [Brody]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody]
9. Objects / D. Essence of Objects / 5. Essence as Kind
A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P]
Maybe essential properties are those which determine a natural kind? [Brody]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody]
An object having a property essentially is equivalent to its having it necessarily [Brody]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Essentialism is justified if the essential properties of things explain their other properties [Brody]
9. Objects / D. Essence of Objects / 12. Essential Parts
Mereological essentialism says that every part that ensures the existence is essential [Brody]
9. Objects / E. Objects over Time / 12. Origin as Essential
Interrupted objects have two first moments of existence, which could be two beginnings [Brody]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
a and b share all properties; so they share being-identical-with-a; so a = b [Brody]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Identity across possible worlds is prior to rigid designation [Brody]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin]
13. Knowledge Criteria / E. Relativism / 1. Relativism
Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius]
Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius]
Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius]
Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius]
Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius]
Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius]
Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius]
Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius]
Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius]
Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius]
26. Natural Theory / C. Causation / 7. Eliminating causation
There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius]