下载掌阅APP，畅读海量书库
立即打开
七、全称特称
在墨家的语境中，“尽”、“俱”表全称命题。“或”、“有”表特称命题。墨家通过一些实例，列举几种直言命题（性质命题），正确理解它们之间的等值关系。《经上》第43条说：“尽，莫不然也。”
《经说上》举例说：“俱止、动。”“尽”、“俱”是全称量词。在一个论域中，没有不是如此的（并非有S不是P），等值于全都如此（所有S是P）。例如就一个整体而言，所有部分都停止，或所有部分都运动。
《小取》说：“或也者，不尽也。”“或”是特称量词。它的定义是“不尽”，即不是全部。《经说上》第75条举例说，针对同一动物，甲说：“这是牛。”乙说：“这不是牛。”这两个命题的真值，是“不俱当，必或不当”。
“不俱当”（即“不尽当”，并非所有都恰当），等值于“或不当”（有的不恰当）。《经说上》第98条说：“以人之有不黑者也，止黑人。”即用“有人不是黑的”，驳倒“所有人是黑的”。一般来说，用“有S不是P”，可以驳倒“所有S是P”。即下式成立：“SOP→SAP。”读作：有S不是P,所以，并非所有S是P。
《经说上》说：“尺与尺俱不尽，端与端俱尽，尺与端或尽或不尽。”这是《经上》第68条“撄，相得也”的几个例子，意即两根直线相交，二者都不完全重合（全称否定命题）。两个点相交，二者都完全重合（全称肯定命题）。一直线与一点相交，从点这一方面说是完全重合，从直线这一方面说是不完全重合。“或尽或不尽”即“有的是完全重合”（特称肯定命题）、“有的不是完全重合”（特称否定命题）。