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
Revision history
First archival date: 2020-06-27
Latest version: 9 (2020-06-27)
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
13 ( #50,219 of 50,061 )

Recent downloads (6 months)
13 ( #36,928 of 50,061 )

How can I increase my downloads?

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