相关一阶逻辑 $LP^\#$ 与 Curry 悖论的解决
逻辑
2015-01-22 v2
摘要
1942 年，Haskell B. Curry 提出了现在被称为 Curry 悖论的问题，该悖论存在于逻辑中且独立于其对否定的立场。近年来，人们对语义悖论的非经典解法重新产生了兴趣。本文提出了一种在不拒绝任何收缩公设的情况下解决 Curry 悖论和 Shaw-Kwei 悖论的非经典方案。
引用
@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}
}
备注
7pages