Ideas from 'Truthmakers and Converse Barcan Formula' by Timothy Williamson [1999], by Theme Structure
[found in 'Dialectica' (ed/tr ) [ ,]].
green numbers give full details 
back to texts

expand these 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

3. Truth / B. Truthmakers / 7. Making Modal Truths
15141

Truthmaker is incompatible with modal semantics of varying domains

15140

The converse Barcan formula will not allow contingent truths to have truthmakers

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

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
15135

If the domain of propositional quantification is constant, the Barcan formulas hold

15139

Converse Barcan: could something fail to meet a condition, if everything meets that condition?

5. Theory of Logic / G. Quantification / 1. Quantification
18492

Not all quantification is either objectual or substitutional

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
15136

Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances

5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15138

Not all quantification is objectual or substitutional

7. Existence / D. Theories of Reality / 7. Facts / a. Facts
15137

If 'fact' is a noun, can we name the fact that dogs bark 'Mary'?

10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
15142

Our ability to count objects across possibilities favours the Barcan formulas

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
