Defining Gödel Incompleteness Away

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
First archival date: 2020-06-27
Latest version: 9 (2020-06-27)
View other versions
Added to PP index

Total views
80 ( #48,345 of 2,448,729 )

Recent downloads (6 months)
32 ( #20,886 of 2,448,729 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.