Relevant First-Order Logic $LP^\#$ and Curry's Paradox resolution
Logic
2015-01-22 v2
Abstract
In 1942 Haskell B.Curry presented what is now called Curry 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 paradox without rejection any contraction postulate is proposed.
Cite
@article{arxiv.0804.4818,
title = {Relevant First-Order Logic $LP^\#$ and Curry's Paradox resolution},
author = {Jaykov Foukzon},
journal= {arXiv preprint arXiv:0804.4818},
year = {2015}
}
Comments
7pages