Defining a Decidability Decider

Download Edit this record How to cite View on PhilPapers
By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically incorrect.
PhilPapers/Archive ID
Revision history
First archival date: 2018-02-19
Latest version: 2 (2018-02-26)
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
32 ( #46,211 of 50,103 )

Recent downloads (6 months)
4 ( #49,318 of 50,103 )

How can I increase my downloads?

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