This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

12 found
Order:
  1. added 2018-03-06
    Gödel's Argument for Cantorian Cardinality.Matthew W. Parker - 2019 - Noûs 53 (2):375-393.
    On the first page of “What is Cantor's Continuum Problem?”, Gödel argues that Cantor's theory of cardinality, where a bijection implies equal number, is in some sense uniquely determined. The argument, involving a thought experiment with sets of physical objects, is initially persuasive, but recent authors have developed alternative theories of cardinality that are consistent with the standard set theory ZFC and have appealing algebraic features that Cantor's powers lack, as well as some promise for applications. Here we diagnose Gödel's (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2018-03-01
    Size and Function.Bruno Whittle - 2018 - Erkenntnis 83 (4):853-873.
    Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2018-03-01
    Reply to Vann McGee's 'Whittle's Assault on Cantor’s Paradise'.Bruno Whittle - 2015 - In Oxford Studies in Metaphysics: Volume 9. Oxford University Press. pp. 33-41.
    This is a reply to Vann McGee’s response to my paper, ‘On Infinite Size’.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-02-17
    Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. added 2017-04-30
    On Infinite Size.Bruno Whittle - 2015 - In Oxford Studies in Metaphysics: Volume 9. Oxford University Press. pp. 3-19.
    Cantor showed that there are infinite sets that do not have one-to-one correspondences between them. The standard understanding of this result is that it shows that there are different sizes of infinity. This paper challenges this standard understanding, and argues, more generally, that we do not have any reason to think that there are different sizes of infinity. Two arguments are given against the claim that Cantor established that there are different such sizes: one involves an analogy between Cantor’s result (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. added 2016-07-11
    Basic Principles of Mathematical Logic.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    This book concisely states the main laws and precepts of formal logic along with their immediate corollaries. Commentary is kept to a minimum.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. added 2016-07-11
    Mathematical Logic and Formal Arithmetic: Key Definitions and Principles.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    This books states, as clearly and concisely as possible, the most fundamental principles of set-theory and mathematical logic. Included is an original proof of the incompleteness of formal logic. Also included are clear and rigorous definitions of the primary arithmetical operations, as well as clear expositions of the arithmetic of transfinite cardinals.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. added 2016-03-23
    Inverse Operations with Transfinite Numbers and the Kalam Cosmological Argument.Graham Oppy - 1995 - International Philosophical Quarterly 35 (2):219-221.
    William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. added 2014-09-30
    Eliminating the Ordinals From Proofs. An Analysis of Transfinite Recursion.Edoardo Rivello - 2014 - In Proceedings of the conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
    Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which characterises (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. added 2012-07-05
    Finite Cardinals in Quasi-Set Theory.Jonas R. Becker Arenhart - 2012 - Studia Logica 100 (3):437-452.
    Quasi-set theory is a ZFU-like axiomatic set theory, which deals with two kinds of ur-elements: M-atoms, objects like the atoms of ZFU, and m-atoms, items for which the usual identity relation is not defined. One of the motivations to advance such a theory is to deal properly with collections of items like particles in non-relativistic quantum mechanics when these are understood as being non-individuals in the sense that they may be indistinguishable although identity does not apply to them. According to (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11. added 2011-02-01
    Set Theory and its Philosophy: A Critical Introduction.Michael Potter - 2004 - Oxford University Press.
    Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  12. added 2011-01-29
    Cantor and the Burali-Forti Paradox.Christopher Menzel - 1984 - The Monist 67 (1):92-107.
    In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 1895, and that he offered his solution to it in his famous 1899 letter to Dedekind. This account, however, leaves it something of a mystery why Cantor never discussed the paradox in his writings. Far from regarding the foundations of set theory to be shaken, he showed no apparent concern over the paradox and its implications (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations