Set Theory

Edited by Toby Meadows (University of California, Irvine)
View topic on PhilPapers for more information
Related categories

214 found
Order:
More results on PhilPapers
1 — 50 / 214
Material to categorize
  1. A General Framework for a Second Philosophy Analysis of Set-Theoretic Methodology.Carolin Antos & Deborah Kant - manuscript
    Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  3. Set-Theoretic Pluralism and the Benacerraf Problem.Justin Clarke-Doane - 2020 - Philosophical Studies 177 (7):2013-2030.
    Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Inner-Model Reflection Principles.Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz & Ralf Schindler - 2020 - Studia Logica 108 (3):573-595.
    We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. On Classical Set-Compatibility.Luis Felipe Bartolo Alegre - 2020 - El Jardín de Senderos Que Se Bifurcan y Confluyen: Filosofía, Lógica y Matemáticas.
    In this paper, I generalise the logical concept of compatibility into a broader set-theoretical one. The basic idea is that two sets are incompatible if they produce at least one pair of opposite objects under some operation. I formalise opposition as an operation ′ ∶ E → E, where E is the set of opposable elements of our universe U, and I propose some models. From this, I define a relation ℘U × ℘U × ℘U^℘U, which has (mutual) logical compatibility (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. About Multidimensional Spaces.Alexander Klimets - 2004 - Physics of Consciousness and Life,Cosmology and Astrophysics 4 (3):41-44.
    In the article, based on the philosophical analysis of the concept of "three-dimensional space", a model of multidimensional space is constructed, reflecting the properties of intersections of multidimensional spaces. The model reveals some unusual aspects of multidimensional spaces.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Numerical Infinities and Infinitesimals: Methodology, Applications, and Repercussions on Two Hilbert Problems.Yaroslav Sergeyev - 2017 - EMS Surveys in Mathematical Sciences 4 (2):219–320.
    In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Metaphysical and Absolute Possibility.Justin Clarke-Doane - 2019 - Synthese 198 (Suppl 8):1861-1872.
    It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  9. Infinite Value and the Best of All Possible Worlds.Nevin Climenhaga - 2018 - Philosophy and Phenomenological Research 97 (2):367-392.
    A common argument for atheism runs as follows: God would not create a world worse than other worlds he could have created instead. However, if God exists, he could have created a better world than this one. Therefore, God does not exist. In this paper I challenge the second premise of this argument. I argue that if God exists, our world will continue without end, with God continuing to create value-bearers, and sustaining and perfecting the value-bearers he has already created. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of second-order (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. There is no set of all truths.Patrick Grim - 1984 - Analysis 44 (4):206.
    A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   27 citations  
  12. Ortega y Gasset on Georg Cantor’s Theory of Transfinite Numbers.Lior Rabi - 2016 - Kairos (15):46-70.
    Ortega y Gasset is known for his philosophy of life and his effort to propose an alternative to both realism and idealism. The goal of this article is to focus on an unfamiliar aspect of his thought. The focus will be given to Ortega’s interpretation of the advancements in modern mathematics in general and Cantor’s theory of transfinite numbers in particular. The main argument is that Ortega acknowledged the historical importance of the Cantor’s Set Theory, analyzed it and articulated a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Groups, Sets, and Wholes.Barry Smith - 2003 - Rivista di Estetica 43 (24):126-127.
    As he recalls in his book Naive Physics, Paolo Bozzi’s experiments on naïve or phenomenological physics were partly inspired by Aristotle’s spokesman Simplicio in Galileo’s Dialogue. Aristotle’s ‘naïve’ views of physical reality reflect the ways in which we are disposed perceptually to organize the physical reality we see. In what follows I want to apply this idea to the notion of a group, a term which I shall apply as an umbrella expression embracing ordinary visible collections (of pieces of fruit (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. ""Lambda Theory: Introduction of a Constant for" Nothing" Into Set Theory, a Model of Consistency and Most Noticeable Conclusions.Laurent Dubois - 2013 - Logique Et Analyse 56 (222):165-181.
    The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets also clearly appear (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Defending the Axioms-On the Philosophical Foundations of Set Theory, Penelope Maddy. [REVIEW]Eduardo Castro - 2012 - Teorema: International Journal of Philosophy 31 (1):147-150.
    Review of Maddy, Penelope "Defending the Axioms".
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Glossary of Ontology.Juan José Luetich - 2012 - Identification Transactions of The Luventicus Academy (ISSN 1666-7581) 1 (2):4.
    The previous issue provided an introduction to ontology in which the word “being,” for example, was used in two different ways. Here we introduce a list that includes the following terms with their precise definitions and comments regarding the use they should be given: to be, as a verb with or without meaning, being as a noun; essence and existence; chaos, demiurge and cosmos; ontology and semiology; ontological tables and Carroll diagrams.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
    In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Individuals, Universals, Collections: On the Foundational Relations of Ontology.Thomas Bittner, Maureen Donnelly & Barry Smith - 2004 - In Achille Varzi Laure Vieu (ed.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press. pp. 37–48.
    This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  19. On Sets and Worlds: A Reply to Menzel.Patrick Grim - 1986 - Analysis 46 (4):186 - 191.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   20 citations  
  20. On Omniscience and a 'Set of All Truths': A Reply to Bringsjord.Patrick Grim - 1990 - Analysis 50 (4):271 - 276.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. Review of Oppy's Philosophical Perspectives on Infinity. [REVIEW]Anne Newstead - 2007 - Australasian Journal of Philosophy 85 (4):679-695.
    This is a book review of Oppy's "Philosophical Perspectives on Infinity", which is of interest to those in metaphysics, epistemology, philosophy of science, mathematics, and philosophy of religion.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Worlds by Supervenience: Some Further Problems.Patrick Grim - 1997 - Analysis 57 (2):146-51.
    Allen s has proposed a new approach to possible worlds, designed explicitly to overcome Cantorian difficulties for possible worlds construed as maximal consistent set of propositions. I emphasize some of the distinctive features of Hazenworlds, some of their weaknesses, and some further Cantorian problems for worlds against which they seem powerless.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.
    Context: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual analysis. In particular, I argue that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Relevance, Relatedness and Restricted Set Theory.Barry Smith - 1991 - In Georg Schurz & Georg Jakob Wilhelm Dorn (eds.), Advances in Scientific Philosophy. Amsterdam: Rodopi. pp. 45-56.
    Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   17 citations  
The Nature of Sets
  1. The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Note on the Significance of the New Logic.Frederique Janssen-Lauret - 2018 - The Reasoner 6 (12):47-48.
    Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. 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   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Relevant First-Order Logic LP# and Curry’s Paradox Resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
    In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Groundedness - Its Logic and Metaphysics.Jönne Kriener - 2014 - Dissertation, Birkbeck College, University of London
    In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory of proper (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. What Constitutes a Formal Analogy?Kenneth Olson & Gilbert Plumer - 2002 - In Hans V. Hansen, Christopher W. Tindale, J. Anthony Blair, Ralph H. Johnson & Robert C. Pinto (eds.), Argumentation and its Applications [CD-ROM]. Ontario Society for the Study of Argumentation. pp. 1-8.
    There is ample justification for having analogical material in standardized tests for graduate school admission, perhaps especially for law school. We think that formal-analogy questions should compare different scenarios whose structure is the same in terms of the number of objects and the formal properties of their relations. The paper deals with this narrower question of how legitimately to have formal analogy test items, and the broader question of what constitutes a formal analogy in general.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Retrieving the Mathematical Mission of the Continuum Concept From the Transfinitely Reductionist Debris of Cantor’s Paradise. Extended Abstract.Edward G. Belaga - forthcoming - International Journal of Pure and Applied Mathematics.
    What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
The Iterative Conception of Set
  1. Considerações de Brouwer sobre espaço e infinitude: O idealismo de Brouwer Diante do Problema Apresentado por Dummett Quanto à Possibilidade Teórica de uma Infinitude Espacial.Paulo Júnio de Oliveira - 2019 - Kinesis 11:94-108.
    Resumo Neste artigo, será discutida a noção de “infinitude cardinal” – a qual seria predicada de um “conjunto” – e a noção de “infinitude ordinal” – a qual seria predicada de um “processo”. A partir dessa distinção conceitual, será abordado o principal problema desse artigo, i.e., o problema da possibilidade teórica de uma infinitude de estrelas tratado por Dummett em sua obra Elements of Intuitionism. O filósofo inglês sugere que, mesmo diante dessa possibilidade teórica, deveria ser possível predicar apenas infinitude (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Against the Iterative Conception of Set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.
    According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherst
    I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.
    L’Ipotesi del Continuo, formulata da Cantor nel 1878, è una delle congetture più note della teoria degli insiemi. Il Problema del Continuo, che ad essa è collegato, fu collocato da Hilbert, nel 1900, fra i principali problemi insoluti della matematica. A seguito della dimostrazione di indipendenza dell’Ipotesi del Continuo dagli assiomi della teoria degli insiemi, lo status attuale del problema è controverso. In anni più recenti, la ricerca di una soluzione del Problema del Continuo è stata anche una delle ragioni (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. The Argument From Collections.Christopher Menzel - 2018 - In J. Walls & T. Dougherty (eds.), Two Dozen (or so) Arguments for God: The Plantinga Project. New York: Oxford University Press. pp. 29-58.
    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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Indefinite Divisibility.Jeffrey Sanford Russell - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (3):239-263.
    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   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  9. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. 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   Download  
     
    Export citation  
     
    Bookmark   10 citations  
Ontology of Sets
  1. Against the Countable Transitive Model Approach to Forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020.
    In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside V itself, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elseviers: SSRN) 12 (10):1-33.
    The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Considerações de Brouwer sobre espaço e infinitude: O idealismo de Brouwer Diante do Problema Apresentado por Dummett Quanto à Possibilidade Teórica de uma Infinitude Espacial.Paulo Júnio de Oliveira - 2019 - Kinesis 11:94-108.
    Resumo Neste artigo, será discutida a noção de “infinitude cardinal” – a qual seria predicada de um “conjunto” – e a noção de “infinitude ordinal” – a qual seria predicada de um “processo”. A partir dessa distinção conceitual, será abordado o principal problema desse artigo, i.e., o problema da possibilidade teórica de uma infinitude de estrelas tratado por Dummett em sua obra Elements of Intuitionism. O filósofo inglês sugere que, mesmo diante dessa possibilidade teórica, deveria ser possível predicar apenas infinitude (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. On the Varieties of Abstract Objects.James E. Davies - 2019 - Australasian Journal of Philosophy 97 (4):809-823.
    I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and causal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. What We Talk About When We Talk About Numbers.Richard Pettigrew - 2018 - Annals of Pure and Applied Logic 169 (12):1437-1456.
    In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. The Argument From Collections.Christopher Menzel - 2018 - In J. Walls & T. Dougherty (eds.), Two Dozen (or so) Arguments for God: The Plantinga Project. New York: Oxford University Press. pp. 29-58.
    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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. A Note on Gabriel Uzquiano’s “Varieties of Indefinite Extensibility”.Simon Hewitt - unknown - Notre Dame Journal of Formal Logic 59 (3):455-459.
    It is argued that Gabriel Uzquiano's approach to set-theoretic indefinite extensibility is a version of in rebus structuralism, and therefore suffers from a vacuity problem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Why Numbers Are Sets.Eric Steinhart - 2002 - Synthese 133 (3):343-361.
    I follow standard mathematical practice and theory to argue that the natural numbers are the finite von Neumann ordinals. I present the reasons standardly given for identifying the natural numbers with the finite von Neumann's. I give a detailed mathematical demonstration that 0 is {} and for every natural number n, n is the set of all natural numbers less than n. Natural numbers are sets. They are the finite von Neumann ordinals.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
1 — 50 / 214