19 found
Order:
  1. (1 other version)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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2. On Forms of Justification in Set Theory.Neil Barton, Claudio Ternullo & Giorgio Venturi - 2020 - Australasian Journal of Logic 17 (4):158-200.
    In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...)
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. (1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Steel's Programme: Evidential Framework, the Core and Ultimate-L.Joan Bagaria & Claudio Ternullo - 2021 - Review of Symbolic Logic:1-25.
    We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the ‘core hypothesis’. In the first part, we examine the evidential framework for MV, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of ZFC. In the second part, we address the existence and the possible features of the core of MV_T (where T is ZFC+Large Cardinals). In (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  30
    The Hyperuniverse Project and Maximality.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.) - 2018 - Basel, Switzerland: Birkhäuser.
    This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by the John (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. (1 other version)Gödel’s Cantorianism.Claudio Ternullo - 2015 - In E.-M. Engelen (ed.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence. pp. 417-446.
    Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  85
    Cantor's Abstractionism and Hume's Principle.Claudio Ternullo & Luca Zanetti - 2021 - History and Philosophy of Logic 43 (3):284-300.
    Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the concept of cardinal number. Neologicism would therefore be threatened by the ‘good company' HP is kept by such alternative assignments. In his review of Mancosu's book, Bob Hale argues, however, that ‘getting different numerosities for different countable infinite collections depends on taking the groups in a certain order – but it is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. (2 other versions)The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  24
    32 Naming God’s Essence: Ineffability, Analogy and Set Theory.Claudio Ternullo - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. Boston: De Gruyter. pp. 697-718.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Fallacious Analogical Reasoning and the Metaphoric Fallacy to a Deductive Inference (MFDI).Claudio Ternullo & Giuseppe Sergioli - 2014 - Isonomia (Epistemologica) 5:159-178.
    In this article, we address fallacious analogical reasoning and the Metaphoric Fallacy to a Deductive Inference (MFDI), recently discussed by B. Lightbody and M. Berman (2010). We claim that the authors’ proposal to introduce a new fallacy is only partly justified. We also argue that, in some relevant cases, fallacious analogical reasoning involving metaphors is only affected by the use of quaternio terminorum.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Introduction.Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo & John Wigglesworth - 2020 - Synthese 197 (2):469-475.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  18
    Steel’s Programme: Evidential Framework, the Core and Ultimate- L.Joan Bagaria & Claudio Ternullo - 2023 - Review of Symbolic Logic 16 (3):788-812.
    We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending $\mathsf {ZFC}$ by using his multiverse axioms $\mathsf {MV}$ and the ‘core hypothesis’. In the first part, we examine the evidential framework for $\mathsf {MV}$, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of $\mathsf {ZFC}$. In the second part, we address the existence and the possible features of the core of $\mathsf {MV}_T$ (where (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    Peano’s Conception of a Single Infinite Cardinality.Claudio Ternullo & Isabella Fascitiello - 2023 - Hopos: The Journal of the International Society for the History of Philosophy of Science 13 (2):241-260.
    Although Peano’s negative attitude toward infinitesimals—particularly, geometric infinitesimals—is widely documented, his conception of a single infinite cardinality and, more generally, his views on the infinite are less known. In this article, we reconstruct the evolution of Peano’s ideas on these questions and formulate several hypotheses about their underlying motivations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  41
    (1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2020 - Foundations of Science 28 (1):287-305.
    In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    Explaining Maximality Through the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 185-204.
    The iterative concept of set is standardly taken to justify ZFC and some of its extensions. In this paper, we show that the maximal iterative concept also lies behind a class of further maximality principles expressing the maximality of the universe of sets V in height and width. These principles have been heavily investigated by the first author and his collaborators within the Hyperuniverse Programme. The programme is based on two essential tools: the hyperuniverse, consisting of all countable transitive models (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Objects, Structures, and Logics.Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.) - 2022 - Cham (Switzerland): Springer.
    This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is the multicultural (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  6
    Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.) - 2022 - Springer.
    This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is the multicultural (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  10
    Remarks on Buzaglo’s Concept Expansion and Cantor’s Transfinite.Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 259-270.
    Historically, mathematics has often dealt with the ‘expansion’ of previously accepted concepts and notions. In recent years, Buzaglo has provided a formalisation of concept expansion based on forcing. In this paper, I briefly review Buzaglo’s logic of concept expansion and I apply it to Cantor’s ‘creation’ of the transfinite. I argue that, while Buzaglo’s epistemological considerations fit well into Cantor’s conceptions, Buzaglo’s logic of concept expansion might be unsuitable to justify the creation of the transfinite in terms of a logically (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark