戾换有问题说明什么?

夏年喜同志在《演绎推理的前提真实、推理结论就一定真实可靠吗?》(本刊1991年第2期,以下简称夏文)中所谈的问题,提得非常好。这是关于戾换的问题。金岳霖主编的《形式逻辑》(以下简称《金本》)在论及这个问题时,省用了“戾换”一词,而统名之为“换质位”。(参阅《哲学大辞典·逻辑学卷》,上海辞书出版社。) 夏文所云第一种答案,认为从“一切生物都是发展变化的”先换位,再换质,再换位,推不出非生物怎么样。但这不能证明先换质,也不能推出关于非生物的结论。因之第一种答案不完整。夏文所云第二种答案,认为“一切生物都是发展变化的”先换质,可以推出“有非生物是不发展变化的”。然而这一答案忽略了“古典逻辑中的换质位法,是假设了S,P,(?)和(?)分别表示的事物都是存在