Question

逻辑学中，“不有的”“有的不”是相同的吗？

问：”吾矛可穿天下所有盾。” 的矛盾表达
答：“可......所有......“ 的矛盾表达
= 不“可所有”
=不“可都”
=“有的不可”
即：有的盾吾矛不可穿。
请教，这句是否等于“吾矛不可穿有的盾“？

Answer 1

这两句话并不能认为是相等的，理由如下：

前提：吾矛不可穿有的盾
结论：有的盾吾矛不可穿
实际上这两句话形成了一种换位法推理，前提的形式是SeP（单称否定命题），换位后是POS（特称否定命题）。也就是说从前者可以推理出后者，但是因为后者是特称否定的，通常逻辑学上认为，这种命题不能够进行换位法推理，所以从后者无法推论出前者。之所以逻辑学上会这么认为，原因在于单称否定命题的谓项是周延的，而特称否定命题的主项是不周延的， 且前提中不周延的项，在结论中不能够周延。

Answer 2

逻辑学中，这是两个不同的概念。“不有的”其实就是“没有的”意思；而“有的不”，是特称概念中的否定判断的省略句。就是说在某类事物中，有的不具备某种性质或特征。如有的(马)不(是黑色的)。