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

58 found
Order:
1 — 50 / 58
  1. Are Large Cardinal Axioms Restrictive?Neil Barton - manuscript
    The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Mathematical Infinity, Its Inventors, Discoverers, Detractors, Defenders, Masters, Victims, Users, and Spectators.Edward G. Belaga - manuscript
    "The definitive clarification of the nature of the infinite has become necessary, not merely for the special interests of the individual sciences, but rather for the honour of the human understanding itself. The infinite has always stirred the emotions of mankind more deeply than any other question; the infinite has stimulated and fertilized reason as few other ideas have ; but also the infinite, more than other notion, is in need of clarification." (David Hilbert 1925).
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. The Construction of Transfinite Equivalence Algorithms.Han Geurdes - manuscript
    Context: Consistency of mathematical constructions in numerical analysis and the application of computerized proofs in the light of the occurrence of numerical chaos in simple systems. Purpose: To show that a computer in general and a numerical analysis in particular can add its own peculiarities to the subject under study. Hence the need of thorough theoretical studies on chaos in numerical simulation. Hence, a questioning of what e.g. a numerical disproof of a theorem in physics or a prediction in numerical (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - forthcoming - In Logic, Epistemology and the Unity of Science. Springer.
    In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not a major motivation (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. The Entanglement of Logic and Set Theory, Constructively.Laura Crosilla - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Conceptions of Set and the Foundations of Mathematics.Luca Incurvati - 2020 - Cambridge University Press.
    Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Mathematical and Moral Disagreement.Silvia Jonas - 2020 - Philosophical Quarterly 70 (279):302-327.
    The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, I argue (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. The Gödel Incompleteness Theorems (1931) by the Axiom of Choice.Vasil Penchev - 2020 - Econometrics: Mathematical Methods and Programming eJournal (Elsevier: SSRN) 13 (39):1-4.
    Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the relation of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. A Comparison of Type Theory with Set Theory.Ansten Klev - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag. pp. 271-292.
    This paper discusses some of the ways in which Martin-Löf type theory differs from set theory. The discussion concentrates on conceptual, rather than technical, differences. It revolves around four topics: sets versus types; syntax; functions; and identity. The difference between sets and types is spelt out as the difference between unified pluralities and kinds, or sorts. A detailed comparison is then offered of the syntax of the two languages. Emphasis is placed on the distinction between proposition and judgement, drawn by (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Rumfitt on the Logic of Set Theory.Øystein Linnebo - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):826-841.
    ABSTRACTAccording to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11. Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
    Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
    The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. The Significance of the New Logic.Walter Carnielli, Frederique Janssen-Lauret & William Pickering (eds.) - 2018 - Cambridge: Cambridge University Press.
    W. V. Quine was one of the most influential figures of twentieth-century American analytic philosophy. Although he wrote predominantly in English, in Brazil in 1942 he gave a series of lectures on logic and its philosophy in Portuguese, subsequently published as the book O Sentido da Nova Lógica. The book has never before been fully translated into English, and this volume is the first to make its content accessible to Anglophone philosophers. Quine would go on to develop revolutionary ideas about (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. A Naturalistic Justification of the Generic Multiverse with a Core.Matteo de Ceglie - 2018 - Contributions of the Austrian Ludwig Wittgenstein Society 26:34-36.
    In this paper, I argue that a naturalist approach in philosophy of mathematics justifies a pluralist conception of set theory. For the pluralist, there is not a Single Universe, but there is rather a Multiverse, composed by a plurality of universes generated by various set theories. In order to justify a pluralistic approach to sets, I apply the two naturalistic principles developed by Penelope Maddy (cfr. Maddy (1997)), UNIFY and MAXIMIZE, and analyze through them the potential of the set theoretic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. Wittgenstein on Cantor's Proof.Chrysoula Gitsoulis - 2018 - In Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Contributions of the 41st International Wittgenstein Symposium. pp. 67-69.
    Cantor’s proof that the reals are uncountable forms a central pillar in the edifices of higher order recursion theory and set theory. It also has important applications in model theory, and in the foundations of topology and analysis. Due partly to these factors, and to the simplicity and elegance of the proof, it has come to be accepted as part of the ABC’s of mathematics. But even if as an Archimedean point it supports tomes of mathematical theory, there is a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. Foundations and Philosophy.Dimitris Tsementzis & Hans Halvorson - 2018 - Philosophers' Imprint 18.
    The Univalent Foundations of mathematics take the point of view that all of mathematics can be encoded in terms of spatial notions like "point" and "path". We will argue that this new point of view has important implications for philosophy, and especially for those parts of analytic philosophy that take set theory and first-order logic as their benchmark of rigor. To do so, we will explore the connection between foundations and philosophy, outline what is distinctive about the logic of the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Multiversism and Concepts of Set: How Much Relativism Is Acceptable?Neil Barton - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. Filmat Studies in the Philosophy of Mathematics. Springer Verlag. pp. 189-209.
    Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Restrictiveness Relative to Notions of Interpretation.Luca Incurvati & Benedikt Löwe - 2016 - Review of Symbolic Logic 9 (2): 238-250.
    Maddy gave a semi-formal account of restrictiveness by defining a formal notion based on a class of interpretations and explaining how to handle false positives and false negatives. Recently, Hamkins pointed out some structural issues with Maddy's definition. We look at Maddy's formal definitions from the point of view of an abstract interpretation relation. We consider various candidates for this interpretation relation, including one that is close to Maddy's original notion, but fixes the issues raised by Hamkins. Our work brings (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Functions, Bijections, and Mapping-Relations.John-Michael Kuczynski - 2016 - JOHN-MICHAEL KUCZYNSKI.
    The significance of the concept of a mathematical transformation is explained. In particular, it is explained how to construct true statements concerning n-dimensional spaces, for arbitrary n, on the basis of true statements concerning two-dimensional spaces.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. 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  
     
    Bookmark   6 citations  
  22. UN SEMPLICE MODO PER TRATTARE LE GRANDEZZE INFINITE ED INFINITESIME.Yaroslav Sergeyev - 2015 - la Matematica Nella Società E Nella Cultura: Rivista Dell’Unione Matematica Italiana, Serie I 8:111-147.
    A new computational methodology allowing one to work in a new way with infinities and infinitesimals is presented in this paper. The new approach, among other things, gives the possibility to calculate the number of elements of certain infinite sets, avoids indeterminate forms and various kinds of divergences. This methodology has been used by the author as a starting point in developing a new kind of computer – the Infinity Computer – able to execute computations and to store in its (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Reply to Florio and Shapiro.Øystein Linnebo & Agustín Rayo - 2014 - Mind 123 (489):175-181.
    Florio and Shapiro take issue with an argument in ‘Hierarchies Ontological and Ideological’ for the conclusion that the set-theoretic hierarchy is open-ended. Here we clarify and reinforce the argument in light of their concerns.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Logic of Paradoxes in Classical Set Theories.Boris Čulina - 2013 - Synthese 190 (3):525-547.
    According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25. Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
    This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26. Lesniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Springer.
    With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. The Set-Theoretic Multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
    The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  28. La notion husserlienne de multiplicité : au-delà de Cantor et Riemann.Carlo Ierna - 2012 - Methodos. Savoirs Et Textes 12 (12).
    The concept of a Mannigfaltigkeit in Husserl has been given various interpretations, due to its shifting role in his works. Many authors have been misled by this term, placing it in the context of Husserl’s early period in Halle, while writing the Philosophy of Arithmetic, as a friend and colleague of Georg Cantor.Yet at the time, Husserl distanced himself explicitly from Cantor’s definition and rather took Bernhard Riemann as example, having studied and lectured extensively on Riemann’s theories of space. Husserl’s (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Hierarchies Ontological and Ideological.Øystein Linnebo & Agustin Rayo - 2012 - Mind 121 (482):269 - 308.
    Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  30. To Be or to Be Not, That is the Dilemma.Juan José Luetich - 2012 - Identification Transactions of The Luventicus Academy (ISSN 1666-7581) 1 (1):4.
    A set is precisely defined. A given element either belongs or not to a set. However, since all of the elements being considered belong to the universe, if the element does not belong to the set, it belongs to its complement, that is, what remains after all of the elements from the set are removed from the universe.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
  32. Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
    We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  33. Can the Continuum Hypothesis Be Solved?Juliette Kennedy - 2011 - The Institute Letter.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Category Theory as an Autonomous Foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.
    Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory. Focusing on a categorical theory of sets, we argue that a strong case can be made for its logical and conceptual autonomy. Its justificatory autonomy turns on whether the objects of a foundation for mathematics should be specified only up to isomorphism, as is customary in other (...)
    Remove from this list   Direct download (15 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  35. Теоремата на Мартин Льоб във философска интерпретация.Vasil Penchev - 2011 - Philosophical Alternatives 20 (4):142-152.
    А necessary and sllmcient condilion that а given proposition (о Ье provable in such а theory that allows (о Ье assigned to the proposition а Gödеl пunbег fог containing Реanо arithmetic is that Gödеl number itself. This is tlle sense о[ Martin LöЬ's theorem (1955). Now wе сan рut several philosophpllical questions. Is the Gödеl numbег of а propositional formula necessarily finite or onthe contrary? What would the Gödel number of а theorem be containing Реanо arithmetic itself? That is the (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Set Theory: Constructive and Intuitionistic Zf.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
    Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970's and they represent a formal context within which to codify mathematics based on intuitionistic logic. They are formulated on the basis of the standard first order language of Zermelo-Fraenkel set theory and make no direct use of inherently constructive ideas. In working in constructive and intuitionistic ZF we can thus (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37. A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
    If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of Hamkins.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38. Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. [REVIEW]Gregory Moore - 2010 - Isis 101:895-896.
  39. The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory.Richard Pettigrew - 2010 - Cahiers du Centre de Logique 17:99-118.
    In this paper, I pursue such a logical foundation for arithmetic in a variant of Zermelo set theory that has axioms of subset separation only for quantifier-free formulae, and according to which all sets are Dedekind finite. In section 2, I describe this variant theory, which I call ZFin0. And in section 3, I sketch foundations for arithmetic in ZFin0 and prove that certain foundational propositions that are theorems of the standard Zermelian foundation for arithmetic are independent of ZFin0.<br><br>An equivalent (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Counting Systems and the First Hilbert Problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.
    The First Hilbert problem is studied in this paper by applying two instruments: a new methodology distinguishing between mathematical objects and mathematical languages used to describe these objects; and a new numeral system allowing one to express different infinite numbers and to use these numbers for measuring infinite sets. Several counting systems are taken into consideration. It is emphasized in the paper that different mathematical languages can describe mathematical objects (in particular, sets and the number of their elements) with different (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41. Intertwining Metaphysics and Mathematics: The Development of Georg Cantor's Set Theory 1871-1887.Anne Newstead - 2008 - Review of Contemporary Philosophy 7:35-55.
  42. 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 (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43. The Search for Mathematical Roots, 1870–1940: Logics, Set Theories, and the Foundations of Mathematics From Cantor Through Russell to Gödel. [REVIEW]James Van Evra - 2003 - Isis 94:387-388.
  44. Inaccessible Set Axioms May Have Little Consistency Strength.L. Crosilla & M. Rathjen - 2002 - Annals of Pure and Applied Logic 115 (1-3):33-70.
    The paper investigates inaccessible set axioms and their consistency strength in constructive set theory. In ZFC inaccessible sets are of the form Vκ where κ is a strongly inaccessible cardinal and Vκ denotes the κth level of the von Neumann hierarchy. Inaccessible sets figure prominently in category theory as Grothendieck universes and are related to universes in type theory. The objective of this paper is to show that the consistency strength of inaccessible set axioms heavily depend on the context in (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45. Review of J. P. Mayberry, The Foundations of Mathematics in the Theory of Sets[REVIEW]Mary Tiles - 2002 - Philosophia Mathematica 10 (3):324-337.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46. Multiple Universes of Sets and Indeterminate Truth Values.Donald A. Martin - 2001 - Topoi 20 (1):5-16.
  47. Should the Logic of Set Theory Be Intuitionistic?Alexander Paseau - 2001 - Proceedings of the Aristotelian Society 101 (3):369–378.
    It is commonly assumed that classical logic is the embodiment of a realist ontology. In “Sets and Semantics”, however, Jonathan Lear challenged this assumption in the particular case of set theory, arguing that even if one is a set-theoretic Platonist, due attention to a special feature of set theory leads to the conclusion that the correct logic for it is intuitionistic. The feature of set theory Lear appeals to is the open-endedness of the concept of set. This article advances reasons (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. An Argument for Finsler-Aczel Set Theory.Adam Rieger - 2000 - Mind 109 (434):241-253.
    Recent interest in non-well-founded set theories has been concentrated on Aczel's anti-foundation axiom AFA. I compare this axiom with some others considered by Aczel, and argue that another axiom, FAFA, is superior in that it gives the richest possible universe of sets consistent with respecting the spirit of extensionality. I illustrate how using FAFA instead of AFA might result in an improvement to Barwise and Etchemendy's treatment of the liar paradox.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Conceptions and Paradoxes of Sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
    This paper is concerned with the way different axiom systems for set theory can be justified by appeal to such intuitions as limitation of size, predicativity, stratification, etc. While none of the different conceptions historically resulting from the impetus to provide a solution to the paradoxes turns out to rest on an intuition providing an unshakeable foundation,'each supplies a picture of the set-theoretic universe that is both useful and internally well motivated. The same is true of more recently proposed axiom (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  50. Traditional Logic and the Early History of Sets, 1854-1908.J. Ferreiros - 1996 - Archive for History of Exact Sciences 50:5-71.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 58