Incompleteness and Indeterminacy
β Scribed by Hanrahan, Rebecca
- Year
- 0
- Tongue
- English
- Weight
- 21 KB
- Category
- Fiction
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We present a semantic proof of GΓΆdel's second incompleteness theorem, employing Grelling's antinomy of heterological expressions. For a theory T containing ZF, we define the sentence HETT which says intuitively that the predicate "heterological" is itself heterological. We show that this sentence do
The aim of this paper is to clarify the relation between Quine's holism, the indeterminacy of translation and positivism. The interpretation I wish to present can best be brought out by contrast with a recent paper by Christopher Boorse. 1 Boorse argues that Quine's indeterminacy of translation deri