Eliminating Undecidability and Incompleteness in Formal Systems

Download Edit this record How to cite View on PhilPapers
To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
PhilPapers/Archive ID
Revision history
First archival date: 2019-04-19
Latest version: 37 (2019-04-29)
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
37 ( #35,520 of 41,462 )

Recent downloads (6 months)
37 ( #16,886 of 41,462 )

How can I increase my downloads?

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