20 ideas
1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
15141 | Truthmaker is incompatible with modal semantics of varying domains [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] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |
1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |