语义悖论和溯因方法论

从基于不同后承关系的逻辑理论的比较入手,借鉴科学理论的选择标准,提出了一种对相互竞争的逻辑进行比较的一般方法论——溯因方法论。作者以溯因方法论为依托,论证了在解决语义悖论的方案中,修正经典逻辑而保留真的去引号原则所需要付出的代价远比通常认为的更高,由此为保留经典逻辑而限制或修改真的去引号原则提供辩护。

翻译之维度与阐释之限度——基于传统典籍域外传播的译介考察及文化思考

翻译是阐释的表现形式。在一定程度上,二者都是行为主体之于文本信息的理解和表达。对于文化典籍而言,其翻译与阐释的内在关联主要体现在三个方面:第一,阐释的逻辑演绎是语际转换的意识体现。以逻辑起点为参照标准的、依附于不同语境范畴的解析路径是解构翻译内部“西方中心主义”的动态生成。第二,文化典籍外译的本质是达成历史视域与读者视域的有效融合,而副文本(阐释部分)的存在就成为在文本(译介部分)基础之上的翻译建构行为。这既是弥合文本翻译性间距的技术手段,同时也印证了“翻译即阐释”这一理论命题的现有实践。第三,译者的文化选择与文化自觉是典籍外译的思想溯源,寓于文化场域下的译介行为则是文本审美价值的特定延伸,因此翻译与阐释归根结底是文化维度的形态显现。总体而言,翻译的维度和阐释的限度是新时期文化典籍外译的归纳与整合,这种过程的脉络彰显也为窥探今后中华典籍的域外传播提供了新的启示和参考。

A Comparison of Paraconsistent Description Logics

Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.

劳动精神的科学内涵、发展逻辑与弘扬路向——基于马克思、恩格斯经典文本的解析

劳动精神是人民群众有关劳动的具有历史先进性的社会意识,其理论与实践备受关注,为此,党的二十大着重提出了坚持尊重劳动、在全社会弘扬劳动精神的时代要求。马克思、恩格斯并未缺席对劳动精神的考察,他们阐明了劳动精神所蕴含的人民主体性、合目的性和历史发展性的本质属性及其发展逻辑,相关思想意蕴丰富。厘清马克思、恩格斯关于劳动精神的思想,对于深入学习贯彻党的二十大精神,科学把握劳动精神的理论与现实问题提供了坚实的理论支撑;对于立足我国发展新的历史方位,在全社会弘扬劳动精神,特别是对时代新人的劳动精神培养,为全面建设社会主义现代化国家、全面推进中华民族伟大复兴汇聚强大精神力量有着重要的启示。

论唐代议文的经义逻辑

传统社会主要受儒家精神笼罩,唐代政治、学术、文学也不例外。“议文”与唐代“集议制度”关系密切,写作上遵循的是儒家经义逻辑。唐人以儒家为基本指导思想,以经义作为权威依据,共同使用、维护、巩固儒家话语体系。议者通过引用、阐释、类比、折衷以及分层次等方法使用经义来进行说理和构建观点,作为议文的主要论证方式。议文经义逻辑的讨论,可为以儒家思想为主体的传统观念上“文学”的讨论提供视角和参考。

经学文本撰写传习滋育中华民族共同体意识生成的文化理论逻辑

经学是中华传统文化的核心。以经学为中心的古代学术体系是孕育中华民族共同体意识的文化基石,经学文本的撰写与传习的历程是中华民族共同体意识被不断丰富和强化的过程。从古代人才教育与选士的层面来看,经学文本是育化中华民族共同体意识的主要学术源泉,汉唐经学提供了丰富且规范的育化文本,宋明理学凸显了经学文本的育化能力,少数民族政权均遵从经学文本的育化地位。从语言文字的规范历史来看,经学文本的书写载体与书写形式构筑了中华民族共同体意识的符号体系,经学文本文字的规约性书写了中华民族共同体的符号型范,其演进性绘写了中华民族共同体的符号记忆。从中华民族文化精神的孕化与传承来看,经学文本熔铸了夷夏一体、天下一统的共生信仰,以及仁爱和合、礼乐文明的共荣信仰,推动中华儿女在信仰的恒辉中以中华民族共同体的历史之姿走向今天,并为新时代坚持和发展中国特色社会主义提供有力的精神支撑。

一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

思考型Agent的基本结构

描述了Agent基本特性 ,提出了三类Agent基本结构 ,指出思考型Agent结构是Agent研究的基础和重点 .在分析思考型Agent抽象结构的基础上 ,重点讨论了基于经典逻辑的Agent结构、基于决策理论的Agent结构和基于BDI框架的Agent结构 ,对其进行抽象的形式描述 ,分析其优缺点 。

对称逻辑公式在经典逻辑度量空间中的分布

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密.

经典逻辑门与量子逻辑门之比较

本文通过经典逻辑门与量子逻辑门之比较,论述了量子计算的特点、量子算法的巨大威力及量子逻辑门的实现问题。

经典逻辑度量空间上的反射变换

探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质.

二值逻辑中命题的条件真度理论

基于条件概率的思想,在二值经典命题逻辑中引入条件真度的概念。在二值逻辑系统中初步给出了在信息Σ下的近似推理理论。

格蕴涵代数的素对偶理想

在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。

伪t-模与蕴涵的直积分解(英文)

本文研究伪t 模与蕴涵的直积分解 ,解决Baets和Mesiar提出的一个未解决的问题 ,并证明 ([0 ,1 ]2 , )上连续t 模都可以表示成 ([0 ,1 ], )上两个连续t

伪t-模与L关系方程的解集

研究了sup T类与inf I类方程的解结构 ,并在特定条件下分别给出了它们的解集 ,其中L为完备Brouwer格 .T为无穷∨ 分配伪t 模 ,I是无穷∧ 分配蕴涵算子 ,I =I(T) .

关于格蕴涵代数的余元及结构

根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数。

非经典逻辑观与法律论证的评价——兼论苏珊·哈克逻辑哲学思想

苏姗.哈克使逻辑哲学发展成为独立的学科。逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索。逻辑理论具有可修正性,经典逻辑的公理和规则本身需要不断修正,多种非经典逻辑的出现是必要的和可能的。这样,才能更好地适应现实原型的要求。逻辑的中心问题则是有效论证与非有效论证的区别问题。关于论证有效性的评价,哈克提出,存在着形式的(语形的)、实质的(语义的)和修辞的(语用的)标准这样三种由强到弱的有效性标准。法律论证的核心问题也是论证的有效性,可以把苏珊.哈克的逻辑哲学思想灵活运用于有关法律的逻辑与法律论证的评价标准的分析,并且将哈克的这三种有效性标准有机地结合起来。

同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑

作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念,并给出了它们的逻辑规律.由此,本文又提出了新的非经典命题逻辑,称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖,而且相比Lawry的不确定模型适应面更广.

L-关系方程T(a,x)=b,I(a,x)=b的解集

讨论方程T(a,x)=b,I(a,x)=b的解集,其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,且I=I(T).

3值逻辑与经典2值逻辑关系探究

3值逻辑与经典2值逻辑的关系问题是逻辑哲学研究的基本问题之一,通常看法是:经典2值逻辑的某些推理规律在3值逻辑中不成立,3值逻辑是经典2值逻辑的变异。结合对这一观点来源的分析,在建立了一个函数完全的3值逻辑自然推演系统的基础上,从语形和语义两个方面证明:3值逻辑是经典2值逻辑的扩充,而不是变异。