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
Upload history
First archival date: 2018-02-19
Latest version: 2 (2018-02-26)
View other versions
Added to PP index

Total views
49 ( #55,372 of 2,448,691 )

Recent downloads (6 months)
5 ( #57,779 of 2,448,691 )

How can I increase my downloads?

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