Combining Texts

All the ideas for 'Realism and Anti-Realism', 'works' and 'Counting and the Natural Numbers'

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


6 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle]
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]
7. Existence / D. Theories of Reality / 2. Realism
Metaphysical realists are committed to all unambiguous statements being true or not true [Dummett]
10. Modality / A. Necessity / 2. Nature of Necessity
Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read]