Combining Texts

All the ideas for 'Defending the Axioms', 'Problems of Knowledge' and 'Truthmakers and Converse Barcan Formula'

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

48 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
15134 The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
15141 Truthmaker is incompatible with modal semantics of varying domains [Williamson]
15140 The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
3593 The only way to specify the corresponding fact is asserting the sentence [Williams,M]
3. Truth / D. Coherence Truth / 1. Coherence Truth
3584 Justification needs coherence, while truth might be ideal coherence [Williams,M]
3585 Coherence needs positive links, not just absence of conflict [Williams,M]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
15131 If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
15135 If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
15139 Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
17610 The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
3599 Deduction shows entailments, not what to believe [Williams,M]
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
17620 Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
5. Theory of Logic / G. Quantification / 1. Quantification
18492 Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
15136 Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15138 Not all quantification is objectual or substitutional [Williamson]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17605 Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
17625 If two mathematical themes coincide, that suggest a single deep truth [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
17615 Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
17618 Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17614 The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
15137 If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
15142 Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
3591 We could never pin down how many beliefs we have [Williams,M]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
3582 Propositions make error possible, so basic experiential knowledge is impossible [Williams,M]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
3592 Phenomenalism is a form of idealism [Williams,M]
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
3579 Sense data avoid the danger of misrepresenting the world [Williams,M]
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
3581 Sense data can't give us knowledge if they are non-propositional [Williams,M]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
3564 Is it people who are justified, or propositions? [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 2. Pragmatic justification
3595 What works always takes precedence over theories [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
3580 Experience must be meaningful to act as foundations [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / c. Empirical foundations
3578 Are empirical foundations judgements or experiences? [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
3576 Foundationalists are torn between adequacy and security [Williams,M]
3577 Strong justification eliminates error, but also reduces our true beliefs [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
3589 Why should diverse parts of our knowledge be connected? [Williams,M]
3590 Coherence theory must give a foundational status to coherence itself [Williams,M]
13. Knowledge Criteria / C. External Justification / 1. External Justification
3571 Externalism does not require knowing that you know [Williams,M]
3574 Externalism ignores the social aspect of knowledge [Williams,M]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
3569 In the causal theory of knowledge the facts must cause the belief [Williams,M]
3567 How could there be causal relations to mathematical facts? [Williams,M]
3586 Only a belief can justify a belief [Williams,M]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
3573 Externalist reliability refers to a range of conventional conditions [Williams,M]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / b. Anti-reliabilism
3565 Sometimes I ought to distrust sources which are actually reliable [Williams,M]
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
3566 We control our beliefs by virtue of how we enquire [Williams,M]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
3594 Scepticism just reveals our limited ability to explain things [Williams,M]
13. Knowledge Criteria / D. Scepticism / 2. Types of Scepticism
3575 Scepticism can involve discrepancy, relativity, infinity, assumption and circularity [Williams,M]
14. Science / A. Basis of Science / 1. Observation
3587 Seeing electrons in a cloud chamber requires theory [Williams,M]
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
3588 Foundationalists base meaning in words, coherentists base it in sentences [Williams,M]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
15133 A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]