13 ideas
| 10185 | Set theory is the standard background for modern mathematics [Burgess] |
| 10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
| 10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
| 10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
| 10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
| 10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
| 10369 | How fine-grained Kim's events are depends on how finely properties are individuated [Kim, by Schaffer,J] |
| 8976 | If events are ordered triples of items, such things seem to be sets, and hence abstract [Simons on Kim] |
| 8975 | Events cannot be merely ordered triples, but must specify the link between the elements [Kim, by Simons] |
| 8974 | Events are composed of an object with an attribute at a time [Kim, by Simons] |
| 8977 | Since properties like self-identity and being 2+2=4 are timeless, Kim must restrict his properties [Simons on Kim] |
| 8980 | Kim's theory results in too many events [Simons on Kim] |
| 19387 | Hypotheses come from induction, which is comparison of experiences [Leibniz] |