Sloman's view of Gödel's sentence

摘要

Sloman's view largely reverses the usual view of Gödel's sentence. But Sloman does not have good arguments for his basic theses: that the Gödel sentence does not mean what it is commonly taken to mean, and that we can't say that it is true in the intended model. The reason for Sloman's reversal of perspective is his high-level point of view, from which relevant levels of structure in the formal system, its Gödel sentence and its models are not visible.