Powell, Andrew (2000) A Note on Natural Number. Teorema, XIX (2). pp. 57-63.
PDF
POWELL.pdf
Download (159kB)
POWELL.pdf
Download (159kB)
Abstract
This paper discusses ways in which Kant's characterization of natural number in the Critique of Pure Reason could be made precise. The proposal is that natural numbers are functional entities which are best expressed in first order logic augmented by the lambda calculus. In reaching this view, an analysis of Frege's views on natural number in Die Grundlagen der Arithmetik (The Foundations of Arithmetic) is provided.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | Calculus; Logic; Natural-Number; Frege, Kant |
Subjects: | Philosophie > Philosophische Journale, Kongresse, Vereinigungen > Teorema. Revista internacional de filosofia > Volume XIX (2000) Philosophie > Philosophische Disziplinen > Logik, analytische Philosophie |
Depositing User: | Wolfgang Heuer |
Date Deposited: | 06 Dec 2020 13:55 |
Last Modified: | 06 Dec 2020 13:55 |
URI: | http://sammelpunkt.philo.at/id/eprint/2735 |