概括命题 general proposition 逻辑原子主义用语。指对基本命题施以量化处理而形成的复合命题。由罗素提出。认为知识命题即表达科学知识的命题包括三类:原子命题(即基本命题)、原子命题的真值函项和概括命题。概括命题作为其中的一类,属于由原子命题构成的分子命题即复合命题,通过对原子命题施以量化处理而获得。这些量化处理包括存在和全称两种,分别由存在量词“有些”和全称量词“所有”表达。例如,“所有的人都是要死的”,可表达为(x)f(x),对每个x作某种肯定,(x)是全称量词。“有些人是哲学家”,可表达为( x)·f(x),对某些x或至少一个x作某种肯定,( x)是存在量词。从表面看,概括的真值取决于所由构成的基本命题的真值,但要完全地证实一个概括的真假是不可能的,故罗素最后提出,概括只是一种有用的公式或规则。 |