display all the ideas for this combination of texts
3 ideas
15524 | Zermelo's model of arithmetic is distinctive because it rests on a primitive of set theory [Lewis] |
Full Idea: What sets Zermelo's modelling of arithmetic apart from von Neumann's and all the rest is that he identifies the primitive of arithmetic with an appropriately primitive notion of set theory. | |
From: David Lewis (Parts of Classes [1991], 4.6) | |
A reaction: Zermelo's model is just endlessly nested empty sets, which is a very simple structure. I gather that connoisseurs seem to prefer von Neumann's model (where each number contains its predecessor number). |
15517 | Giving up classes means giving up successful mathematics because of dubious philosophy [Lewis] |
Full Idea: Renouncing classes means rejecting mathematics. That will not do. Mathematics is an established, going concern. Philosophy is as shaky as can be. | |
From: David Lewis (Parts of Classes [1991], 2.8) | |
A reaction: This culminates in his famous 'Who's going to tell the mathematicians? Not me!'. He has just given four examples of mathematics that seems to entirely depend on classes. This idea sounds like G.E. Moore's common sense against scepticism. |
15515 | To be a structuralist, you quantify over relations [Lewis] |
Full Idea: To be a structuralist, you quantify over relations. | |
From: David Lewis (Parts of Classes [1991], 2.6) |