David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophy 40 (153):197 - 206 (1965)
The Purpose of this paper is to ask how far Locke can be said to have anticipated modern theories of number, particularly the intuitionist theory of Brouwer and Heyting. It has in mind Mr Edward E. Dawson's statement that Locke's account of number was not merely ‘a good effort in his own day’ but that ‘what Locke had to say really was quite fundamental, and a good deal of modern mathematics assumes his position, either explicitly or implicitly’. Mr Dawson thinks that some of the central notions of the intuitionist theory are already present in the Essay Concerning Human Understanding , II, xvi, ‘Of Number’. We should like to examine the view
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Kevin Scharp (2008). Locke's Theory of Reflection. British Journal for the History of Philosophy 16 (1):25 – 63.
A. John Simmons (2009). Locke on the Death Penalty. Philosophy 69 (270):471-.
Dan Kaufman (2007). Locke on Individuation and the Corpuscular Basis of Kinds. Philosophy and Phenomenological Research 75 (3):499–534.
James Tully (1980). A Discourse on Property: John Locke and His Adversaries. Cambridge University Press.
Walter Ott (2012). What is Locke's Theory of Representation? British Journal for the History of Philosophy 20 (6):1077-1095.
E. J. Lowe (2003). Identity, Individuality, and Unity. Philosophy 78 (3):321-336.
I. C. Tipton (ed.) (1977). Locke on Human Understanding: Selected Essays. Oxford University Press.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
J. Lambek & P. J. Scott (1981). Intuitionist Type Theory and Foundations. Journal of Philosophical Logic 10 (1):101 - 115.
Added to index2010-08-10
Total downloads8 ( #276,630 of 1,726,249 )
Recent downloads (6 months)1 ( #369,877 of 1,726,249 )
How can I increase my downloads?