| 命题 proposition 有真假的语句，即通过肯定或否定说明某物存在或不存在的语句。在普通逻辑中，泛指表达判断的语句，即表示对思维对象有所断定的思想的语句。如“水银是液体”和“水银不是液体”这两个语句都是有真假的(前者是真的，后者是假的)，它们分别直接表达了两个相应的判断，因而都是命题。凡不表达判断的语句，或者说，凡不具有真假意义的语句，都不是命题。如“水银是液体吗”是一个疑问句，它没有对水银是否是液体这一问题直接作出断定，因而没有真假的意义，即不直接表达判断，所以，它不是命题。一般地说，命题通常是陈述句。疑问句、感叹句、祈使句都不是命题。另一种看法是：凡陈述句所表达的意义即命题，被断定了的命题为判断。如“水银是液体”这一陈述句所表达的意义为命题，而断定“水银是液体”这一命题是真的，就是判断。也有对命题与判断不作区别，把判断就看作是命题的主张。在现代逻辑中命题是从真实性(真、假)或模态(可能、不可能、必然等等)的某种评价方面来加以考察的句子(自然语言或人工语言的句子)。如：“3>2”，“月球是地球的卫星，而且是地球唯一的自然卫星”。一个不包含其他命题作为其组成部分的命题称为简单命题，而包含了其他命题作为其组成部分的命题称为复合命题。命题所表达的内容即其所表达的思想，一般称为命题的意义(或含义)，而命题的真或假则称为真实性的值，或简称为真值。卡尔纳普《意义与必然性》一书在介绍其外延和内涵方法时提出：句子的内涵是命题，句子的外延是真假。认为外延和内涵都是语言表达式的意义。与传统看法差别很大。命题是命题逻辑的研究对象。 |