8 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
13952 | Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R] |
13954 | The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R] |
13955 | Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R] |
13953 | An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R] |