Meditation of philosophic theory:Philosopher scientist Kurt Godel

作者：  朱水林著

出版社：福建教育出版社,1999

简介：　　哥德尔是伟大的逻辑学家。他证明的完备性定理、不完全性定理，标志着现代化逻辑发展高峰。经过对自己科研成果的数十年哲学沉思，为阐述公理、证明、集合、无限、连续统、逻辑真理等根本性概念奠定了基础。 　　

蒙太古语法及其应用研究

作者：  朱水林　著

出版社：上海社会科学院出版社 2014-8-1

简介：　　蒙太古语法是用形式化方法研究自然语言指号学的理论，是现代逻辑发展到新阶段的重大成果。蒙太古首先用范畴语法，借助17条语形规则设定一个自然语言英语片语FE；同时采用类型层次的，高阶量化的，带有λ抽象、时态、模态、内涵算子的方法建立人工的形式语言内涵逻辑系统IL，再借助从FE到IL的翻译映射，建立FE的间接的语义解释。本书在概括蒙太古语法的涵义、架构的基础上，论述了蒙太古语法在哲学、语言学、逻辑学和信息科学方面的应用研究，对于相关研究领域具有一定的参考价值。