同构、P-态射、互模拟与模态等价性

结构的模态等价性是指这些结构上有效性的模态公式恰好相同.本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系.同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的.     

一般信息系统的PoClustering与概念格

传统聚类方法生成的子集,一般来说都是不相交的.而严格的不相交分类结构,不能充分表现象本体这样的事物间丰富的类关系.在基因本体中,类与子类既不是简单的树也不是格结构,而是一个有向非循环图,其任何子女都可能有多个父结点.PoClustering是相异数据的一种无损聚类方法,概念格则反映了数据的对象和属性的对应关系.采用了PoClustering方法,在保持尽量多的信息的前提下建立一般数据集(信息系统)的属性确定下的概念化分类,讨论了它的算法,从概念格的角度研究了这种类的结构特征.     

一般信息系统的PoClustering与概念格

传统聚类方法生成的子集,一般来说都是不相交的,而严格的不相交分类结构,不能充分表现象本体这样的事物间丰富的类关系,在基因本体中,类与子类既不是简单的树也不是格结构,而是一个有向非循环图,其任何子女都可能有多个父结点,PoClustering是相异数据的一种无损聚类方法,概念格则反映了数据的对象和属性的对应关系,采用了PoClustering方法,在保持尽量多的信息的前提下建立一般数据集(信息系统)的属性确定下的概念化分类,讨论了它的算法,从概念格的角度研究了这种类的结构特征.     

多模态Sahlqvist公理模式性质研究

多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展.在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述.任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的.Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力.     

反三段论新探

反三段论是“人们日常思维实践中经常用到”的一种推理。本文运用现代逻辑的方法 ,就它的定义、种类、有效推理式及其内在结构、推理规则等作了全新的探讨。特别是给出了全新的定义 ,把反三段论分出三个种类——充分条件反三段论、必要条件反三段论和充分必要条件反三段论 ,并对其内容、有效推理式和内在结构作了阐述和论证。     

穆勒五法的根本缺陷与因果关系的确认

本文探讨了因果关系的逻辑结构及确认,并分析了穆勒五法的根本缺陷。首先,通过对因果关系的分析,建立了一个二分变量的因果关系的逻辑模型,并以此对双向因果关系和互为因果关系进行了定义。其次,从上述分析出发,对复杂原因、复合原因、多重原因、简单原因、非充分条件原因、非必要条件原因和非充分非必要条件原因进行了定义。并从论述非充要条件原因入手,对穆勒五法进行了系统的分析和批判。指出它不可靠性的逻辑根源在于它没有从原因的整体中探求因果关系。最后,立足于二分变量的逻辑模型,提出了独特的确认因果关系的方式——最低限度控制变量法。     

谈假言命题的几个问题——与《普通逻辑》教材商榷

《普通逻辑》教材对三种不同条件假言命题的定义有“同语反复”的违规之嫌 ;对三种不同条件的定义有不妥之处 ;对充分必要条件的举例有明显错误 ;对充分必要条件假言命题的汉语表达方式类型的陈述存有遗漏。对此 ,本文一一指出并提出了改进和弥补的商榷意见     

关于一类三交系的构造

本文首先定义了三交系、三交系的扩充的概念 ,然后给出了一类三交系的构造方法 ,最后给出了该类三交系的规模的统一公式表示。同时 ,我们得到了一类特殊的三交系判定的充分必要条件     

互模拟在理论和实践中的应用

互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述不同的非良基集合的域;可以运用非良基集合来研究模态逻辑的可导出性。今天,互模拟因为各种目的广泛地应用在并行系统中;并行理论不仅仅与计算机科学有关,而且用在许多自然现象的模型化中;随着互模拟应用范围的扩大,如何把一个模型的随机部分反映到互模拟概念中去成了互模拟的一个研究方向;概率模型通常在几个应用领域被分析和定义;定义新颖的构造性的状态空间归约技术会大大提高概率模型检测效率,扩展概率模型检测范围。     

基于K4的超模态逻辑

D.M.Gabbay在“超模态逻辑理论：模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4［T·,K·］,主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。     

法律规范的逻辑演算Q_s系统

本文是《法律规范逻辑》系列论文的第４篇。它以狭义谓词演算为基础，在其形式语言中添加专指“制裁”行为的谓词常项，添加专指“国家机关”这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。     

哲学与逻辑: 百年回眸

自弗雷格的《概念文字》发表以来，现代逻辑已历经百余年的发展，其中逻辑和哲学的交叠和互动关系构成了现代逻辑发展的一个重要侧面和不可或缺的组成部分。一方面逻辑和哲学彼此独立，另一方面两者又相互补充，相互取予。哲学哺育逻辑，逻辑反哺哲学。20世纪许多哲学分支的进步和发展与现代逻辑所提供的严格的分析技术是密不可分的。逻辑几乎影响了整个语言哲学的风格，也为形而上学、元伦理学和心智哲学提供了丰富的资源。逻辑提供了各种形而上学理论发展的基本框架，有时甚至在哲学中扮演着中立仲裁者角色。逻辑的百年事实上是逻辑与哲学互动性发展和交叠式共生的百年，而这种深刻和复杂的关系只有在一个广阔的逻辑哲学和哲学逻辑的背景下，透过语言的层面才能被充分理解和揭示。     

命题逻辑的证伪系统

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。     

悖论的辩证逻辑公式及其他

悖论的辩证逻辑公式应该显示出:悖论是人们主观上认为的悖论和实际上的悖论的两个矛盾方面的对立统一体.悖论创新法:自觉地建构并消解悖论,以此修正和发展学科理论系统.一个容纳悖论的辩证逻辑系统应该是把悖论的辨证逻辑公式作为该系统的定理的辩证逻辑系统.弗协调逻辑的根本缺点是把逻辑矛盾和辩证矛盾相混淆.建立辩证逻辑形式化系统应以对立统一思维律等辩证思维基本规律为公理或主要定理.     

实用逻辑的新领域

本文区分了两种逻辑观：语言的逻辑观和智能体逻辑观，前者把逻辑看作一种关于论证（argument）的理论，而论证是一种语言结构，逻辑研究论证的结构特性；后者把逻辑看作一种关于推理（reasoning）的理论，一种关于思考者做了什么以及在他身上发生了什么的理论。实用逻辑是一种关于实践的智能体做了什么以及反思了什么的理论，它将大大地突破演绎逻辑的范围，去研究许多新的课题。     

怀疑逻辑的弗协调方案探赜

目的：提供一个建立在弗协调认知逻辑基础上的包含三分认知世界思想的怀疑逻辑构造方案。方法在系统 SPN 内定义相关的认知模态算子。结果怀疑逻辑三分认知世界的设想得以实现，同时由于弗协调认知逻辑的原因，一些怀疑逻辑公式的有效性发生了变化。     

论西方哲学对知性认识主体的建构——从逻辑学的观点看

理性认识世界本质主要是通过概念思维来实现的,概念是理性在思维层面的逻辑展开,理性把握认识对象的本质的主观机制就是通过概念思维展开为判断、推理的认识过程。这一切是以笛卡尔的"我思故我在"确立起概念思维主体的地位为前提的,而后,知性思维原理依靠其自身的逻辑力量和发展规律,沿着两个方向发展,一则把握概念与感觉经验相结合,二则把握概念自身的运动变化,分别演进发展为康德的"先验逻辑"和黑格尔的"辩证逻辑",最终实现了对知性认识主体的建构。本文正试图从逻辑学的角度来揭示西方哲学对知性认识主体的建构。     

什么是弗协调逻辑?

20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对经典逻辑发起挑战,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统,于是我们可得出结论:道义逻辑可归约为弗协调真值模态逻辑。      

刘易斯的模态实在论评析

模态逻辑研究的模型是集合论的结构,所以人们可以把模态逻辑的模型论看作是集合论的一个分支。这样就产生了一个哲学问题：在模型论中所研究的集合论结构和任何一种客观性之间的联系是什么？我们凭什么能够解释这些结构的研究能够产生出关于模态逻辑原理和推理的真正洞见？对这类问题的回答是由刘易斯的模态实在论提供的。     

古今中外类逻辑思维的起源与发展研究

类逻辑是逻辑学中的重要分支,它以类为核心概念,以类比推理为主要表现形式。类逻辑在中西方有着不同的起源与发展路径：中国古代,墨家的＂故＂＂理＂＂类＂三物逻辑为类逻辑提供了生根发芽的土壤。在西方,亚里士多德作为逻辑学创始人,在研究三段论时离不开类逻辑思维;培根在科学实验中推崇归纳法,其中也蕴含了大量关于＂类＂的内容。随着时间推移,中外类逻辑研究更加深入,类逻辑思维在各个学科领域中的创新功能,是现代类逻辑研究的重点。