Combining Texts

All the ideas for 'fragments/reports', 'Frege versus Cantor and Dedekind' and 'Truthmakers and Converse Barcan Formula'

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

22 ideas

1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
9978 Analytic philosophy focuses too much on forms of expression, instead of what is actually said [Tait]
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
15140 The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
15141 Truthmaker is incompatible with modal semantics of varying domains [Williamson]
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 / 3. Types of Set / b. Empty (Null) Set
9986 The null set was doubted, because numbering seemed to require 'units' [Tait]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
9984 We can have a series with identical members [Tait]
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]
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]
18. Thought / E. Abstraction / 2. Abstracta by Selection
9981 Abstraction is 'logical' if the sense and truth of the abstraction depend on the concrete [Tait]
9982 Cantor and Dedekind use abstraction to fix grammar and objects, not to carry out proofs [Tait]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
9985 Abstraction may concern the individuation of the set itself, not its elements [Tait]
18. Thought / E. Abstraction / 8. Abstractionism Critique
9972 Why should abstraction from two equipollent sets lead to the same set of 'pure units'? [Tait]
9980 If abstraction produces power sets, their identity should imply identity of the originals [Tait]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
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]