Repository | Book | Chapter
(1990) Physicalism in mathematics, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-94-009-1902-0_13
Full citation:
Gauthier, Y. (1990)., Logical & philosophical foundations for arithmetical logic, in A. D. Irvine (ed.), Physicalism in mathematics, Dordrecht, Springer, pp. 331-342.
This document is unfortunately not available for download at the moment.