Abstract
Both the constructive and predicative approaches to mathematics arose during the period of what was felt to be a foundational crisis in the early part of this century. Each critiqued an essential logical aspect of classical mathematics, namely concerning the unrestricted use of the law of excluded middle on the one hand, and of apparently circular “impredicative” definitions on the other. But the positive redevelopment of mathematics along constructive, resp. predicative grounds did not emerge as really viable alternatives to classical, set-theoretically based mathematics until the 1960s. Now we have a massive amount of information, to which this lecture will constitute an introduction, about what can be done by what means, and about the theoretical interrelationships between various formal systems for constructive, predicative and classical analysis.
This is the last of my three lectures for the conference, Proof Theory: History and Philosophical Significance, held at the University of Roskilde, Denmark, Oct. 31-Nov. 1, 1997. See the first footnote to the first lecture, “Highlights in Proof Theory” for my acknowledgements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beeson, M., (1985). Foundation of Constructive Mathematics. Berlin: Springer-Verlag.
Bishop, E., (1967). Foundations of Constructive Analysis. New York: McGraw Hill.
Bishop, E., Bridges, D. S., (1985). Constructive Analysis. Berlin: Springer-Verlag.
Bridges, D. S., (1979). Constructive Functional Analysis. London: Pitman.
Dummett, M., (1979). Elements of Intuition. Ism.. Oxford: Clarendon Press.
Feferman, S., (1964). “Systems of predicative analysis”,.1. Symbolic Logic, 29: 1–30.
Feferman, S., (1975). “A language and axioms for explicit mathematics”, in Algebra and Logic, Lecture Notes in Mathematics 450: 87–139.
Feferman, S., (1979). “Constructive theories of functions and classes”, in Logic Colloquium `78, Amsterdam: North-Holland: 159–224.
Feferman, S., (1987). “Proof Theory. A personal report”, Appendix to Takeuti, G., Proof Theory. Amsterdam: North-Holland: 447 485.
Feferman, S., (1988). “Weyl vindicated. Das Kontinuum 70 years later ” (1988). (Reprinted, with a Postscript., in [Feferman 1998 ]: 249–283.
Feferman, S, (1993). “Why a little bit goes a long way. Logical foundations of scientifically applicable mathematics ” (1993). (Reprinted in [Feferman 1998 ], 284–298.
Feferman, S., (1998). In the Light of Logic. New York: Oxford University Press.
Feferman, S., Jäger, G., (1996). “Systems of explicit mathematics with non-constructive p-operator,” Annals of Parr and Applied Logic, Part I. vol. 65 (1993): 243–263, Part II. vol. 79 (1996): 37–52.
Friedman, H., (1977). “Set theoretic foundations for constructive analysis”, Annals of Mathematics, 105: 1–28.
Lorenzen, P., (1965). Differential und Integral. Frankfurt: Akadem. Verlag.
Martin-Löf, P., (1984). Intuitionistic Type Theory. Naples: Bibliopolis.
Mines, R., Richman, F., Ruitenberg, W. (1988). A Course in Constructive Algebra. Berlin: Springer-Verlag.
Schütte, K., (1965). “Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik,” Archiv für Math. Logik und Grundlagenforschung, 7: 45–60.
Sieg, W. (1991). “Herbrand analyses”, Archive for Mathematical Logic, 30: 409–441.
Simpson, S. G. (1998). Subsystems of Second Order Arithmetic. Berlin: Springer-Verlag.
Takeuti, G., (1978). Two Applications of Logic to Mathematics. Princeton: Princeton University Press.
Troelstra, A.S., van Dalen, D. (1988). Constructivism in Mathematics I, II. Amsterdam: North-Holland.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Feferman, S. (2000). Relationships between Constructive, Predicative and Classical Systems of Analysis. In: Hendricks, V.F., Pedersen, S.A., Jørgensen, K.F. (eds) Proof Theory. Synthese Library, vol 292. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2796-9_10
Download citation
DOI: https://doi.org/10.1007/978-94-017-2796-9_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5553-8
Online ISBN: 978-94-017-2796-9
eBook Packages: Springer Book Archive