Natural deduction based set theories: A new resolution of the old paradoxes
Journal of Symbolic Logic 51 (2):393-411 (1986)
| Abstract | The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension axiom scheme, can be viewed as an extension of classical logic, in contrast to the assertion of extra-logical axioms expressing truths about a pre-existing or constructed universe of sets. The paradoxes are disarmed in the extended classical semantics because truth values are only assigned to those sentences that can be grounded in atomic sentences | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPeter Schroeder-Heister (2007). Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1 (2).
Joseph S. Alper & Mark Bridger (1997). Mathematics, Models and Zeno's Paradoxes. Synthese 110 (1):143-166.
Joseph S. Alper & Mark Bridger (1997). Mathematics, Models and Zeno's Paradoxes. Synthese 110 (1):143-166.
Johannes Heidema (1990). An Axiom Schema of Comprehension of Zermelo–Fraenkel–Skolem Set Theory. History and Philosophy of Logic 11 (1):59-65.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
M. Randall Holmes (2004). Paradoxes in Double Extension Set Theories. Studia Logica 77 (1):41 - 57.
Keith Daynes (1989). Sets as Singularities in the Intensional Universe. Studia Logica 48 (1):111 - 128.
Boris Čulina (2013). Logic of Paradoxes in Classical Set Theories. Synthese 190 (3):525-547.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,171 of 548,977 )Recent downloads (6 months)2 ( #37,438 of 548,977 )How can I increase my downloads? |
My notes
Discussion
