13 ideas
| 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] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| 8126 | Anti-individualism says the environment is involved in the individuation of some mental states [Burge] |
| 8127 | Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge] |
| 8129 | Anti-individualism may be incompatible with some sorts of self-knowledge [Burge] |
| 8131 | Some qualities of experience, like blurred vision, have no function at all [Burge] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |