Switch to: References

Add citations

You must login to add citations.
  1. Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
    It is widely considered that Gödel’s and Rosser’s proofs of the incompleteness theorems are related to the Liar Paradox. Yablo’s paradox, a Liar-like paradox without self-reference, can also be used to prove Gödel’s first and second incompleteness theorems. We show that the situation with the formalization of Yablo’s paradox using Rosser’s provability predicate is different from that of Rosser’s proof. Namely, by using the technique of Guaspari and Solovay, we prove that the undecidability of each instance of Rosser-type formalizations of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Rosser's provability predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
    We give a survey of current research on Gödel’s incompleteness theorems from the following three aspects: classifications of different proofs of Gödel’s incompleteness theorems, the limit of the applicability of Gödel’s first incompleteness theorem, and the limit of the applicability of Gödel’s second incompleteness theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Theoremizing Yablo's Paradox.Ahmad Karimi & Saeed Salehi - manuscript
    To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Diagonal arguments and fixed points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.
    ‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•