相干逻辑是什麼

“异常逻辑”实际上并不是同一类性质相似的逻辑的总称，没有人会认为直觉主义逻辑和相干逻辑会有什么关系。最早的异常逻辑也许就是直觉主义逻辑了，它的形式有非常直观的特点，那就是它不承认排中律。不承认排中律的逻辑是可能的吗？难道还会有是非之外的第...

我们所做的事对过去不能起影响，所以，若真实性是由已发生的事情决定的，真实性和现在或未来的意志都不相干；在逻辑形式上，这代表人力的限度。但假若真实性，或者不如说“有保证的可断言性”，依未来而定，那么，就改变未来是在我们的能力范围以内来说，...

第八章 次协调性的相干逻辑RC（I）(Paraconsistent relevance logic RC(I)). 第九章 次协调性的相干逻辑RC（II）(Paraconsistent relevance logic RC(II)). 第十章 规范逻辑及法律逻辑的新系统(A new system of the logic of norms and law)...

数理逻辑有广义与狭义之分，这里所说的数理逻辑是最广义的，它分为经典逻辑和非经典逻辑两大部分，前者以命题演算和谓词演算为基础，包括被称为“四论”的模型论、公理集合论、递归论和证明论，后者包括模态逻辑、多值逻辑、模糊逻辑、相干逻辑、规范逻辑、...

他们认为制约逻辑的Cm 系统与二十几年前国外发表的相干逻辑的命题演算R 系统形式等价，而R 是不可判定的，那么Cn 系统亦就是不可判定的( 林邦谨认为Cm 和Cn 是可判定的）。即使假若Cn可判定， Cn 的判定方法用到数论系统Ⅳ上去也无济于事， 因为一阶数论...