Constructible falsity
Constructible falsity
复制标题
可构造的虚假
DOI：
--
复制
发表时间：
1949
期刊：
影响因子：
--
通讯作者：
D. Nelson
中科院分区：
文献类型：
--
作者：
D. Nelson
本文对数论中的逻辑联结词提出了一种不同于直觉主义者的构造性解释。在直觉主义的解释下，排中律和其他一些经典的逻辑原则必须被拒绝。在目前的解释下，虽然一些经典原则可能会被恢复，但其他原则，无论是经典的还是直观的，都可能被证明是无效的。其中之一就是矛盾原理。
The present note introduces a constructible interpretation for the logical connectives of number theory which is divergent from that of the intuitionists. Under the intuitionistic interpretation, the principle of excluded middle and certain other classically acceptable principles of logic must be rejected. Under the present interpretation, while some classical principles may be reinstated, other principles, acceptable both classically and intuitionistically, may be shown to be invalid. Among these is the principle of contradiction.