Combining Texts

All the ideas for 'Remarks on the definition and nature of mathematics', 'The Theory of Knowledge' and 'Frege's Theory of Numbers'

expand these ideas     |    start again     |     specify just one area for these texts


8 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Logical constants seem to be entities in propositions, but are actually pure form [Russell]
We use logical notions, so they must be objects - but I don't know what they really are [Russell]
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logical truths are known by their extreme generality [Russell]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
It is untenable that mathematics is general physical truths, because it needs infinity [Curry]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Saying mathematics is logic is merely replacing one undefined term by another [Curry]
7. Existence / D. Theories of Reality / 8. Facts / d. Negative facts
There can't be a negative of a complex, which is negated by its non-existence [Potter on Russell]