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 / 8. 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
|