蔡尚思 科学研究工作 香港 逻辑现代化 绵薄之力 论文 学术活动 改革开放