Combining Texts

All the ideas for 'Lectures on the History of Philosophy', 'Investigations into Logical Deduction' and 'Frege's Theory of Numbers'

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

---

3 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined

21757

Philosophy is the conceptual essence of the shape of history [Hegel]

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

13832

Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure

17447

Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]