逻辑问题

[zhang3]

在以谓词逻辑做为理论基础的prolog中，表达“人是会死的”这样一个概念时，将其视为一个规则：

会死(A):-是一个人(A).

但，很多时候，在最初的表达时，可能会以事实的形式出现：

会死(人).

在逻辑推理中，有时候我们经常是把一些规则当做事实来使用，例如花是红的，草是绿的，这在一定的推理情境中是没有问题的。

但是一旦进入了另外一些情境，事实会转变为规则。貌似谓词逻辑还不包含这样的表达能力。

这种逻辑推理的方式，是否有人研究过？

[zhang3]

这是共相与殊相的逻辑哲学问题。

罗素专门有所论述，并指出：对共相和殊相不加以区分是不对的，会导致严重的问题。