Not在形式逻辑和自然语言中的不一致性

摘要

在形式语言学中,Not是逻辑作用词,能将简单命题连接成复合命题,这个复合命题对应的简单命题是不一致的。但是如果认为自然语言中的否定仅仅是对命题真值的否定就不全面了。逻辑中的否定与日常语言中的否定并不对等,因为句子意义的某些方面无法用标准的命题逻辑恰当表示,甚至很多方面不属于命题的范围。