汽车是汽车发动机？

“汽车里含有汽车发动机，所以，汽车是汽车发动机。”

这里的“汽车是汽车发动机”表达的思想是“汽车这一类事物的成员是汽车发动机这一类事物的成员”，

显然，这很荒谬。

“白马是马”，“公共汽车是汽车”，“化学是科学”，应该没有异议。

可是，有人这么说：“不赞成黄先生将中医排除在“科学”之外。中医学有非科学的成分（唯心主义的、有神论的内容不少，诸如要无根水当药引子等），但它与“科学”的交集绝对不是空集！”

上述思想理解为，中医学含有科学的成分，所以，中医学是科学，可以吗？显然这和开头的推理一样，是荒谬的。

这人还说：

如果“科学”是一个集合，那么它的补集有哪些？它的子集又有哪些呢？宗教应当是科学的补集。“科学”似乎至少可以有两个子集，“自然科学”和“社会科学”，如果将“科学”定义为为狭意的“自然科学”，则“社会科学”不是“科学”。 哲学确实不等于“科学”，也不包含于“科学”。 可以认为，哲学包含“宗教”（唯心主义哲学）和“科学”（形而上学唯物主义哲学、辩证唯物主义哲学和历史唯物主义哲学等）。故应当认为“哲学”包含“科学”。

可见，这人是用集合来认识事物的。

但是，用集合不能理性认识事物，集合的成员可以不分类地集合在一个集合里。

最大的集合是什么集合？世界上所有事物的集合，是一个集合，其元素就没有分类。

在谓词逻辑中，全称命题，“所有的S都是P”，即，“所有的S类的成员都是P类的成员”，是这样陈述的：

对所有的事物而言，如果x是S，那么，x是P。

用符号表示， "x（S（x）---> P(x）)

这里，S（x）表示x是S。

例如，“所有的人都会死的”，由于形容词后面一定跟有名词，这句话的完整表达是“所有的人都会死的事物”。这句话的谓词逻辑表达是:

对所有的事物而言，如果某个事物是人，那么，这个事物是会死的事物。

“所有的事物”就是一个全域集合，世界上所有的事物不分类地集合在一起。

S（x）---> P(x）实际上就是在进行分类。

S圆圈（欧拉圈）表示一小类事物，P圆圈表示一大类事物，小类事物的成员是大类事物的成员。

分类可以理性认识事物，逻辑学有关概念的知识，讲的就是按类来认识，我对中医学的认识就是按照逻辑学方法来的。我所说的中医学不是科学，说的是，学是一大类，它可划分为两个小类，科学的学和非科学的学，中医学不是科学这一小类的，而化学，物理学等是科学这一小类。中医学是学，它不是科学，就是非科学。

如何分类，则要根据事物的本质特征。