Ideas from 'Truthmakers and Converse Barcan Formula' by Timothy Williamson [1999], by Theme Structure

[found in 'Dialectica' (ed/tr -) [- ,]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains
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
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
The Barcan formulas fail in models with varying domains
If the domain of propositional quantification is constant, the Barcan formulas hold
Converse Barcan: could something fail to meet a condition, if everything meets that condition?
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional
7. Existence / D. Theories of Reality / 7. Facts / a. Facts
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
Our ability to count objects across possibilities favours the Barcan formulas
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well