逻辑学中的换质法的一个疑问换质法是将原来谓项换成谓项的负概念,例如SAP可以换成SE~P但负概念是有一个范围的,就是说正概念P表示一类事物,而负概念~P就表示所有P以外的事物,这是不对的,P和~P总是针对一定论域而言,那么问题出来了：看下面例子SAP：所有人都不是金属换质后是：所有人都是非金属首先非金属和金属这个概念是对于元素这个论域而言的,所以“所有人都是非金属”这句话就是说所有人都是非金属元素,明显是错的.但根据换质法,上面两个句子都是对的.这是为什么?难道换质法本身所说的负概念的论域是全总个体域?回1楼，我的确是刚学逻辑，我已经把金岳霖的形式逻辑全看完了，是仔细研读的，所以才有这么些疑问。我觉得你并没有理解我问的问题的意思，我问题的实质是，在形式逻辑中，是不是要求主项和谓项都处于一个全总个体域？例如：所有人都不是苹果。如果单看概念，人和苹果都处于不同论域，人的属是动物，苹果的属是水果，非苹果的属也是水果。照此说法的话，上面的句子换质后就成了所有人都是非苹果，那么这句话明显是错的，然而前一句话

逻辑学中的换质法的一个疑问
换质法是将原来谓项换成谓项的负概念,例如SAP可以换成SE~P
但负概念是有一个范围的,就是说正概念P表示一类事物,而负概念~P就表示所有P以外的事物,这是不对的,P和~P总是针对一定论域而言,那么问题出来了：
看下面例子
SAP：所有人都不是金属
换质后是：所有人都是非金属
首先非金属和金属这个概念是对于元素这个论域而言的,所以“所有人都是非金属”这句话就是说所有人都是非金属元素,明显是错的.但根据换质法,上面两个句子都是对的.
这是为什么?难道换质法本身所说的负概念的论域是全总个体域?
回1楼，我的确是刚学逻辑，我已经把金岳霖的形式逻辑全看完了，是仔细研读的，所以才有这么些疑问。
我觉得你并没有理解我问的问题的意思，我问题的实质是，在形式逻辑中，是不是要求主项和谓项都处于一个全总个体域？
例如：所有人都不是苹果。
如果单看概念，人和苹果都处于不同论域，人的属是动物，苹果的属是水果，非苹果的属也是水果。照此说法的话，上面的句子换质后就成了所有人都是非苹果，那么这句话明显是错的，然而前一句话却是对的，这和换质后等值是矛盾的。
但如果按照整个句子来看，是否必须把它们都归为一个叫物质的属呢？就是说，人的属是物质，苹果和非苹果的属也是物质，那么换质后就成立了。
那么是不是必须要把它们归为一个更大的属呢？