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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
On the Derivability of Instantiation Properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
On the Meaning of Hilbert's Consistency Problem (Paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.
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 - manuscript
Dedekind's Proof by V2.0 Last Updated: 10 Dec 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo.Andrew Boucher - manuscript
Added to index2009-01-28
Total downloads10 ( #422,873 of 2,151,553 )
Recent downloads (6 months)1 ( #397,093 of 2,151,553 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.