共查询到10条相似文献，搜索用时 62 毫秒
1.
2.
弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统,即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上,对弗完全否定的逻辑涵义进行了直观解释,并分析了其逻辑语义特征;给出了弗完全逻辑拟真值表的具体列法,表明了系统P1的可判定性;利用拟真值表方法,表明了一般意义排中律在P1中的失效;对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析,并就此将弗协调逻辑C1和P1进行了容忍能力的比较。 相似文献
3.
董英东 《西南师范大学学报(人文社会科学版)》2009,(5):71-75
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。 相似文献
4.
经典逻辑视野中的弗协调逻辑 总被引：2，自引：0，他引：2
杜国平 《华南师范大学学报(社会科学版)》2007,(5):19-24
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别；由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑，但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的，这正如非欧几何之与欧氏几何。 相似文献
5.
郝旭东 《华东师范大学学报(哲学社会科学版)》2011,43(2):17-21
弗协调逻辑是一种可以容纳“矛盾”的非经典逻辑,其所容纳的“矛盾”被称为“真矛盾”。在弗协调逻辑看来,逻辑悖论就是一种“真矛盾”,是可以被弗协调逻辑系统所容纳的。在分析逻辑悖论语法表现的基础上,我们可以清楚地看到弗协调逻辑消解悖论的逻辑机制。弗协调逻辑作为一种解悖方案,实际上是隔离了悖论对系统的不良影响,这种隔离意义上的悖论消解具有重要的现实意义;同时其相对于协调而区分出来的弗协调,也具有重要的逻辑哲学价值。 相似文献
6.
曹青春 《内蒙古大学学报(人文社会科学版)》2011,(5):49-55
内涵逻辑系统有广义狭义之分。从广义上来说,当前最具代表性的内涵逻辑系统有：模态逻辑、时间逻辑、自由逻辑、道义逻辑、认知逻辑等。从狭义上看,内涵逻辑系统包括丘奇的内涵逻辑系统以及以丘奇内涵逻辑系统为基础的其他系统。本文讨论的内涵逻辑特指源于弗雷格的涵义和指称理论的狭义内涵逻辑。 相似文献
7.
段培君 《华侨大学学报(哲学社会科学版)》1992,(Z1)
德·柯斯塔是弗协调逻辑的著名代表人物之一。近年来他将弗协调思想运用于归纳逻辑的研究,提出了自己的归纳逻辑系统。柯斯塔的主要目标是,提出一个更为合理的归纳逻辑系统,为归纳推理提供一个新的辩护,同时说明归纳与科学的关系。用柯斯塔本人的话说,通过建立这一新的归纳逻辑系统,将能“抓到科学的基本累积特性,并使我们能够说明,为什么接受和相信由归纳获取的结论确实是有根据的。” 相似文献
8.
赵伟莉 《淮阴师范学院学报(哲学社会科学版)》2007,29(1):39-42
弗协调逻辑是以怀疑经典逻辑矛盾律的普遍有效性为基础而发展起来的逻辑理论,它通过对经典逻辑否定的修改,弱化经典逻辑的否定来达到对矛盾律的限制。关于弗协调逻辑的否定与矛盾一直是争议的焦点,本文试图从国内关于这两点的一些分析及争论出发,探讨弗协调逻辑的否定与经典逻辑否定的关系,并进而分析弗协调逻辑所说的矛盾与经典逻辑的矛盾律是否一致。 相似文献
9.
研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。 相似文献
10.
杜国平 《徐州师范大学学报(哲学社会科学版)》2012,38(1):139-142
知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。 相似文献