对角线引理在亚里士多德逻辑中失效
计算机科学中的逻辑
2020-01-29 v2
摘要
在20世纪50年代，P. F. Strawson提出了预设逻辑。在该系统中，主词为空的句子被视为既非真也非假。Strawson仅考虑了带两个谓词字母的简单句子。但这一概念可利用Richard Diaz发展的真值相关逻辑扩展到任意一元甚至多元句子。可以证明，自指哥德尔句子实际上具有空主词，因此可被预设逻辑分类为既非真也非假。
引用
@article{arxiv.1510.04393,
title = {The Diagonal Lemma Fails in Aristotelian Logic},
author = {X. Y. Newberry},
journal= {arXiv preprint arXiv:1510.04393},
year = {2020}
}