Combining Texts

All the ideas for 'Regressive Method for Premises in Mathematics', 'Elements of Geometry' and 'Mahaprajnaparamitashastra'

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


25 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
Discoveries in mathematics can challenge philosophy, and offer it a new foundation [Russell]
2. Reason / A. Nature of Reason / 6. Coherence
If one proposition is deduced from another, they are more certain together than alone [Russell]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
Non-contradiction was learned from instances, and then found to be indubitable [Russell]
2. Reason / E. Argument / 6. Conclusive Proof
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
If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Which premises are ultimate varies with context [Russell]
The sources of a proof are the reasons why we believe its conclusion [Russell]
Finding the axioms may be the only route to some new results [Russell]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
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
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
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
Postulate 2 says a line can be extended continuously [Euclid, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
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
Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Arithmetic was probably inferred from relationships between physical objects [Russell]
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
The most obvious beliefs are not infallible, as other obvious beliefs may conflict [Russell]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Believing a whole science is more than believing each of its propositions [Russell]
14. Science / C. Induction / 2. Aims of Induction
Induction is inferring premises from consequences [Russell]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
The law of gravity has many consequences beyond its grounding observations [Russell]