Combining Texts

All the ideas for 'works', 'Essence and Modality' and 'Naturalism in Mathematics'

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


77 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
For Plato true wisdom is supernatural [Plato, by Weil]
1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
Plato never mentions Democritus, and wished to burn his books [Plato, by Diog. Laertius]
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
My account shows how the concept works, rather than giving an analysis [Fine,K]
2. Reason / C. Styles of Reason / 1. Dialectic
Two contradictories force us to find a relation which will correlate them [Plato, by Weil]
2. Reason / D. Definition / 4. Real Definition
Modern philosophy has largely abandoned real definitions, apart from sortals [Fine,K]
2. Reason / D. Definition / 6. Definition by Essence
Defining a term and giving the essence of an object don't just resemble - they are the same [Fine,K]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
'Forcing' can produce new models of ZFC from old models [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Axiom of Reducibility: propositional functions are extensionally predicative [Maddy]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
'Propositional functions' are propositions with a variable as subject or predicate [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Completed infinities resulted from giving foundations to calculus [Maddy]
Cantor and Dedekind brought completed infinities into mathematics [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Infinity has degrees, and large cardinals are the heart of set theory [Maddy]
For any cardinal there is always a larger one (so there is no set of all sets) [Maddy]
An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
Theorems about limits could only be proved once the real numbers were understood [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The extension of concepts is not important to me [Maddy]
In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Frege solves the Caesar problem by explicitly defining each number [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Making set theory foundational to mathematics leads to very fruitful axioms [Maddy]
Unified set theory gives a final court of appeal for mathematics [Maddy]
Set theory brings mathematics into one arena, where interrelations become clearer [Maddy]
Identifying geometric points with real numbers revealed the power of set theory [Maddy]
The line of rationals has gaps, but set theory provided an ordered continuum [Maddy]
Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Maybe applications of continuum mathematics are all idealisations [Maddy]
Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
An object is dependent if its essence prevents it from existing without some other object [Fine,K]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy]
8. Modes of Existence / A. Relations / 3. Structural Relations
Plato's idea of 'structure' tends to be mathematically expressed [Plato, by Koslicki]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Platonists argue for the indivisible triangle-in-itself [Plato, by Aristotle]
When Diogenes said he could only see objects but not their forms, Plato said it was because he had eyes but no intellect [Plato, by Diog. Laertius]
Plato's Forms meant that the sophists only taught the appearance of wisdom and virtue [Plato, by Nehamas]
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If there is one Form for both the Form and its participants, they must have something in common [Aristotle on Plato]
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
If gods are like men, they are just eternal men; similarly, Forms must differ from particulars [Aristotle on Plato]
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
A Form is a cause of things only in the way that white mixed with white is a cause [Aristotle on Plato]
The Forms cannot be changeless if they are in changing things [Aristotle on Plato]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
The greatest discovery in human thought is Plato's discovery of abstract objects [Brown,JR on Plato]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
We can grasp whole things in science, because they have a mathematics and a teleology [Plato, by Koslicki]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Plato sees an object's structure as expressible in mathematics [Plato, by Koslicki]
Plato was less concerned than Aristotle with the source of unity in a complex object [Plato, by Koslicki]
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Plato's holds that there are three substances: Forms, mathematical entities, and perceptible bodies [Plato, by Aristotle]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Plato says wholes are either containers, or they're atomic, or they don't exist [Plato, by Koslicki]
9. Objects / D. Essence of Objects / 2. Types of Essence
Only universals have essence [Plato, by Politis]
Essences are either taken as real definitions, or as necessary properties [Fine,K]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Plato and Aristotle take essence to make a thing what it is [Plato, by Politis]
Essentially having a property is naturally expressed as 'the property it must have to be what it is' [Fine,K]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Simple modal essentialism refers to necessary properties of an object [Fine,K]
Essentialist claims can be formulated more clearly with quantified modal logic [Fine,K]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Metaphysical necessity is a special case of essence, not vice versa [Fine,K]
Essence as necessary properties produces a profusion of essential properties [Fine,K, by Lowe]
The nature of singleton Socrates has him as a member, but not vice versa [Fine,K]
It is not part of the essence of Socrates that a huge array of necessary truths should hold [Fine,K]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
An essential property of something must be bound up with what it is to be that thing [Fine,K, by Rami]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Essential properties are part of an object's 'definition' [Fine,K, by Rami]
9. Objects / E. Objects over Time / 12. Origin as Essential
If Socrates lacks necessary existence, then his nature cannot require his parents' existence [Fine,K]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
The subject of a proposition need not be the source of its necessity [Fine,K]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Conceptual necessities rest on the nature of all concepts [Fine,K]
10. Modality / C. Sources of Modality / 6. Necessity from Essence
Socrates is necessarily distinct from the Eiffel Tower, but that is not part of his essence [Fine,K]
Metaphysical necessities are true in virtue of the nature of all objects [Fine,K]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
A good explanation totally rules out the opposite explanation (so Forms are required) [Plato, by Ruben]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy]
18. Thought / A. Modes of Thought / 3. Emotions / g. Controlling emotions
Plato wanted to somehow control and purify the passions [Vlastos on Plato]
19. Language / E. Analyticity / 2. Analytic Truths
Analytic truth may only be true in virtue of the meanings of certain terms [Fine,K]
The meaning of 'bachelor' is irrelevant to the meaning of 'unmarried man' [Fine,K]
19. Language / F. Communication / 1. Rhetoric
Plato's whole philosophy may be based on being duped by reification - a figure of speech [Benardete,JA on Plato]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Plato never refers to examining the conscience [Plato, by Foucault]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
As religion and convention collapsed, Plato sought morals not just in knowledge, but in the soul [Williams,B on Plato]
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Plato's legacy to European thought was the Good, the Beautiful and the True [Plato, by Gray]
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is better with the addition of intelligence, so pleasure is not the good [Plato, by Aristotle]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
Plato decided that the virtuous and happy life was the philosophical life [Plato, by Nehamas]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Plato, unusually, said that theoretical and practical wisdom are inseparable [Plato, by Kraut]
23. Ethics / F. Existentialism / 4. Boredom
Plato is boring [Nietzsche on Plato]
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
Almost everyone except Plato thinks that time could not have been generated [Plato, by Aristotle]