12 ideas
9470 | Modal logic is not an extensional language [Parsons,C] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
12295 | 3-D says things are stretched in space but not in time, and entire at a time but not at a location [Fine,K] |
12298 | Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K] |
12296 | 4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K] |
18882 | You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons] |
12297 | Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K] |