Combining Texts

All the ideas for 'Counting and the Natural Numbers', 'Intro to I: Classical Logic' and 'Comments on a Certain Broadsheet'

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


7 ideas

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
The essence of natural numbers must reflect all the functions they perform [Sicha]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
To know how many, you need a numerical quantifier, as well as equinumerosity [Sicha]
Counting puts an initial segment of a serial ordering 1-1 with some other entities [Sicha]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
What experience could prove 'If a=c and b=c then a=b'? [Descartes]
18. Thought / D. Concepts / 2. Origin of Concepts / c. Nativist concepts
The mind's innate ideas are part of its capacity for thought [Descartes]
Qualia must be innate, because physical motions do not contain them [Descartes]