|Abstract||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)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
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 downloads3 ( #202,107 of 549,694 )
Recent downloads (6 months)1 ( #63,425 of 549,694 )
How can I increase my downloads?