马希文构建的知道逻辑形式系统-逻辑学论文-哲学论文.docxVIP

马希文构建的知道逻辑形式系统-逻辑学论文-哲学论文 ——文章均为WORD文档，下载后可直接编辑使用亦可打印—— 　　马希文教授 19 岁大学毕业后开始从事教学研究工作，虽未着作等身，但其每一篇文章都能看出先生的严谨风格，卓显其睿智。先生像一位领路人，不追逐世俗的名利，为后来者指明了许多研究方向。 　　先生的成就令人关注最多的是其在计算机尤其是人工智能方面作了大量出色的工作，另外他对计算机科学同语言学的结合也颇有研究，是中国计算语言学的奠基人之一，在中国语言学界的地位近于理论派的朱德熙先生[1]。先生的逻辑学思想是其众多思想中的奇葩，绽放时间却尤为短暂，主要体现在《有关知道的逻辑问