clm0600 发表于 2025-8-12 10:32 
斯密的话并不只是两个集合,而是用了两个集合来定义同一个概念。其形式就是:先定义A是全集,然后又说A是 ...
他要是这么说,这两句肯定不叫自相矛盾嘛,这也是进一步补充说明而已。
他的矛能戳破的盾是世界上所有的盾,他的盾能抵御世界上所有的矛,这两句才是自相矛盾嘛。
…………
我们用楚人的“矛”和“盾”来类比斯密的那两句话。
(1)第一句:楚人的矛是能够戳破所有盾的矛。
(2)第二句:楚人的矛是能够戳破一些盾而不能戳破另一些盾的矛。
(3)由(2)可以推出:楚人的矛不是能戳破所有盾的矛。
(4)再由楚人的“盾”可得:楚人的盾是所有的矛(包括楚人的矛)都不能戳破的盾。
(5)由(4)可以推出:楚人的矛不是能戳破所有盾的矛。
既然(4)以及由(4)推出的(5)与(1)是自相矛盾的,那么与(5)完全相同的(3)与(1)也就是自相矛盾的;而(3)又是由(2)推出的,是包含在(2)的意思中的,所以,(2)与(1)就是自相矛盾的。