Combining Philosophers
Ideas for Jonathan Kvanvig, Richard Tuck and Timothy Williamson
expand these ideas

start again

choose
another area for these philosophers
display all the ideas for this combination of philosophers
5 ideas
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
14626

In S5 matters of possibility and necessity are noncontingent [Williamson]

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]

15130

If a property is possible, there is something which can have it [Williamson]

15139

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