Combining Texts

All the ideas for 'The Advancement of Learning', 'Elements of Geometry' and 'Knowledge and the Philosophy of Number'

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

30 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
12124 Metaphysics is the best knowledge, because it is the simplest [Bacon]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
12123 Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon]
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
12119 Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon]
12120 Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon]
2. Reason / E. Argument / 6. Conclusive Proof
8623 Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / c. Derivations rules of PC
13907 If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
23623 Predicativism says only predicated sets exist [Hossack]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
23624 The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
23625 Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
23628 The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
23627 'Before' and 'after' are not two relations, but one relation with two orders [Hossack]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
6297 Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
9603 An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
9894 A unit is that according to which each existing thing is said to be one [Euclid]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
8738 Postulate 2 says a line can be extended continuously [Euclid, by Shapiro]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
23626 Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
22278 Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
8673 Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
10250 Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
10302 Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
14157 Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
1600 Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
23621 Numbers are properties, not sets (because numbers are magnitudes) [Hossack]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
23622 We can only mentally construct potential infinities, but maths needs actual infinities [Hossack]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
12121 We don't assume there is no land, because we can only see sea [Bacon]
14. Science / A. Basis of Science / 3. Experiment
12117 Science moves up and down between inventions of causes, and experiments [Bacon]
14. Science / B. Scientific Theories / 5. Commensurability
12127 Many different theories will fit the observed facts [Bacon]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
12126 People love (unfortunately) extreme generality, rather than particular knowledge [Bacon]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
12125 Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
12118 Essences are part of first philosophy, but as part of nature, not part of logic [Bacon]