Combining Texts

All the ideas for 'Philosophy of Mathematics', 'Queries to the 'Opticks'' and 'Short History of Modern Philosophy'

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

9 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
5637 Nowadays logic is seen as the science of extensions, not intensions [Scruton]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
18. Thought / C. Content / 2. Ideas
5636 Cartesian 'ideas' confuse concepts and propositions [Scruton]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
5660 Allegiance is prior to the recognition of individual rights [Scruton]
25. Social Practice / C. Rights / 1. Basis of Rights
5653 A right is a power which is enforced in the name of justice [Scruton]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
16746 Principles of things are not hidden features of forms, but the laws by which they were formed [Newton]