Abstract
Arithmetical Logic is the title of a constructivist programme which aims to provide a logic of mathematics, rather than a mathematical logic. Specifically, it aims to provide a logic of arithmetic in which arithmetic is taken as the foundation of all mathematics. Such a logic of arithmetic is, in a sense, an arithmetization of logic, since the constructivist wishes to overturn the Fregean logicist perspective and make way for an internal logic of mathematical discourse. Here, formal logic does not have any special status; it is a theory of inference coupled with an arithmetical, rather than an algebraic or set-theoretic, representation theory.
This is a preview of subscription content, log in via an institution to check access.
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
Edwards, Harold M. [ 1977 ] Fermat’s Last Theorem, A Genetic Introduction to Algebraic Number Theory, New York: Springer-Verlag. Fermat, Pierre de [1891, 1894, 1896] Guvresf 3 volumes, Paris: Gauthier-Villars.
Field, Hartry H. [ 1980 ] Science Without Numbers, Oxford: Basil Black-well.
Gauthier, Yvon [ 1985 ] “A Theory of Local Negation: The Model and Some Applications”, Archiv fur mathematische Logik und Grundlagenforschung, 25, 127–143.
Gauthier, Yvon 1988 “The Internal Logic of Local Structures: A Representation Theorem for Local Negation”,Zeitschrift für mathematische Logic und Grundlagen der Mathematik, in press.
Goodstein, Reuben Louis [ 1951 ] Constructive Formalism, Leicester: Leicester University College.
Gödel, Kurt [ 1986 ] Collected Works, Vol. 1, S. Feferman (ed.), New York: Oxford University Press.
Kitcher, Philip [ 1983 ] The Nature of Mathematical Knowledge, New York: Oxford University Press.
Nelson, Edward [ 1986 ] Predicative Arithmetic, Princeton, N.J.: Princeton University Press.
Poincaré, Henri [ 1913 ] “La logique de Tinfini”, Derniires Pensees, Paris: Flammarion.
Ribenboim, Paulo [ 1979 ] 13 Lectures on Fermat’s Last Theorem, New York: Springer-Verlag.
Silverman, Joseph H. [ 1986 ] The Arithmetic of Elliptic Curves, New York: Springer-Verlag.
Skolem, Thoralf [ 1970 ] Selected Works in Logic, J. E. Fenstad (ed.), Oslo: Oslo Universitetsforlaget.
Steiner, Mark [ 1975 ] Mathematical Knowledge, Ithaca amp; London: Cornell
University Press.
Takeuti, Gaisi [ 1975 ] Proof Theory, Amsterdam: North-Holland.
Weil, Andre [ 1984 ] Number Theory, Boston: Birkhäuser.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Gauthier, Y. (1990). Logical & Philosophical Foundations for Arithmetical Logic. In: Irvine, A.D. (eds) Physicalism in Mathematics. The University of Western Ontario Series in Philosophy of Science, vol 45. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-1902-0_13
Download citation
DOI: https://doi.org/10.1007/978-94-009-1902-0_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-7348-6
Online ISBN: 978-94-009-1902-0
eBook Packages: Springer Book Archive