Ideas from 'Laudatio: Prof Ruth Barcan Marcus' by Timothy Williamson [2011], by Theme Structure

green numbers give full details    |     back to texts     |     unexpand this idea

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If a property is possible, there is something which can have it
                        Full Idea: Barcan's axiom says if there can be something that has a certain property, then there is something that can have that property. It and its converse are not obviously correct or incorrect. They claim that it is non-contingent what individuals there are.
                        From: Timothy Williamson (Laudatio: Prof Ruth Barcan Marcus [2011], p.1)
                        A reaction: Williamson defends the two Barcan formulas, but the more I understand them the less plausible they sound to me.