我国一位逻辑学者刘社军对定义的所谓“逻辑循环”作了分析。按刘社军的观点,就模态逻辑与经典逻辑的关系而言,古典逻辑“和”以前
经典逻辑作为千百年来学术研究的既得成果,是非常适合于我们通常所谓的现实世界的,而在经典逻辑中,逻辑一致性的意义和逻辑上的矛盾是很清楚的清除。
至于“可能世界”概念,它是模态逻辑语义学中的一个概念,只有语义为基础,其基础和经典逻辑模态逻辑语义,
相对于经典逻辑中的“逻辑矛盾”、“一致性”这些在先的和明了的概念,这个职位是不确定的。
因此,用经典逻辑中含义十分明确的基本的概念“逻辑一致性”或“无矛盾性”去定义模态逻辑中的“可能世界”概念,目前还不知道在什么是所谓的循环定义。
我十分同意冯棉、刘社军的意见。概念,事实上,模态逻辑“,”可能世界语义,
相对于经典逻辑学中的“逻辑矛盾”、“逻辑一致性”等基本概念,这篇文章是不一样的水平。
用先它一个层次、地位更为基本的经典逻辑中的“一致性”或“无矛盾性”来定义它是完全可以的。事实上,我们所谈论的经典逻辑“,”逻辑一致性和概念不一致“”
根本无需再通过“可能世界”去定义。因此,原因类型的定义,“世界”可以说足以导致循环定义并非是不可避免的。
摹?


加载中…