2.2命题、陈述和语句

l 亚里士多德逻辑：命题被认为是肯定或否定主项具有谓项性质的语句。

l 现代逻辑的命题包括两层含义：

一、有意义陈述句的“内容”或“意义”；

二、组成有意义陈述句的符号、标识或声音的图式

l 不管是亚里士多德逻辑还是现代逻辑，命题都可以被理解成真值承担者，均是二值定理

l 陈述常常被定义为或者为真或者为假的陈述句。从这个意义上讲，陈述与命题具有相同意义

l 英国哲学家斯特劳斯认为陈述与命题是有区别的，因为如果两个陈述句说的是同一件事，那么它们就做了同样陈述。因此，他认为，“陈述”这个术语可以是指一个语句，也可以是指一个语句所表达的事情。无论哪一个情形，它们都是真挚承担者。

l 形式逻辑学家偏好使用命题，非形式逻辑学家偏好使用陈述。注：陈述是语句，是表面，命题强调一种思想；但语句背后一定有思想，所以两者并非完全割裂

l 真是一种关系

1. 逻辑真——知道者与被知道者之间的关系

2. 道德真——知道者与他给出知识的外在表现的关系

3. 本体论意义上的真——对象存在本身与其上帝构思观念之间的关系

l 在语言学上，语句是一个自然语言表达式，是一个或一个以上语词组成的语法单元和词汇单元。所有语句都包括语义单元或逻辑要素。在数理逻辑中，语句被看作是不带自由变元的合式公式。

l 命题是指必定有真假的语法正确的字符串

u 一个语句是命题必然满足缺一不可的两个条件，“二值定理”普遍有效

1. 首先必须是语法正确的字符串

2. 必需有真假