Combining Texts

All the ideas for 'The Rationality of Science', 'Elements of Geometry' and 'works'

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


30 ideas

1. Philosophy / G. Scientific Philosophy / 1. Aims of Science
For science to be rational, we must explain scientific change rationally [Newton-Smith]
We do not wish merely to predict, we also want to explain [Newton-Smith]
The real problem of science is how to choose between possible explanations [Newton-Smith]
1. Philosophy / G. Scientific Philosophy / 2. Positivism
Critics attack positivist division between theory and observation [Newton-Smith]
Positivists hold that theoretical terms change, but observation terms don't [Newton-Smith]
2. Reason / E. Argument / 6. Conclusive Proof
Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege]
3. Truth / A. Truth Problems / 6. Verisimilitude
More truthful theories have greater predictive power [Newton-Smith]
Theories generate infinite truths and falsehoods, so they cannot be used to assess probability [Newton-Smith]
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]
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 / 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]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
De re necessity arises from the way the world is [Newton-Smith]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We must assess the truth of beliefs in identifying them [Newton-Smith]
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
Defeat relativism by emphasising truth and reference, not meaning [Newton-Smith]
14. Science / A. Basis of Science / 1. Observation
A full understanding of 'yellow' involves some theory [Newton-Smith]
14. Science / A. Basis of Science / 5. Anomalies
All theories contain anomalies, and so are falsified! [Newton-Smith]
The anomaly of Uranus didn't destroy Newton's mechanics - it led to Neptune's discovery [Newton-Smith]
Anomalies are judged against rival theories, and support for the current theory [Newton-Smith]
14. Science / B. Scientific Theories / 1. Scientific Theory
Why should it matter whether or not a theory is scientific? [Newton-Smith]
14. Science / B. Scientific Theories / 5. Commensurability
If theories are really incommensurable, we could believe them all [Newton-Smith]
18. Thought / E. Abstraction / 8. Abstractionism Critique
Thomae's idea of abstract from peculiarities gives a general concept, and leaves the peculiarities [Frege on Thomae]
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
Explaining an action is showing that it is rational [Newton-Smith]