19 found
Order:
See also
Claudio Ternullo
Universitat de Barcelona
  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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  3
    Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 47-73.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. 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 multiverseset-theoretic multiverse, and expressed reservations on its status and merits Foundations of mathematics. Essays in honor of W. Hugh Woodin’s 60th birthday. Contemporary mathematics. American Mathematical Society, Providence, pp. 289–322, 2017). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalismset-theoretic naturalism. I first distinguish three main forms of ‘multiversism’multiversism, and then I proceed to analyse MaddyMaddy’s concerns. Among other things, I take into account salient (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. 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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Gödel’s Cantorianism.Claudio Ternullo - 2015 - In Eva-Maria Engelen & Gabriella Crocco (eds.), 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. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  6
    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   1 citation  
  9.  24
    Cantor's Abstractionism and Hume's Principle.Claudio Ternullo & Luca Zanetti - forthcoming - History and Philosophy of Logic:1-17.
    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 (3 more)  
     
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  93
    Introduction to Special Issue on the Foundations of Mathematics.Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo & John Wigglesworth - 2020 - Synthese 197.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. 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  
  13.  1
    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. Berlin: Springer Verlag. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman, 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 identifies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements in countable (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  13
    Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - forthcoming - Foundations of Science:1-19.
    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 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 how (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Objects, Structures, and Logics.Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.) - 2022 - Cham (Switzerland): Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  16. 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. 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  
  17.  12
    Introduction.Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo & John Wigglesworth - 2020 - Synthese 197 (2):469-475.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  4
    The Search for New Axioms in 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. Birkhäuser. pp. 161-183.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman :77–96, 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 identifies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  2
    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. 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