Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Andrew Boucher, The Existence of Numbers (Or: What is the Status of Arithmetic?) By V2.00 Created: 11 Oct 2001 Modified: 3 June 2002 Please Send Your Comments to Abo.I begin with a personal confession. Philosophical discussions of existence have always bored me. When they occur, my eyes glaze over and my attention falters. Basically ontological questions often seem best decided by banging on the table--rocks exist, fairies do not. Argument can appear long-winded and miss the point. Sometimes a quick distinction resolves any apparent difficulty. Does a falling tree in an earless forest make noise, ie does the noise exist? Well, if noise means that an ear must be there to hear it, then the answer to the question is evidently "no." But if noise means that, if there were (counterfactually) someone there, then he would hear it, then just as obviously, the answer becomes "yes.".In my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Scholar
Discussion of Andrew Boucher, The existence of numbers (or: What is the status of arithmetic?) By v2.00 created: 11 oct 2001 modified: 3 June 2002 please send your comments to abo
Nothing in this forum yet.
Similar books and articles
As it is currently used, "foundations of arithmetic" can be a misleading expression. It is not always, as the name might indicate, being used as a plural term meaning X = {x : x is a foundation of arithmetic}. Instead it has come to stand for a philosophico-logical domain of knowledge, concerned with axiom systems, structures, and analyses of arithmetic concepts. It is a bit as if "rock" had come to mean "geology." The conflation of subject matter and its study (...)
No categories
In "The Nature and Meaning of Numbers," Dedekind produces an original, quite remarkable proof for the holy grail in the foundations of elementary arithmetic, that there are an infinite number of things. It goes like this. [p, 64 in the Dover edition.] Consider the set S of things which can be objects of my thought. Define the function phi(s), which maps an element s of S to the thought that s can be an object of my thought. Then phi is (...)
No categories
On the one hand, first-order theories are able to assert the existence of objects. For instance, ZF set theory asserts the existence of objects called the power set, while Peano Arithmetic asserts the existence of zero. On the other hand, a first-order theory may or not be consistent: it is if and only if no contradiction is a theorem. Let us ask, What is the connection between consistency and existence?
No categories
Noise appears to critique the prevailing cognitive and social habits of modernity by providing concrete and particular art objects that demand attention and jar us from one-dimensional life. Noise sounds, for a moment, like a true alternative not only to contemporary music but to a whole way of thinking through abstract generalisation and living through commercial mediation. Understood in this way, noise makes sense. Once noise is no longer inscrutable, however, it is assimilated into popular culture and becomes a commercial (...)
No categories
