Switch to: References

Add citations

You must login to add citations.
  1. Kategoria wyjaśniania a filozofia matematyki Gödla.Krzysztof Wójtowicz - 2018 - Studia Semiotyczne 32 (2):107-129.
    Artykuł dotyczy zagadnienia, w jakim sensie można stosować kategorię wyjaśnienia do interpretacji filozofii matematyki Kurta Gödla. Gödel – jako realista matematyczny – twierdzi bowiem, że w wypadku matematyki mamy do czynienia z niezależnymi od nas faktami. Jednym z owych faktów jest właśnie rozwiązywalność wszystkich dobrze postawionych problemów matematycznych – i ten fakt domaga się wyjaśnienia. Kluczem do zrozumienia stanowiska Gödla jest identyfikacja założeń, na których się opiera: metafizyczny realizm: istnieje uniwersum matematyczne, ma ono charakter obiektywny, niezależny od nas; optymizm epistemologiczny: (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Notion of Explanation in Gödel’s Philosophy of Mathematics.Krzysztof Wójtowicz - 2019 - Studia Semiotyczne—English Supplement 30:85-106.
    The article deals with the question of in which sense the notion of explanation can be applied to Kurt Gödel’s philosophy of mathematics. Gödel, as a mathematical realist, claims that in mathematics we are dealing with facts that have an objective character. One of these facts is the solvability of all well-formulated mathematical problems—and this fact requires a clarification. The assumptions on which Gödel’s position is based are: metaphysical realism: there is a mathematical universe, it is objective and independent of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Mathematical determinacy and the transferability of aboutness.Stephen Pollard - 2007 - Synthese 159 (1):83-98.
    Competent speakers of natural languages can borrow reference from one another. You can arrange for your utterances of ‘Kirksville’ to refer to the same thing as my utterances of ‘Kirksville’. We can then talk about the same thing when we discuss Kirksville. In cases like this, you borrow “ aboutness ” from me by borrowing reference. Now suppose I wish to initiate a line of reasoning applicable to any prime number. I might signal my intention by saying, “Let p be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Naturalism, Truth and Beauty in Mathematics.Matthew E. Moore - 2007 - Philosophia Mathematica 15 (2):141-165.
    Can a scientific naturalist be a mathematical realist? I review some arguments, derived largely from the writings of Penelope Maddy, for a negative answer. The rejoinder from the realist side is that the irrealist cannot explain, as well as the realist can, why a naturalist should grant the mathematician the degree of methodological autonomy that the irrealist's own arguments require. Thus a naturalist, as such, has at least as much reason to embrace mathematical realism as to embrace irrealism.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  • On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Philosophia Mathematica. Association for Symbolic Logic. pp. 153-188.
    The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  • What new axioms could not be.Kai Hauser - 2002 - Dialectica 56 (2):109–124.
    The paper exposes the philosophical and mathematical flaws in an attempt to settle the continuum problem by a new class of axioms based on probabilistic reasoning. I also examine the larger proposal behind this approach, namely the introduction of new primitive notions that would supersede the set theoretic foundation of mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • What new axioms could not be.Kai Hauser - 2002 - Dialectica 56 (2):109-124.
    The paper exposes the philosophical and mathematical flaws in an attempt to settle the continuum problem by a new class of axioms based on probabilistic reasoning. I also examine the larger proposal behind this approach, namely the introduction of new primitive notions that would supersede the set theoretic foundation of mathematics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Objectivity over objects: A case study in theory formation.Kai Hauser - 2001 - Synthese 128 (3):245 - 285.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.
    Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a programmatic call to search for new axioms for their solution. The platonism underlying his belief in the determinateness of those questions in combination with his conception of intuition as a kind of perception have struck many of his readers as highly problematic. Following Gödel's own suggestion, this article explores ideas from phenomenology to specify a meaning for his mathematical realism that allows for a defensible epistemology.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • 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   17 citations  
  • 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