主次条件句中的多余条件问题

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质.     

主次条件句中的多余条件问题

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑 C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了 C2Lm的一个刻画某种多余条件的扩充系统 C1,证明了它的一些语法及语义性质     

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

哲学逻辑概论

哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。     

决定论、逻辑决定论与时态逻辑

决定论（Determinism）是关于事物因果性、必然性和规律性的哲学理论,在哲学理论体系中占有重要的地位。时态逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。本文从时态逻辑的角度对决定论进行了分析并指出：在时态逻辑中,如果真实的时间结构被归约为线性结构,那么所有的事件是决定的;如果真实的时间结构被归约为分支结构,那么并非所有的事件是决定的。     

运用命题时态逻辑解析“半费之讼”

"半费之讼"问题是一个涉及法律和逻辑的问题,该问题已经被讨论了上千年之久,但却始终没有一个被广泛接受的解答,在此笔者试图运用命题时态逻辑这一逻辑工具来分析这一问题,并试图说明"半费之讼"中并没有包含逻辑错误,当中所造成的矛盾和谬误主要是由"时态"的不一致所造成的。     

混合语言与时态逻辑

混合语言是扩张的命题的模态语言.它能指称(甚至量化)状态.近年来,混合语言的流行主要有两点原因[1]45:首先,语言表达力的增强,它能定义许多一般模态语言无法定义的框架性质,典型的例子,如禁自返性(i→'◇i)、反对称性((I∧◇(j∧◇i))→j)等.混合语言流行的另一个主要原因是,使用纯公式公理化得到的逻辑系统有一般完全性的结果.     

关于实质条件句的两个问题

实质条件句和蕴涵的关系如何？实质条件句与日常语言中的条件句的关系如何？这是关于实质条件句的两个基本问题。澄清了实质条件句和蕴涵的关系，指出不能将蕴涵混同于相应的实质条件句的真理性，并在此基础上分析了所谓的蕴涵悖论。应该将实质条件句在技术上的价值与它在日常语言中的对应物这两个问题分开处理，并论证了以实质条件句概念解释日常语言中的直陈单独条件句的适当性，指出两者之间的关系是卡尔纳普所谓之辩明关系。     

论时态逻辑的新发展

自20世纪80年代以来,在哲学、计算机科学、人工智能、语言学等诸多领域的推动下,时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑的结合。对这些新的发展进行研究,既具有重大理论意义,又具有重要的实际应用价值。     

极小条件句逻辑

给出L-极小系统的定义，这样定义的L-极小系统在两个方面分别有相对性和绝对性。用语言L1表述4个条件句系统，它们就是满足定义给出的条件的L1-极小系统。     

一个向上线序的命题时态逻辑PTL

命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子.它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质.PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性.     

时间副词“永远”的时态逻辑刻画

为了有利于人们对时间副词“永远”进行语义理解、运用以及与相关时间副词的语义衍推，运用时态逻辑的分析方法，对时间副词“永远”进行逻辑语义分析，归纳出“永远”的4种时点集类型，从而推导出时间副词“永远”与其他时间副词在语言交际中的关系，揭示出时间副词“永远”在时态上的作用。     

知识蕴涵时态逻辑系统

在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。     

三值逻辑与意义理论

乌卡谢维奇的三值逻辑反对古典逻辑的矛盾律和排中律,引起了一系列哲学问题。古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。乌卡谢维奇把第三值指派给不能确定真假的句子。如何理解第三值是三值逻辑的关键问题。从意义理论的角度看,既不真也不假的句子被赋予第三值是因为它们的真之条件未能得到理解而造成的。对于"明天将有海战"这样的时态句子,运用时态逻辑的语义学,第三值是可以消除的。     

否定在英语违实条件句中的达成机制

从英语句法语义的角度看,否定是直接对违实条件句中的前件命题进行逆转。典型违实条件句中的否定是通过否定词和否定认识立场协同作用对命题进行否定。修辞条件句通过"肯定其外,否定其中"或"否定其外,肯定其中"的语义特征,对前件命题事件进行否定。     

英语条件句及其变异

本文在现代英语研究成果的基础上全面讨论了英语条件句的陈述、祈使、虚拟等三种句式的常规用法及其变异用法 ,着重讨论了虚拟句式及其变异     

汉语选项让步条件句的类型学意义

汉语有“无论A还是B”和“A也好,B也好”两种选项让步条件句,还有普适的让步条件句,形式为“无论+WH（疑问代词）”。这三种标记方式亦见于其他语言,体现了让步条件句标记方式的跨语言共性。“无论”等无条件连词是一种既能用于选项句,也能用于普适句的“无关义前置词”。选项句的A、B具有典型例示功能,而普适句的“无论+WH”必须与某个划界词语搭配使用。“反正”等并列式复合词是选项句词汇化的结果,“无论如何”则是普适句习语化的结果。     

英语动词间接时态的运用——对英语非谓语动词的研究

本文根据易仲良教授关于英语动词时态的理论及由此得出的直接时态和间接时态的分类(1999),基于李小川对英语动词间接时态的研究(2002),在易教授英语动词“五、二范畴体系”的框袈中,简析了间接时态的语法范畴体系以及与其它范畴结合的理拒,阐明了间接时态与其它语法范畴结合的语义关系是并列的语义关系,印证了间接时态作为独立的语法范畴体系确立的合理性。