论文部分内容阅读
合并逻辑(Combining Logic),又称为逻辑的合并(Combination of Logics),是“当代逻辑的理论和应用研究中最令人感兴趣的题目之一。”以《哲学逻辑手册》的主编Dov.M.Gabby为首的众多学者对它进行了研究,并取得了重要的成果。它在哲学、逻辑学、语言学、人工智能与计算机科学等方面有着重要的理论和应用价值,并使逻辑成为一个更有力的工具。最初,合并逻辑出现在模态逻辑的环境中。因此,许多方法被特别地创造出来一方面模型化(model)克瑞普克结构的合并,另一方面模型化公理系统的合并,尽管现在它们被应用于大量的模型论和证明论概念。Marcelo Finger和Dov.M.Gabby 1992年发表“Adding a Temporal Dimension to a Logic System"一文,首次提出了时间化(Temporalization)方法;1996年二人又发表论文"Combining Temporal Logic Systems",论述了时间逻辑系统与时间逻辑系统的合并,即将两个一维时间逻辑系统合并从而得到一个二维的时间逻辑系统。后来,Marcelo Finger对这个问题进行了更深入地研究,于2002年发表"The Unrestricted Combining of Temporal Logic Systems"一文,把关于线性时间流逻辑系统的合并推广到任意时间流。时间化方法不是任意合并两种逻辑,而是把一逻辑系统镶嵌在时间逻辑系统之中,外在地为该逻辑系统增加时间特征,把它的不同状态与不同的时刻联系起来,从而刻画该系统中的理论和模型在时间上的发展变化。这种方法部分程度地满足两个不同逻辑系统的算子之间的交互作用。并且合并后的逻辑系统保留了原来时间逻辑的几个性质,比如可靠性、完全性、可判定性、守恒性和线性时间流上的分离性等。1996年Dov.M.Gabby创立了纤维(Fibring)方法。使用这种方法可以将两个逻辑系统合并从而得到一个新的逻辑系统;在新逻辑系统中,不但可以将命题变项和联结词混合,而且可以将推理规则合并。由于这种方法允许不同的模态算子交互作用,克服了融合方法的局限,并且在证明——理论的层面上也极易被理解,因而,纤维被认为是合并逻辑中最有效的方法,在数理逻辑的理论和应用方面具有重要意义。当使用纤维方法将经典命题逻辑与直觉主义命题逻辑合并时,所得到的逻辑坍塌为经典命题逻辑。为了解决这个“坍塌问题”3,Cristina Sernadas, Joao Rasga和Walter A.Carnielli三人于2002年提出了调制纤维(Modulated Fibring)方法。这种方法通过使用附加格结构之间的模型来解决坍塌问题。调制纤维逻辑保持了可靠性、完全性等性质。在Cristina Sernadas, Joao Rasga和Walter A.Carnielli提出调制纤维方法之后,Carlos Caleiro和Jaime Ramos于2004年提出了另一种解决坍塌问题的方法——隐纤维(Cryptofibring)。这种方法比调制纤维方法的结构更简单。它采用一个普遍化的隐态射的纤维语义来解决语义坍塌问题。当前,刻画认知逻辑的动态特征也是现代逻辑研究中的重要问题。在双主体认知逻辑中,关于知道、相信的逻辑系统被构造,它们为分析和推理在特定外界和系统中的知识、信任等提供了一个基础。双主体认知逻辑能够表达知识、信任的静态特征。但是,知识、信任是观察的结果,这导致知道、相信另一种行为在没有明确保证的情况下可以被知道、相信,以致能在特殊的环境中完成目标。所以,知识、信任作为一系列明确观察的结果,是在时间上发展变化的。一个主体由于某些原因,比如来自其它主体的建议,可能在时间的某个时刻失去它的知识、信任或者增加新的知识、信任。如果将时间引入到双主体认知逻辑中,就能表达双主体认知的动态特征和双主体知识的演进。本文力图在充分考察合并逻辑主要方法的基础上,尝试运用时间化和纤维方法,建立两个双主体时间认知逻辑系统,从而刻画双主体认知的动态特征并模拟双主体认知理论的发展变化。概括说来,本文的工作包括以下三个方面:第一,对国外有关合并逻辑发展的资料进行了梳理,限于篇幅,对时间化、纤维、调制纤维和隐纤维这四种主要的方法进行介绍。时间化、纤维这两种方法应用最多。尤其是纤维方法,是合并逻辑中最重要的机制。国外很多逻辑学者对Dov.M.Gabby创立的这种方法进行了探讨,并对这种方法中存在的问题提出了一些解决办法。调制纤维和隐纤维这两种方法就是为了解决纤维方法中的问题而创立的。第二,采用纤维方法,将时间逻辑系统与极小双主体认知逻辑系统Bm合并,构造一个新的逻辑系统——纤维的双主体时间认知逻辑系统F(Bm),从而表达双主体认知的动态特征及其知识的演进。它允许我们说明认知的动态并且及时地修正基于认知变化的一给定系统的认知理论。第三,采用时间化方法,将时间逻辑系统与极小双主体认知逻辑系统Bm合并,构造一新的逻辑系统——时间化的双主体时间认知逻辑系统T(Bm),从而能以一种自然的方式表达有关主体认知的依赖于时间的性质。