逻辑刻画:研究“理解”的新视角

对理解的哲学研究大多是纯粹的哲学思辨,很难体现理解所具有的客观性,不过也有哲学家把"理解"直觉上等同于"知道A的意义",或把理解归于"知道怎样",试图用知道的客观性来描述理解的客观性。理解可以用知道这样来表述:主体理解一个命题当且仅当主体知道这个命题真或知道这个命题假。把此命题形式化后作为特征公理纳入描述知识的S5系统,建立描述理解的认知系统U,用关系语义和典范模型方法证明此系统具有完全性与可靠性,能够逻辑地刻画理解的客观性。

面向软件行为的需求模型及特性检测

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析.

试析作为理论分析工具的现代逻辑

一阶逻辑通过形式刻画揭示语言内含的认知信息以分析刻画推理的演绎必然性,模态逻辑注重分析刻画与概念实质内容相关的内涵特征,扩展的动态模态逻辑则使主体间认知互动过程中交流信息的分析刻画成为可能。探讨现代逻辑由一阶逻辑、模态逻辑到扩展模态逻辑的理论进程,分析说明其形式刻画和推理认知表达功能如何使之具有理论模型构建与理论模型结构可靠性分析等多元理论价值,将有助于厘清语言、理论与认知的关联,有助于理解认知能动性与理论客观性之间的关系,启发我们思考如何推动哲学理论研究的进步以适应科学技术与理论高速发展的时代需求。

陈那、法称因明推理学说之研究

该著旨在阐明陈那、法称有关有效的推理形式及其规则的探究,即陈那、法称因明的推理学说。作者从事因明研究的基本理念是:以文献研究为基础进行义理分析,并将义理分析落实到文献的层面。据此,作者提出了因明研究的六种方法:逻辑刻画的方法;义理对勘的方法;文本译研的方法;比较逻辑的方法;哲学诠释的方法;历史研究的方法。全书共分6章,分别按照这六种方法来撰写。第1—4章大致遵循纵向的历史线索,以陈那、法称的推理学说为核心,展现有关有效的推理形式及其规则的探讨在佛教逻辑最富创见的这一阶段中的发展。