On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
复制标题
论三值逻辑演算及其在经典扩展泛函演算悖论分析中的应用
DOI：
--
复制
发表时间：
1981
期刊：
影响因子：
--
通讯作者：
Merrie Bergmann
中科院分区：
文献类型：
--
作者：
D. A. Bochvar;Merrie Bergmann
本文提出了一种三值命题逻辑，在这种逻辑中，三个值分别读作“真”、“假”和“无义”。一个三值扩展功能演算，不受理论的类型，然后开发。在后一个系统中，Bochvar分析了罗素悖论和Grelling-Weyl悖论，正式证明了两者的无意义性。
A three-valued propositional logic is presented, within which the three values are read as ‘true’, ‘false’ and ‘nonsense’. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.