Switch to: References

Add citations

You must login to add citations.
  1. Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.
    In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, also the inconsistent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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  
  • Gödel and set theory.Akihiro Kanamori - 2007 - Bulletin of Symbolic Logic 13 (2):153-188.
    Kurt Gödel with his work on the constructible universeLestablished the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and launched it with structured subject matter and specific methods of proof. In later years Gödel worked on a variety of set theoretic constructions (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Epistemic optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.
    Michael Dummett's argument for intuitionism can be criticized for the implicit reliance on the existence of what might be called absolutely undecidable statements. Neil Tennant attacks epistemic optimism, the view that there are no such statements. I expose what seem serious flaws in his attack, and I suggest a way of defending the use of classical logic in arithmetic that circumvents the issue of optimism. I would like to thank an anonymous referee for helpful comments. CiteULike Connotea Del.icio.us What's this?
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • What did gödel believe and when did he believe it?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
    Gödel has emphasized the important role that his philosophical views had played in his discoveries. Thus, in a letter to Hao Wang of December 7, 1967, explaining why Skolem and others had not obtained the completeness theorem for predicate calculus, Gödel wrote:This blindness of logicians is indeed surprising. But I think the explanation is not hard to find. It lies in a widespread lack, at that time, of the required epistemological attitude toward metamathematics and toward non-finitary reasoning. …I may add (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations