"必然"是逻辑学中的一个重要概念,属于模态逻辑的范畴。在日常生活中,我们常用"必然是"来表示判断,即用它来表示一个命题"真"的强度等。然而由于可能世界的存在,我们习以为常的一些命题(如"猫必然是猫")在逻辑中的某种解释下并不一定符合生活认知。故该文试结合克里普克的命名观点对其进行解释,从而论证逻辑中必然命题的科学性。
科研之友
微信
新浪微博
Facebook
分享链接
