Defining Gödel Incompleteness Away
Abstract
We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither provable nor disprovable only because they are self-contradictory we could define them as unsound instead of defining the formal system as incomplete.Author's Profile
Analytics
Added to PP
2020-06-27
Downloads
128 (#52,592)
6 months
21 (#49,429)
2020-06-27
Downloads
128 (#52,592)
6 months
21 (#49,429)
Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?