8 ideas
23476 | Logical constants seem to be entities in propositions, but are actually pure form [Russell] |
23477 | We use logical notions, so they must be objects - but I don't know what they really are [Russell] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
18273 | Logical truths are known by their extreme generality [Russell] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
22315 | There can't be a negative of a complex, which is negated by its non-existence [Potter on Russell] |