20 ideas
15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
15131 | If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson] |
15135 | If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson] |
15139 | Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson] |
18492 | Not all quantification is either objectual or substitutional [Williamson] |
15136 | Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson] |
15138 | Not all quantification is objectual or substitutional [Williamson] |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
16129 | Evans argues (falsely!) that a contradiction follows from treating objects as vague [Evans, by Lowe] |
16459 | Is it coherent that reality is vague, identities can be vague, and objects can have fuzzy boundaries? [Evans] |
16460 | Evans assumes there can be vague identity statements, and that his proof cannot be right [Evans, by Lewis] |
16457 | There clearly are vague identity statements, and Evans's argument has a false conclusion [Evans, by Lewis] |
14484 | If a=b is indeterminate, then a=/=b, and so there cannot be indeterminate identity [Evans, by Thomasson] |
16224 | There can't be vague identity; a and b must differ, since a, unlike b, is only vaguely the same as b [Evans, by PG] |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |