如何讲解“普通语言学”中的“Propositional Logic”

研究复合命题真值问题的真值逻辑和自然语言逻辑不尽相同。解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义,同时分析它们的形式和用法。

The Theory of Membership Degree of Γ-Conclusion in Several n-Valued Logic Systems

Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.

Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic

＂In this paper, we construct a six-element intuitionistic linguistic truth-valued fuzzy propositional logic （6LTV-IP） based on the framework of linguistic truth-valued propoitional logic, which can express bath the comparable and incomparable truth values. Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. With the concrete logic operation of 6LTV-IP, some special properties are obtained. Then based on （α, β）-complementary literals and （a, β）-similar literals, we propose a soft-resolution method of 6LTV-IP.

Stakeholders＇ Value Proposition Research in the Enterprise Synergy Innovation

Service dominant logic is one brand new economy model and it consider all the participators to be the potential resource integrators. The enterprise should put forward the value proposition with open attitude to achieve the enterprise synergy innovation. This paper analyses the value proposition on the stakeholders in the enterprise synergy innovation and expand the one way value proposition theory to the different stakeholder groups inside and outside of the enterprise. The theoretical significance of this paper is to provide the theoretical reference for the enterprise synergy innovation to establish sustainable and stable stakeholders＇ relationship.

Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem

The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.

经典逻辑中的模糊命题(Ⅰ)

经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指派.因此,这种模糊逻辑实际上是“经典命题公式+模糊真值指派”的模糊逻辑.首先在经典命题逻辑中引入了模糊命题的概念,这种模糊命题在形式上就是模糊的,而经典命题是模糊命题的特例.其次,通过对命题变元的二值指派,得到了模糊命题的真值.最后,研究了模糊命题的真值运算性质.研究发现:在经典逻辑系统中引入新的模糊命题的概念后,公式增加了,真值指派没有变,重言式没有减少.本研究可以看作是“模糊命题+二值真值指派”的模糊逻辑.

命题逻辑中文字块矛盾型及子句正则矛盾体

归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体生成文字块矛盾型,再通过添加互补矛盾集得到新的矛盾体。重点讨论了具有特殊结构的文字块矛盾型生成的矛盾体,即子句正则矛盾体的性质,这些性质说明了具有特定结构的子句正则矛盾体添加子句后仍然是矛盾体。最后,提出了矛盾体的生成算法,为在计算机上实现新的矛盾体的生成提供参考。

命题逻辑中一类正则标准矛盾体的构造与复合

归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓。矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少。针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个或多个正则标准矛盾体,得到了生成新矛盾体的多个复合策略;其次,提出了一类特殊标准矛盾体结构——复合正则标准矛盾体,丰富了矛盾体的结构特征;然后讨论了复合得到的新矛盾体不同子句的可扩充性,进而得到相应的文字添加策略;最后,提出了矛盾体的生成算法,为进一步在计算机上实现新矛盾体的生成提供了参考。

论傅东华《诗歌原理ABC》的命题建构、逻辑进路与时代价值

傅东华的《诗歌原理ABC》是其诗学观的具体呈现,该书围绕着诗的产生、诗歌情感、诗人的想象几个核心要点,详细讨论了诗歌的生成过程,是“五四”以来国内第一部较为系统全面的诗学著作,对现代新诗的发展产生了重要的影响。但目前学界对傅东华的研究主要聚焦在他的文学翻译上,相对忽略了他作为文论家的现代诗学实践。事实上,《诗歌原理ABC》既是西方诗学体系的东方实践,也是中国传统诗话的现代承续,更是傅东华对现代新诗深刻思考后的诗学尝试。尽管部分学理逻辑不够成熟,诗论体系还相对简略,但却对“幼儿期”白话新诗的发展起到了巨大的推动作用,具有重要的时代价值。

习近平中华优秀传统文化“双创”命题的生成逻辑、基本内涵与实现路径

习近平中华优秀传统文化创造性转化、创新性发展的“双创”命题是一种深刻的理论创新。大变局时代呼唤民族文化自觉自信自强是“双创”命题生成的应然逻辑,时代课题和现实问题亟须破解是“双创”命题生成的现实逻辑,构建中华民族现代文明是“双创”命题生成的价值逻辑。“双创”是对传统文化在形式上进行创造性转化赋予其现代表达形式,在内容上进行创新性发展赋予其新的时代内涵,是兼顾形式创造性转化与内容创新性发展的统一。其实现路径是:坚持“二为”和“双百”方针,提升中华文化的价值引领力;文化经济“相互搭台,共同唱戏”,产出更多文化精品;坚持与不同文明交流互鉴,夯实中华民族现代文明的思想根基;提升中华文化国际传播效能,打造融通中外的文化符号。

斯多葛命题逻辑系统不完全性的新证明

斯多葛学派的命题逻辑理论是古希腊人对逻辑学的第二次伟大贡献。从现代逻辑的角度来看,应该把它理解为一个有且仅有5条推演规则的自然演绎系统而不是公理系统。陈志美和胡泽洪在承认它是自然演绎系统的基础上,运用算术解释方法证明了它的不完全性。然而,他们所证明的是添加了两条“元逻辑规则”之后的系统,而且证明过程还存着一些不严谨之处。为此,本文采用现代逻辑中更为常用的语义比较方法直观且严谨地证明了斯多葛命题逻辑系统的不完全性,并给出了寻找该系统所缺失的规则从而使其具有完全性的方法,进一步深化了我们对斯多葛命题逻辑的认识。

“Illocutionary Logic”译为“语用逻辑”吗?

言语行为理论认为一个完整的言语行为是由locutionarayct,illocutionaarcyt与perlocutionarayct组成,其研究重点是illocutionaracyt。illocutionary logic是研究illocutionarayct形式化问题的理论。国内有学者将两者分别译为“语用逻辑”和“语用行为”。illocutionary logic研究的只是illocutiona vreyrbs的illocutionarayct,未涉及到使用者,也更未涉及到对语境等的研究。言语行为实质上只是一种局限于illocutiona vreyrbs的句法和语义的研究,根本不是言语行为的真正意义上的语用研究。作为只研究illocutiona vreyrbs的illocutionaracyts的illocutionar lyogic只是一种行事逻辑,属于语用逻辑这个大的范畴。真正的语用逻辑必须研究话语发生的语境、话语与使用者的关系、使用者对话语的推理等等。因而不能将illcoutionary logic翻译为“语用逻辑”。

立体逻辑方阵视域下直接复合命题推理系统研究

逻辑方阵理论经学界同仁不断探索,已由波依提乌的平面逻辑方阵向立体逻辑方阵转变。立体逻辑方阵表示包含两个自变元A、B的联言命题A∧B、相容选言命题A∨B、充分条件假言命题A→B、必要条件假言命题A←B及其异化形式之间的真假制约关系,据此视域可推演出直接复合命题推理系统。

命题逻辑中一种矛盾体生成新方法

人工智能是用计算机来模拟人的某些思维过程和智能行为的学科。自动推理中的归结原理是一种简洁、可靠且完备的推理规则。矛盾体的动态多子句协同演绎理论不仅是归结原理的重要延拓,而且具有较高的推理演绎效率。由于矛盾体的结构复杂、生成策略较少,因此在矛盾体的动态演绎可靠性和完备性的基础上,提出复合2个或多个矛盾体的部分子句的不同策略,为矛盾体的构造提供了一种有效的方法。

事实和命题

为了分析信念、判断等概念,需要找到一种不以“真”这个概念为前提的方法。根据关于普遍对象的看法以及世界中的对象是什么、命题的逻辑构造是什么等问题的看法,真之冗余论题得以提出,并从自然语言转移到准形式化语言,引入命题量词以期解决所讨论的哲学问题,且吸收皮尔士的实用主义思想回答否定问题,使理解部分信念成为可能,并讨论必然性、普遍命题和同一性等量化模态逻辑和模态形而上学的核心问题。

NM理论中积分真度的统一理论

基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离,并且证明了关于相似度和伪距离的一些性质;通过发散度以及直径的概念,提出了NM命题模糊逻辑中反映理论相容程度新的隶属函数,利用隶属函数给出了相容度的概念,证明了不相容理论的相容度为0,完全相容理论的相容度为1。

命题逻辑中一类扩展子句消去方法

随着计算机求解问题越加复杂,问题在转化为命题逻辑子句集包含的冗余信息也越来越多,浪费计算机大量的储存空间和搜索解的时间,因此,对于冗余信息的删减有助于提高计算机求解问题的效率.针对命题逻辑子句集化简问题,在原有冗余性质P、RP基础上,提出多种扩展的、具有性质HRP、ARP的子句消去方法,并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET BC )、蕴涵模归结原则(IMR)结合,分别提出不对称集合封锁( ASET BC )消去方法和不对称蕴涵模归结(AIMR)原则.最后,提出 L -集合蕴涵模归结( L -SET IMR )原则和 L -不对称集合蕴涵模( L -ASET IMR )原则.所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法.

命题动态逻辑的基本思想及其扩展系统

计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征程序和独立于计算论域命题之间的相互作用,在序列程序和系统的形式化表述和推理方面有着重要的作用,可以描述和验证程序的正确性、终止性、公平性、活性和等价性等性质;因此,命题动态逻辑是人工智能的基石。

命题逻辑中的L-型冗余性质

在命题逻辑SAT求解过程中,子句集简化技术是重要的一个环节。冗余性质所对应的子句消去方法可以准确识别并删除冗余子句。无论是在预处理阶段还是SAT求解过程中,子句消去方法嵌入到SAT求解器均可加快求解器的求解效率。现有的高效子句消去方法大多基于封锁子句冗余性质和蕴涵模归结子句冗余性质扩展而来,为检查子句C是否冗余,只需要考虑子句C是否满足冗余条件。提出一种L-型冗余性质,它是封锁冗余性质、包含冗余性质、蕴涵模归结冗余性质的推广,将冗余子句判断条件由单个文字的归结式拓展到文字集合的组合。然后,针对L-型冗余性质,分析L-型冗余子句具有的性质,并将L-型冗余子句与已有的冗余子句的高效性进行比较,说明所提出的L-型冗余性质的高效性。

一阶逻辑命题符号化的研究

一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上谓词的命题符号化,将每句自然语言分解成多个复合的主谓语,按照“”量词与“→”联结词搭配,“”量词与“∧”联结词搭配的规则进行符号化。通过一阶逻辑命题符号化,利用一阶逻辑等值式及推理规则能高效率处理和解决自然语言领域的相关问题。