Relevant first-order logic LP# and Curry’s paradox resolution

Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12 (2015)
Download Edit this record How to cite View on PhilPapers
In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2016-04-11
View other versions
Added to PP index

Total views
210 ( #31,138 of 65,770 )

Recent downloads (6 months)
14 ( #46,375 of 65,770 )

How can I increase my downloads?

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