特称判断——“或”

或^①也者，不尽^②也。(《小取》)
【注释】　①或：有的、有些，表示特称判断。②不尽：不是全部。
【译文】　所谓“有些”,就是说不是全部。
【评说】　这里涉及的是逻辑学中的特称判断。在特称判断中，主词的外延只有一部分包括在谓词的外延之中，而不是主词所反映的对象都是谓词所表示的这种样子。特称判断表示“有的是如此”,例如“马或白马”(有的马是白色的)。用逻辑形式来表达，即有S是P。