克里普克的极小固定点真理论是一种重要理论,但它在推理能力和表达力方面有所减弱。近年来人们试图增强其推理能力和表达力。菲尔德通过引入条件句内涵算子来增强其推理能力;雅布罗通过引入"雅布罗固定点"来增强其推理能力;卢卡斯和达米亚诺通过语义重叠方法来增强其表达力;罗伊通过引入一些新的内涵联结词来增强其表达力。通过引入"内涵算子"增强克里普克真理论的推理能力和表达力是当前国际上真理论悖论研究的一个新方向。
科研之友
微信
新浪微博
Facebook
分享链接
