Combining Texts

All the ideas for 'Law and Causality', 'fragments/reports' and 'An Axiomatization of Set Theory'

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


13 ideas

2. Reason / A. Nature of Reason / 9. Limits of Reason
All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius]
Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius]
Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius]
All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
All the axioms for mathematics presuppose set theory [Neumann]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M]
13. Knowledge Criteria / E. Relativism / 1. Relativism
Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius]
14. Science / B. Scientific Theories / 8. Ramsey Sentences
Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey]
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey]
Causal laws result from the simplest axioms of a complete deductive system [Ramsey]