关于一类涉及“我不可证”句子的谬误：从哥德尔引论中汲取的教训
逻辑
2023-11-14 v1
摘要
我们证明，下述论证模式本身且在缺乏额外前提时是谬误的：句子 A 谈论自身具有某性质 F，且 A 事实上具有性质 F；因此 A 为真。随后我们考察哥德尔经典论文（1931）非正式引论中此类形式的一个论证，并审视在该语境中可能起作用的某些辅助前提。尽管该特定的非正式论证在哲学上意义重大，但它在哥德尔的技术结果中不起作用。深入探讨该问题并研究哥德尔式句子（即那些可证等价于自身不可证性的句子）的真值条件，将为我们提供关于系统哥德尔式句子真值哲学论辩的洞见——这一论辩至少可追溯到 Dummett（1963）。
引用
@article{arxiv.2311.06568,
title = {On a fallacy concerning I-am-unprovable sentences: what to take home from Goedel's introduction},
author = {Kaave Lajevardi and Saeed Salehi},
journal= {arXiv preprint arXiv:2311.06568},
year = {2023}
}
备注
14 pages