4 ideas
9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
12185 | Logical necessity is epistemic necessity, which is the old notion of a priori [Edgington, by McFetridge] |