模态哲思逻辑

仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对和反对关系的不是A,而是□A。这样就突破了从必然与可能间的关系入手的传统方法,找到了与必然形成相应对当关系的新算子。     

伟大而可爱的人——纪念沈有鼎先生诞生100周年

沈有鼎先生是中国几位有成就的数理逻辑学家之一。他对经典逻辑、直觉主义逻辑、相干逻辑、模态逻辑等都有很深入的研究。他构造了"沈氏悖论"。沈先生在中国古代逻辑研究中的最重要成果,是挖掘出《墨经》中许多鲜为人知的重要的逻辑思想,揭示了以《墨经》逻辑为代表的中国古代逻辑体系,把我国学者对《墨经》逻辑的研究提高到一个新的阶段。在哲学方面,沈先生分析中华民族的思维特点,于20世纪30年代提出中华民族是一个"哲学的民族"的观点。沈先生是一位真做学问、做真学问的学者,是一位在众多领域里做出重要贡献的伟大学者。生活中的沈先生是一位十分可爱的老人。     

逻辑的分析与合成怎样剪切与粘贴推理系统

逻辑在纯科学和应用科学中广泛的可应用性是一个向哲学家挑战的事实。现代逻辑研究具有一个不可否认的朝着多重性和区域化发展的趋势。正如在许多领域和子领域中哲学逻辑的划分所示，一方面我们具有对经典的逻辑替代，例如多值逻辑、直觉主义逻辑补充、仿相容逻辑；另一方面我们有对经典的逻辑补充，例如模态逻辑、特别是时态逻辑、认识逻辑、信念逻辑、疑问逻辑和义务逻辑。     

一种弗协调认知逻辑CnEK

本文试图以弗协调模态逻辑CnG'为基础,建立一种弗协调认知逻辑CnEK.     

论周礼全的辩证逻辑思想--兼论逻辑研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观，极富远见，并身体力行，在菜式逻辑，模态逻辑，语言逻辑与辩证逻辑诸分支都有建树，他认为黑格尔的辩证逻辑是认识逻辑，是将形式逻辑的精华按认识过程的编排，是一部完整的辩证认识论，一种新的逻辑类型。     

论周礼全的辩证逻辑思想——兼论逻揖研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观,极富远见。并身体力行,在形式逻辑、模态逻辑、语言逻辑与辩证逻辑诸分支都有建树。他认为黑格尔的辩证逻辑是认识论逻辑,是将形式逻辑的精华按认识过程的编排,是一部完整的辨证认识论,一种新的逻辑类型     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

模态逻辑系统S4中的度量结构

在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。     

从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.     

试论经典逻辑与直觉主义逻辑系统的排中律

在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑“三律”（同一律、矛盾律、排中律）之一的排中律,是经典逻辑系统中的内定理,被认为具有普遍有效性。而在非经典逻辑系统,如直觉主义逻辑系统中,排中律则被认为是系统内不可证的,因而不是普遍有效的。     

培根归纳法的内核及发展

对培根归纳法的定义、目的、指导准则及主要环节进行剖析。认为,培根归纳法的确立,开辟了逻辑学研究的新方向——归纳逻辑。现代归纳逻辑的发展与培根的归纳逻辑密不可分。美国哲学家、计算机理论家勃克斯(A.W.Burks)沿着培根开辟的道路,建立了证明或检验的逻辑——勃克斯因果陈述逻辑。科恩(J.Cohen)继承和发展培根归纳逻辑的传统,提出了相关变量法,在拓展的模态逻辑S4系统中建立起他的形式公理系统。科恩归纳逻辑强调归纳逻辑与自然科学和社会生活实际的紧密联系,在现代演绎并发展了培根的归纳逻辑。     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

与李茗公先生商榷“逻辑”——兼解“李约瑟难题”

拙作是对《反思启蒙:中国呼唤"逻先生"》一文中"中国传统无逻辑"、中国儒家经典中存在"大量自相矛盾的逻辑错误"的"反逻辑传统"、"中国无科学"等观点的反驳。以近代西方关于"逻辑"、"科学"的标准来衡量古代中国是不公正的。近代科学兴起的根本原因是思维方式、方法的差异,直接原因是望远镜、显微镜等一系列观察工具的发明,由此宏观世界和微观世界的奥秘才被发现。     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否定符所代表的意义已经不同于其在经典逻辑中的意义，当我们把经典逻辑中排中律的形式放到构造性逻辑中，该形式已经不能表现排中律的实质。所以，构造性逻辑只是在形式上而非实质上否定了排中律。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

模态逻辑的信息框架

针对一些学者对情景语义学的质疑，该理论创始人之一巴威斯采用信息流模型理论的技术手段提出从信息视角解释模态概念的信息框架。信息框架，作为模态逻辑的语义框架，与克里普克框架有相同的解释力和适用范围。信息框架能够为形式描述容错性信息流推理的模态信息流逻辑研究提供可能语义基础，为信息流逻辑的进一步深入研究提供理论支持。     

网络安全中的两种认证协议及安全性分析

研究对称密钥算法产生的安全问题. 根据网络安全的特点设计了两种简单认证协议: 点到点简单认证协议和可信第三方的简单认证协议. 通过使用形式化分析方法（基于知识与信念推理的模态逻辑方法〖CD2〗SVO逻辑）, 对以上两个认证协议进行了安全性分析, 证实其达到了面向密钥的目标、 密钥确认目标和相互信任密钥目标.     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

卢卡西维茨多值逻辑在模糊模态逻辑中的应用

模态推理是人工智能研究的重要内容.已有的推理方法,由于计算复杂等原因,使用范围受到限制.将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑的推理机计算简单,而且还能用于模糊模态和模糊谓词推理中.基于此,验证了模态逻辑和卢卡西维茨的三值逻辑的相符性,并将推理机应用于模糊模态逻辑中.