4 ideas
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] |
13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |