Abstract
The debate over the truth or falsity of Kant’s statement is still going on, and is far beyond the scope of this book. However, if “nature” is replaced by “mathematics” in the first sentence of the quotation, the issue specializes to the controversy over constructive versus classical mathematics: does everything in mathematics proceed according to rules? Evidently the subject of “rules” plays a central role. In the spirit of this book, we will examine some formal theories of rules, to see if they can shed any light on the issues. At this point the reader may reasonably wish to inquire, “What exactly are the issues?” I should tentatively reply,
-
(1)
What is the nature of “rules”?
-
(2)
What is the precise relationship between “rules” and mathematics?
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Beeson, M.J. (1985). Theories of Rules. In: Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68952-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-68952-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-68954-3
Online ISBN: 978-3-642-68952-9
eBook Packages: Springer Book Archive