您是不是误解了什么是反证法?只是纯粹就《白马论》里的原文说,将“是”理解为等于,老健的证法是成立的。

1. 假设白马非马正确,2. 则一切有颜色的马非马,3. 但马是一切有颜色的马集合(应用白马论里“是”为等于的意思)。把3带入2则得出马非马,这明显是一个矛盾,所以1的假设不成立。

请您先登陆,再发跟帖!