11 ideas
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
17505 | Using proper names properly doesn't involve necessary and sufficient conditions [Putnam] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
11908 | Putnam bases essences on 'same kind', but same kinds may not share properties [Mackie,P on Putnam] |
17508 | Science aims at truth, not at 'simplicity' [Putnam] |
17506 | I now think reference by the tests of experts is a special case of being causally connected [Putnam] |
17507 | Natural kind stereotypes are 'strong' (obvious, like tiger) or 'weak' (obscure, like molybdenum) [Putnam] |
11904 | Express natural kinds as a posteriori predicate connections, not as singular terms [Putnam, by Mackie,P] |
22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |