Reals by Abstraction. An Inquiry About Epistemic Economy in Mathematics: Volume II: The Real Numbers

This second of a two-volume book prolongs the inquiry of volume 1 by considering other examples apt to better illustrate the ideal of epistemic economy in mathematical recasting. The new examples are drawn from second-order definitions of real numbers and allow the comparison of three different approaches to the definition of these numbers: by domain extension, as ratios of magnitudes, and as bicimal developments. These definitions are presented in detail (by often going further than any available presentation) and compared with respect to their epistemic economy. In doing so, original results and insights are offered, such as a faithful and still consistent rephrasing of Frege's definitions of reals, and an original and epistemically highly economical definition of real numbers as bicimal developments. This ensures the book is of interest to scholars and students in the philosophy of mathematics and logic.