略谈沈有鼎先生对逻辑在中国的发展所作的两点贡献[1]