Classical logic has a problematic definition of implication -- the "material implication". This work presents a definition of implication relation to replace the material implication for classical logic. The "paradoxes" of material implication are avoided while strength and simplicity of the system are reserved with this definition of implication.
翻译:经典逻辑对含义的定义有问题 -- -- " 实质含义 " 。 这项工作提出了含义的定义,以取代古典逻辑的物质含义。 避免了物质含义的 " 悖论 ",而系统的力量和简单性则保留了这种含义的定义。