参加了中国逻辑学学会2014年学术大会

参加了中国逻辑学学会2014年6月14-15日在成都举行的”逻辑应用和逻辑教育2014年学术大会“，提交了一篇会议论文摘要，题目为”命题的一种新划分“（附后），并在形式逻辑和归纳逻辑分会做了同名学术报告。我的报告被南京大学张建军教授赞为”最有独创性“，并建议他的学生以后使用我提出的诸如”素命题“这样的新语词。

本次会议虽然名曰逻辑学术会议，但还是掺入了很多哲学的话题，变得争论不休。甚至有人提出了”哲学的实验方法“，真是很无语。如果哲学也做起实验的话，那和科学还有什么差别？这样的话，科学往哪摆呢？就像有人说古代有科学，那自然哲学往哪搁？

科学很需要形式逻辑学，爱因斯坦说过：“西方科学的发展是以两个伟大成就为基础的，那就是：希腊哲学家发明的形式逻辑体系（在欧几里得几何中），以及（在文艺复兴时期）发现通过系统的实验可能找出因果联系。”这话里就涉及了演绎逻辑和归纳逻辑。可是，在中国学界，形式逻辑学仅搁在哲学的圈子里，自娱自乐，文科生不懂科学，不能和科学结合以促进科学。另一方面，理科生不学习形式逻辑学，而学习自然辩证法。由于不学习形式逻辑学，理科生不掌握系统的思维规则，思维品质大打折扣。因此，我认为理科生应该参与到形式逻辑学的研究中来。本人在做此尝试。

命题的一种新划分

黄荣彬^*1  黄华奇¹  黄朝阳²

（¹厦门大学化学化工学院   ²厦门大学人文学院   福建省厦门市  361005）

摘要：

国内通行的形式逻辑学教材把命题划分为性质命题和关系命题，又按照是否包含其他命题把命题二分为简单命题和复合命题。

本文认为简单不应与复合相对，而应与复杂相对；单一才与复合相对，素与复相对。因此本文提出把命题二分为单一命题和复合命题。所谓单一命题是只含有一个主项和一个谓项且不含逻辑运算符的命题，亦可称为素命题。单一命题可划分为单一性质命题和单一关系命题。对于单一性质命题而言，只含有一个主项和一个谓项，比较容易理解。而对于单一关系命题而言，只含一个关系谓项也好理解，只含有一个主项则是指这个主项只由两个关系者项构成，如果含多于两个关系者项，则可两两组合成多个主项，成为复合关系命题。像“上海位于苏州和杭州之间”这样的关系命题，并不是分别涉及上海和苏州、上海和杭州的关系，所以，主项并非是含有三个关系者项，它仍然是含两个关系者项，一个是“上海”，另一个是“苏州和杭州之间”，所以是单一关系命题。而“上海和嘉兴位于苏州和杭州之间”则是复合关系命题，由两个单一关系命题“上海位于苏州和杭州之间”和“嘉兴位于苏州和杭州之间”复合而成。因此，复合命题是由一个或多个单一命题以逻辑运算符作用或连接起来的命题，并且它的真假取决于它所包含的单一命题的真假和逻辑运算符，也可称为复命题。

再者，本文提出，简单命题是主项为单称的命题，复杂命题是含有非单称主项的命题（若关系者项之一为非单称亦是非单称主项）。简单命题的负命题是原命题的否定式，例如 ¬SaP → SeP，复杂命题的负命题则非原命题的否定式，例如 ¬SAP → SOP。简单命题（单称命题）的蕴涵式为重言式是有效推理的充分必要条件。而复杂命题（非单称命题）的蕴涵式为重言式是有效推理的充分条件。