Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Causation and Laws of Nature' and 'A Priori'

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


27 ideas

1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
After 1903, Husserl avoids metaphysical commitments [Mares]
1. Philosophy / F. Analytic Philosophy / 3. Analysis of Preconditions
Analysis aims at secure necessary and sufficient conditions [Schaffer,J]
2. Reason / F. Fallacies / 1. Fallacy
'Reification' occurs if we mistake a concept for a thing [Schaffer,J]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Arithmetical undecidability is always settled at the next stage up [Koellner]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mathematics is relations between properties we abstract from experience [Mares]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
If a notion is ontologically basic, it should be needed in our best attempt at science [Schaffer,J]
7. Existence / C. Structure of Existence / 2. Reduction
Three types of reduction: Theoretical (of terms), Definitional (of concepts), Ontological (of reality) [Schaffer,J]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Tropes are the same as events [Schaffer,J]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Individuation aims to count entities, by saying when there is one [Schaffer,J]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Only ideal conceivability could indicate what is possible [Schaffer,J]
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
Aristotelians dislike the idea of a priori judgements from pure reason [Mares]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Empiricists say rationalists mistake imaginative powers for modal insights [Mares]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
The most popular view is that coherent beliefs explain one another [Mares]
14. Science / B. Scientific Theories / 3. Instrumentalism
Operationalism defines concepts by our ways of measuring them [Mares]
18. Thought / D. Concepts / 2. Origin of Concepts / b. Empirical concepts
Aristotelian justification uses concepts abstracted from experience [Mares]
18. Thought / D. Concepts / 4. Structure of Concepts / c. Classical concepts
The essence of a concept is either its definition or its conceptual relations? [Mares]
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
Possible worlds semantics has a nice compositional account of modal statements [Mares]
19. Language / D. Propositions / 3. Concrete Propositions
Unstructured propositions are sets of possible worlds; structured ones have components [Mares]
27. Natural Reality / C. Space / 3. Points in Space
Maybe space has points, but processes always need regions with a size [Mares]