Switch to: References

Add citations

You must login to add citations.
  1. There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
    We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Soundness does not come for free (if at all).Kaave Lajevardi & Saeed Salehi - manuscript
    We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).
    Download  
     
    Export citation  
     
    Bookmark