16 ideas
| 19323 | 'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy] |
| 19137 | We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy] |
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| 14180 | Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read] |
| 14181 | Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read] |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| 16235 | Persistence conditions cannot contradict, so there must be a 'dominant sortal' [Burke,M, by Hawley] |
| 14753 | The 'dominant' of two coinciding sortals is the one that entails the widest range of properties [Burke,M, by Sider] |
| 16072 | 'The rock' either refers to an object, or to a collection of parts, or to some stuff [Burke,M, by Wasserman] |
| 14751 | Tib goes out of existence when the tail is lost, because Tib was never the 'cat' [Burke,M, by Sider] |
| 16071 | Sculpting a lump of clay destroys one object, and replaces it with another one [Burke,M, by Wasserman] |
| 16234 | Burke says when two object coincide, one of them is destroyed in the process [Burke,M, by Hawley] |
| 13278 | Maybe the clay becomes a different lump when it becomes a statue [Burke,M, by Koslicki] |
| 14750 | Two entities can coincide as one, but only one of them (the dominant sortal) fixes persistence conditions [Burke,M, by Sider] |