David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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?
|Keywords||No keywords specified (fix it)|
No categories specified
(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
George Kafkoulis (1994). The Consistency Strength of an Infinitary Ramsey Property. Journal of Symbolic Logic 59 (4):1158-1195.
Harvey Friedman (1977). On the Derivability of Instantiation Properties. Journal of Symbolic Logic 42 (4):506-514.
Enrico Moriconi (2003). On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137 (1-2):129 - 139.
Andrew Boucher, A Philosophical Introduction to the Foundations of Elementary Arithmetic by V1.03 Last Updated: 1 Jan 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo. [REVIEW]
Andrew Boucher, Dedekind's Proof by V2.0 Last Updated: 10 Dec 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo.
Added to index2009-01-28
Total downloads6 ( #217,583 of 1,139,970 )
Recent downloads (6 months)1 ( #157,515 of 1,139,970 )
How can I increase my downloads?