原子命题和分子命题

出处：按学科分类—哲学、宗教 江西人民出版社《东西方哲学大辞典》第942页（1247字）

逻辑实证主义主要代表罗素关于逻辑命题形式的划分。

罗素在《我们关于外部世界的知识》中说：“在每一个命题中和每一个推理中，除了各自特有的对象外，还有该命题或该推理的各个成分借以组合起来的一定形式、一定方式。”命题的形式有三种：基本命题；基本命题的真值函项；概括命题。

所谓基本命题即原子命题，它是指在逻辑上最简单的命题，它不依赖于任何其他命题，是独立存在的，它所陈述的是原子事实。

原子命题又分为两种：一是“主谓命题”，其形式为F(X)，其中X叫个体词，指称某种单个的对象，F叫谓词，指称某种特性。

主谓命题肯定某一个别事物有某一属性，如“这朵花是红的”；一是“关系命题”，其形式为R(x，y)，其中x和y都是个体词，R是谓词，指称个体之间的某种关系。关系命题肯定两个或两个以上的事物有某种关系，如“甲大于乙”。

所谓基本命题的真值函项即分子命题，它是指在原子命题的基础上，借助逻辑联接词构成的否定命题和复合命题。分子命题由原子命题组成，它的真假取决于组成原子命题的真假二值的各种关系。

分子命题又分为几种形式：“否定式”，－p，读为“并非p”，如“并非这朵花是红的”；“析取式”，，读为“p或者q”，如“这朵花是红的或者是黄的”；“合取式”，p∧q，读为“p并且q”。如“罗素是哲学家和数学家”；“蕴涵式”，p→q，读为“如果p，那么q”，如“如果天下雨，地就湿”；“等值式”，，读为“当且仅当p，那么q”，如“当且仅当这是一个等边三角形，那么这是一个等角三角形”。

所谓概括命题即普遍命题，它是指在原子命题和分子命题基础上，借助逻辑量词构成的命题，它又分为两种形式：一是“全称命题”，(Ax)F(x)，读为“对于一个x而言，如果x是某种东西，那么x有属性f”，如“所有的人都是有死的”；一是“特称命题”，(Ex)F(x)，读为“对于至少有一个x而言，x是某种东西，并且x有属性f”，如“有些人是数学家”。关于概括命题所陈述的一般东西是否存在，逻辑实证主义者之间说法不一，罗素本人前后主张也有变化。

维特根斯坦和罗素的观点大致相同，也认为整个世界是由原子事实构成的，他也对命题形式做了同样的划分。但对什么是原子事实他和罗素的解释不完全一样。

石里克、卡尔纳普等虽然一般不使用原子事实这类术语，但也讲逻辑命题形式的划分，其基本思想和罗素一样。

逻辑实证主义者关于逻辑命题形式的划分，是通过逻辑分析方法得出的。

利用同样的方法他们对世界也进行了分析，并认为世界和语言的结构是两个相互对立的由简单到复杂的等级系统。整个世界的结构就是一个逻辑结构，因此运用基本命题就可以构造出整个世界的知识体系，这显然是一种唯心主义的观点。