Combining Texts

All the ideas for 'Why coherence is not enough', 'Philosophy of Mathematics' and 'The Logic of Decision'

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


8 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
A possible world can be seen as a complete and consistent novel [Jeffrey]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
There are five possible responses to the problem of infinite regress in justification [Cleve]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve]
14. Science / C. Induction / 6. Bayes's Theorem
Instead of gambling, Jeffrey made the objects of Bayesian preference to be propositions [Jeffrey, by Davidson]