6 ideas
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
21558 | 'Predicative' norms are those which define a class [Russell] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |