Related categories

37 found
Order:
  1. Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
    We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Must We Believe in Set Theory?George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 120-132.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  3. Iteration Again.George Boolos - 1989 - Philosophical Topics 17 (2):5-21.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  4. The Iterative Conception of Set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   48 citations  
  5. Universality in Set Theories.Manuel Bremer - 2010 - Ontos.
    The book discusses the fate of universality and a universal set in several set theories.
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  6. Kurt Gödel: Philosopher-Scientist.Gabriella Crocco & Eva-Maria Engelen (eds.) - 2016 - Marseille: Presses universitaires de Provence.
    This volume represents the beginning of a new stage of research in interpreting Kurt Gödel’s philosophy in relation to his scientific work. It is more than a collection of essays on Gödel. It is in fact the product of a long enduring international collaboration on Kurt Gödel’s Philosophical Notebooks (Max Phil). New and significant material has been made accessible to a group of experts, on which they rely for their articles. In addition to this, Gödel’s Nachlass is presented anew by (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  7. The Iterative Conception of Set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
    The phrase ‘The iterative conception of sets’ conjures up a picture of a particular settheoretic universe – the cumulative hierarchy – and the constant conjunction of phrasewith-picture is so reliable that people tend to think that the cumulative hierarchy is all there is to the iterative conception of sets: if you conceive sets iteratively, then the result is the cumulative hierarchy. In this paper, I shall be arguing that this is a mistake: the iterative conception of set is a good (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  8. Iterative Set Theory, MICHAEL D. POTTER.Hj Glock - 1993 - Philosophy 68 (264).
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  9. The Unlimited.Santos Gonçalo - manuscript
    The existence of potential collections has been the object of different philosophical debates. I discuss three of those debates. I argue that the collection of all natural numbers need not be understood as a potentially infinite collection. I argue that the collection of all sets need not be understood as an indefinitely extensible collection. Finally, I argue that the collection of everything needs to be understood as an unlimited collection.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. Maximality Principles in Set Theory.Luca Incurvati - forthcoming - Philosophia Mathematica:nkw011.
    In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.
    The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the root of this neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  12. How to Be a Minimalist About Sets.Luca Incurvati - 2012 - Philosophical Studies 159 (1):69-87.
    According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13. Logic, Logic, and Logic.Richard Jeffrey (ed.) - 1998 - Harvard University Press.
  14. Nine Kinds of Number.John-Michael Kuczynski - 2016 - JOHN-MICHAEL KUCZYNSKI.
    There are nine kinds of number: cardinal (measure of class size), ordinal (corresponds to position), generalized ordinal (position in multidimensional discrete manifold), signed (relation between cardinals), rational (different kind of relation between cardinals), real (limit), complex (pair of reals), transfinite (size of reflexive class), and dimension (measure of complexity.
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  15. The Potential Hierarchy of Sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
    Some reasons to regard the cumulative hierarchy of sets as potential rather than actual are discussed. Motivated by this, a modal set theory is developed which encapsulates this potentialist conception. The resulting theory is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  16. Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
    Say that some things form a set just in case there is a set whose members are precisely the things in question. For instance, all the inhabitants of New York form a set. So do all the stars in the universe. And so do all the natural numbers. Under what conditions do some things form a set?
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  17. Burgess on Plural Logic and Set Theory.Øystein Linnebo - 2007 - Philosophia Mathematica 15 (1):79-93.
    John Burgess in a 2004 paper combined plural logic and a new version of the idea of limitation of size to give an elegant motivation of the axioms of ZFC set theory. His proposal is meant to improve on earlier work by Paul Bernays in two ways. I argue that both attempted improvements fail. I am grateful to Philip Welch, two anonymous referees, and especially Ignacio Jané for written comments on earlier versions of this paper, which have led to substantial (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
  19. The Argument From Collections.Christopher Menzel - forthcoming - In J. Walls & T. Dougherty (eds.), Two Dozen (or so) Arguments for God: The Plantinga Project. Oxford University Press.
    Very broadly, an argument from collections is an argument that purports to show that our beliefs about sets imply — in some sense — the existence of God. Plantinga (2007) first sketched such an argument in “Two Dozen” and filled it out somewhat in his 2011 monograph Where the Conflict Really Lies: Religion, Science, and Naturalism. In this paper I reconstruct what strikes me as the most plausible version of Plantinga’s argument. While it is a good argument in at least (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  20. Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
    The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  21. On the Iterative Explanation of the Paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.
    As the story goes, the source of the paradoxes of naive set theory lies in a conflation of two distinct conceptions of set: the so-called iterative, or mathematical, conception, and the Fregean, or logical, conception. While the latter conception is provably inconsistent, the former, as Godel notes, "has never led to any antinomy whatsoever". More important, the iterative conception explains the paradoxes by showing precisely where the Fregean conception goes wrong by enabling us to distinguish between sets and proper classes, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Iterative Set Theory.M. D. Potter - 1993 - Philosophical Quarterly 44 (171):178-193.
    Discusses the metaphysics of the iterative conception of set.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23. Paradox, ZF and the Axiom of Foundation.Adam Rieger - 2011 - In D. DeVidi, M. Hallet & P. Clark (eds.), Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell. Springer.
    This paper seeks to question the position of ZF as the dominant system of set theory, and in particular to examine whether there is any philosophical justification for the axiom of foundation. After some historical observations regarding Poincare and Russell, and the notions of circularity and hierarchy, the iterative conception of set is argued to be a semi-constructvist hybrid without philosophical coherence. ZF cannot be justified as necessary to avoid paradoxes, as axiomatizing a coherent notion of set, nor on pragmatic (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24. Indefinite Divisibility.Jeffrey Sanford Russell - 2015 - Inquiry : An Interdisciplinary Journal of Philosophy (3):1-25.
    Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  25. Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.
    The iterative conception of set commonly is regarded as supporting the axioms of Zermelo-Fraenkel set theory (ZF). This paper presents a modified version of the iterative conception of set and explores the consequences of that modified version for set theory. The modified conception maintains most of the features of the iterative conception of set, but allows for some non-wellfounded sets. It is suggested that this modified iterative conception of set supports the axioms of Quine's set theory NF.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26. Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
    We describe a first-order theory of generalized sets intended to allow a similar treatment of sets and proper classes. The theory is motivated by the iterative conception of set. It has a ternary membership symbol interpreted as membership relative to a set-building step. Set and proper class are defined notions. We prove that sets and proper classes with a defined membership form an inner model of Bernays-Morse class theory. We extend ordinal and cardinal notions to generalized sets and prove ordinal (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27. Why is the Universe of Sets Not a Set?Zeynep Soysal - forthcoming - Synthese:1-23.
    According to the iterative conception of sets, standardly formalized by ZFC, there is no set of all sets. But why is there no set of all sets? A simple-minded, though unpopular, “minimal” explanation for why there is no set of all sets is that the supposition that there is contradicts some axioms of ZFC. In this paper, I first explain the core complaint against the minimal explanation, and then argue against the two main alternative answers to the guiding question. I (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.
    Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29. The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2012 - Journal of Philosophical Logic 42 (5):1-29.
    The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal stage theories that formalise this account. To avoid the paradoxes, such accounts deny the Maximality thesis, the compelling thesis that any sets can form a set. This paper seeks to save the Maximality thesis by taking the tense more seriously than has been customary (although not literally). A (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  30. Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 2003 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
  31. Constructing Cardinals From Below.William Tait - manuscript
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  32. Wittgenstein And Labyrinth Of ‘Actual Infinity’: The Critique Of Transfinite Set Theory.Valérie Lynn Therrien - 2012 - Ithaque 10:43-65.
    In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the concept (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33. Nominalist Neologicism.Rafal Urbaniak - manuscript
    The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  34. Neologicist Nominalism.Rafal Urbaniak - 2010 - Studia Logica 96 (2):149-173.
    The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those (...)
    Remove from this list  
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  35. Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.
    We look at recent accounts of the indefinite extensibility of the concept set and compare them with a certain linguistic model of indefinite extensibility. We suggest that the linguistic model has much to recommend over alternative accounts of indefinite extensibility, and we defend it against three prima facie objections.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36. Categoricity Theorems and Conceptions of Set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
    Two models of second-order ZFC need not be isomorphic to each other, but at least one is isomorphic to an initial segment of the other. The situation is subtler for impure set theory, but Vann McGee has recently proved a categoricity result for second-order ZFCU plus the axiom that the urelements form a set. Two models of this theory with the same universe of discourse need not be isomorphic to each other, but the pure sets of one are isomorphic to (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37. Über Grenzzahlen Und Mengenbereiche: Neue Untersuchungen Über Die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.