对角线引理与亚里士多德逻辑相悖-newlogic.pdfVIP

2015-11-27 对角线引理与亚里士多德逻辑相悖 X.Y. Newberry 哥德尔定理(Theorem)无需多言，但是我们无法断言所有哥德尔语句都是空的 （见下方）。相反，亚里士多德逻辑只包含那些非空的语句，这些现象的影响是非 常令人诧异的。 文章题目的意思是什么？首先，通过亚里士多德逻辑，我们可以理解传统三“ ” 段论逻辑。所谓经典逻辑，意味着现代符号逻辑。众所周知只有当所有项是非空“ ” 集时，亚里士多德逻辑定律是有效的。 传统亚里士多德命題共有四种形式： A ：所有F 是G E ：所有F 不是G I ：有F 是G Q ：有F 不是G 这四种类型间存在特定逻辑关系。例如，A 和E 是相反命题。这意味着这两个 命题不可能同时为真(True) ，但两者可以同时为假(False) 。 现代逻辑学家在这里提出了一个问题。假设我们用下面表1 解释四种类型命题。 A: ~( ∃x)(Fx ~Gx) E: ~( ∃x)(Fx Gx) I: (∃x)(Fx Gx) O: (∃x)(Fx ~Gx) 表1 进一步假设F 是空集，即~( ∃x)Fx ，那么根据古典逻辑A 和E 同时为真。以上解 释[表1]不成立。斯特劳森 (斯特劳森, 1952, pp. 163-179)分析了此问题，他给出如下 解释： A: ~(∃x)(Fx ~Gx) ( ∃x)Fx ( ∃x)~Gx E: ~(∃x)(Fx Gx) ( ∃x)Fx ( ∃x)Gx I: (∃x)(Fx Gx) v ~( ∃x)Fx v ~( ∃x)Gx O: (∃x)(Fx Gx) v ~( ∃x)Fx v ~( ∃x~)Gx 表2 所有传统三段论定律都将成立(斯特劳森, 1952, p. 173)。传统逻辑假设主项指代 某些存在的事物。然而，难以置信的是，表2 中的公式可以解释自然语 (斯特劳森, 1952, p. 173)。因此，他提出把项(∃x)Fx 看做是假设(Presupposition) ，这意味着~ (∃x)Fx 不是指A 为假，而是指不仅仅是所谈论命题的真实性的一个必要前提，也是“ 其非真即假的前提。” (斯特劳森, p. 174)。然而，更好的做法是把(∃x)Fx ( ∃x)~Gx 整体看做假设。那么，(∃x)Fx ( ∃x)~Gx 为非真(Not true)时， A 非真非假。为了我 们的目的，需要特别指出的是，没有所谓的空真(Vacuously true)命题。根据定义， 空命題(Vacuous proposition)定义为非真非假的命题。这样的逻辑可以被形式化，这 可以通过推广与真相关的(Truth-relevant)逻辑(迪亚兹, 1981)到谓词(Predicate)演算来 完成。在这种逻辑中，语 (P ~P) → Q ~(P ~P) v Q ~((P ~P) ~Q) 并非是与真相关的重言式(tautology)(迪亚兹, 1981, p. 67.)。类似地，在斯特劳森 逻辑中，语 (x)(Fx → Gx) (x)(~Fx v Gx) ~( ∃x)(Fx ~Gx) 是非真的，如果~(∃x)Fx （但并非是假）。 与真相关的逻辑的作者可能从未意识到，他的系统是传统亚里士多德逻辑的命 题的对应只是从不同角度达到目的而已，即相关性角度。但与真相关的逻辑不仅可 以扩展到一元谓词演算，还能扩展到关系逻辑中(Newberry, 2014) 。