命题﹡的名词解释

【命题﹡名词解释如下】

命题名词解释：
命题逻辑的基本概念之一.通常用日常生活的语言,如中文、英语,给出数学命题,但是日常语言的语义有歧义性,是不精确的,因而从它们抽象出来的逻辑概念——命题也就很难精确定义了.英国数理逻辑学家罗素(Russell,B.A.W.)在《数理哲学导论》中说名词解释：
“(命题)这个词不能严格地定义”.但他认为“命题这个词应该限制于可以在某种意义上被称为符号的东西,或更进一步地说,限制于那些表达真假的符号”.因此,按照罗素的观点,命题是陈述句.例如,“二加二等于五”是命题,“苏格拉底是人”和“苏格拉底不是人”也都是命题,因为第一句和第三句所表达的意义是假的,而第二句所表达的意义是真的.有一些陈述句,如“火星上有生物”,“2是代数数”,目前尚不能判定其真假,这些句子是不是命题呢?根据排中律知道,这些句子或为真,或为假,因而在承认排中律的古典逻辑中,这些句子也是命题.因此,在古典逻辑中,可以认为陈述句是命题.但是必须指出的是,以荷兰数学家布劳威尔(Brouwer,L.E.J.)为代表的直觉主义不承认排中律,因而也就不承认每一命题必可分真假.对于他们来说命题又有另一种解释了.

相关阅读：