哲思逻辑——一个形而上学内容的公理体系 被引量：20

1

作者 杜国平 《东南大学学报（哲学社会科学版）》 CSSCI 2007年第4期43-46,共4页

在经典命题逻辑的系统内,增加一个一元算子*,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,... 在经典命题逻辑的系统内,增加一个一元算子*,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,有不遵守矛盾律而遵守排中律的弗协调否定算子,还有既不遵守矛盾律又不遵守排中律的辩证否定算子。通过引入关于*的一个形式语义,可以证明哲思逻辑系统具有可靠性和完全性。在哲思逻辑中,A和A之间是矛盾关系,A和2A之间是反对关系,A和△A之间是下反对关系,A和*A之间是差等关系。所以,哲思逻辑又可以称为对当关系逻辑。 展开更多

关键词 否定 弗协调 直觉主义

下载PDF 职称材料

弗完全逻辑P_1及其容忍悖论的逻辑机制 被引量：1

2

作者 郝旭东 张建军 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2015年第1期10-14,共5页

弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统,即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上,对弗完全否定的逻辑涵义进行了直观解释,并分析了其逻辑语义特征;给出了弗完全逻... 弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统,即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上,对弗完全否定的逻辑涵义进行了直观解释,并分析了其逻辑语义特征;给出了弗完全逻辑拟真值表的具体列法,表明了系统P1的可判定性;利用拟真值表方法,表明了一般意义排中律在P1中的失效;对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析,并就此将弗协调逻辑C1和P1进行了容忍能力的比较。 展开更多

关键词 弗完全逻辑 排中律 真矛盾 逻辑悖论 弗协调

下载PDF 职称材料

集合论发展的新路径研究

3

作者 符喜迎 《未来与发展》 2017年第1期61-67,共7页

集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论正是基于这样一条原则建立起来的。对象和集合之间的是"属于"关系,对象和性质之间的是"满... 集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论正是基于这样一条原则建立起来的。对象和集合之间的是"属于"关系,对象和性质之间的是"满足"关系,因而概括(抽象)原则可以用类似于塔斯基T模式的方式表示出来,x缀φ圮准(x),即集合φ恰好满足性质准的那些对象构成。然而,正是由于这个不加限制的概括原则,20世纪初波特兰·罗素在康托尔的朴素集合论中发现了一个悖论,即我们熟知的罗素悖论。罗素悖论的出现使得人们开始考虑对集合形成原则加以限制,增加新的公理限制集合论的朴素概括原则,这就是公理集合论的发展路径。公理化集合论是一种指向修改概括(抽象)原则拯救朴素集合论的集合论,因而其约束概括原则限制生成集合的任意性,对于维持集合论系统的协调性具有极端重要的意义。然而,随着弗协调思想和技术的发展,人们对待矛盾或不协调的态度和处理方法也在发生相应的改变,包容或容纳矛盾及不协调可以是集合论发展的一种路径选择。朴素集合论是一种不协调的理论,弗协调逻辑是唯一一类能够容纳不协调理论的逻辑类型;因此使用弗协调逻辑构造新的弗协调集合论系统是集合论发展的新路径。 展开更多

关键词 公理化 弗协调 概括公理 协调性

下载PDF 职称材料

弗协调集合论研究的新进展

4

作者 符喜迎 《科学．经济．社会》 2017年第3期16-23,共8页

公理化集合论建立新的公理限集合形成原则,成功地拯救了朴素集合论。这一方法极大地推动了集合论的发展,并且为经典数学奠定了基础。但是,公理化方法人为地限制集合形成原则,排除了集合论系统中有意义的罗素集和全集。20世纪60年代以来... 公理化集合论建立新的公理限集合形成原则,成功地拯救了朴素集合论。这一方法极大地推动了集合论的发展,并且为经典数学奠定了基础。但是,公理化方法人为地限制集合形成原则,排除了集合论系统中有意义的罗素集和全集。20世纪60年代以来,随着弗协调思想和技术的发展,弗协调逻辑应用于集合论研究的趋势得以凸显,开拓了弗协调集合论研究的新方向。集合论研究从公理化到弗协调的转向,把朴素集合论重新推向了一个新的高度。 展开更多

关键词 公理化 弗协调 概括公理 协调性

下载PDF 职称材料

经典逻辑视野中的弗协调逻辑 被引量：12

5

作者 杜国平 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2007年第5期19-23,共5页

以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定A之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻... 以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定A之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的,这正如非欧几何之与欧氏几何。 展开更多

关键词 否定 弗协调逻辑 不矛盾律 下反对关系

下载PDF 职称材料

命题真值的不同——半截子悖论与严格悖论的一个重要区别 被引量：4

6

作者 王建芳 《江汉论坛》 CSSCI 北大核心 2000年第11期44-48,共5页

半截子悖论命题虽然都能由其真推出其为假，但它们并不符合罗素说的“无意义”，没有所表示的内容无法判断真假；并且它们也不需要用塔尔斯基的“语言层次理论”来区分真假。在鲍契瓦的三值逻辑中，它们的值为假，而不像严格悖论的值是... 半截子悖论命题虽然都能由其真推出其为假，但它们并不符合罗素说的“无意义”，没有所表示的内容无法判断真假；并且它们也不需要用塔尔斯基的“语言层次理论”来区分真假。在鲍契瓦的三值逻辑中，它们的值为假，而不像严格悖论的值是“悖谬的”。从克里普克的间隙论方案看，它们不像严格悖论命题是“无根基的”，处于真值间隙状态。用语境敏感方案来衡量，它们的值并不随语境的变化而变化。从弗协调逻辑的观点看，它们并不像严格悖论语句那样“既真又假”。总之，与严格悖论命题不能简单地取真假二值中的任何一个不同，半截子悖论命题是“有根基的”，据其语义可析出其值为假。 展开更多

关键词 命题真值 半截子悖论 严格悖论 语境敏感方案 弗协调逻辑 悖论命题

下载PDF 职称材料

论悖论的实质、根源和主要解决方案——从弗协调逻辑的观点看 被引量：3

7

作者 杨武金 《中国人民大学学报》 CSSCI 北大核心 2006年第2期54-60,共7页

悖论是一个论证,它依据一定的背景知识和逻辑法则,从一些已知为真的前提出发却推出了互相矛盾的命题,或者在一个命题和它的否定之间可以互推这样一种事实。从弗协调逻辑的观点看,处理悖论的最好办法,也许不是拒斥,而是应该采取容纳的态度。

关键词 悖论 弗协调逻辑 解悖方案

原文传递

弗协调逻辑的哲学含义 被引量：4

8

作者 N.C.A.科斯塔 张清宇 《世界哲学》 1986年第5期68-74,共7页

1.弗协调逻辑弗协调逻辑是一种新的形式逻辑,它的先驱是J.卢卡西维茨和N.A.瓦西里耶夫。人们甚至可以认为,亚里士多德已经推测过这种逻辑存在的可能性。但是,至少就那些作者有关弗协调性的研究而言,他们是把逻辑设想为亚里士多德逻辑及... 1.弗协调逻辑弗协调逻辑是一种新的形式逻辑,它的先驱是J.卢卡西维茨和N.A.瓦西里耶夫。人们甚至可以认为,亚里士多德已经推测过这种逻辑存在的可能性。但是,至少就那些作者有关弗协调性的研究而言,他们是把逻辑设想为亚里士多德逻辑及其直接推广的很有限的范围。 展开更多

关键词 弗协调逻辑 非古典逻辑 模态逻辑 哲学含义 集合论 亚里士多德逻辑 逻辑系统 可能性 形式逻辑 塔尔斯基

原文传递

什么是弗协调逻辑? 被引量：1

9

作者 余俊伟 《北京科技大学学报（社会科学版）》 2001年第2期12-16,共5页

20世纪 6 0年代 ,经典逻辑发展相对停滞 ,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后 ,人们对经典逻辑发起挑战 ,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑... 20世纪 6 0年代 ,经典逻辑发展相对停滞 ,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后 ,人们对经典逻辑发起挑战 ,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时 ,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统 ,于是我们可得出结论 展开更多

关键词 经典逻辑 弗协调逻辑 弗协调模态逻辑 赋值 弗协调命题逻辑系统 非经典逻辑

下载PDF 职称材料

一种处理集合论悖论的新方法 被引量：4

10

作者 李娜 何建锋 《哲学动态》 CSSCI 北大核心 2017年第11期93-98,共6页

本文介绍了一种处理集合论悖论的新方法——弗协调集合论。本文首先以罗素悖论和等值悖论为代表,考察了处理悖论的已有方法 ZF、NBG、NF、直觉主义;其次,从弗协调逻辑出发,分类概述了弗协调集合论的现状;最后,考察了弗协调集合论对罗素... 本文介绍了一种处理集合论悖论的新方法——弗协调集合论。本文首先以罗素悖论和等值悖论为代表,考察了处理悖论的已有方法 ZF、NBG、NF、直觉主义;其次,从弗协调逻辑出发,分类概述了弗协调集合论的现状;最后,考察了弗协调集合论对罗素悖论和等值悖论的处理情况,证明弗协调集合论在处理集合论悖论方面是成功的。 展开更多

关键词 罗素悖论 等值悖论 平凡性 弗协调集合论

原文传递

论经典否定、直觉主义否定和弗协调否定 被引量：3

11

作者 冯艳 《自然辩证法研究》 CSSCI 北大核心 2005年第2期34-38,共5页

本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。并对这三种否定进行比较,指出其相同与相异之处。此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系。

关键词 经典否定 直觉主义否定 弗协调否定

下载PDF 职称材料

我国现代逻辑研究概况 被引量：3

12

作者 宋文坚 《哲学动态》 CSSCI 北大核心 1999年第9期40-44,共5页

关键词 现代逻辑 多值逻辑 研究概况 模型论 时态逻辑 弗协调逻辑 格值模型 递归论 逻辑演算 条件句

原文传递

弗协调逻辑的哲学解读 被引量：2

13

作者 余俊伟 《哲学动态》 CSSCI 北大核心 2004年第11期25-28,共4页

“弗协调逻辑”(paraconsistent logic)，又译作“次协调逻辑”、“超协调逻辑”，是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。

关键词 弗协调逻辑 次协调逻辑 是非 哲学解读 逻辑理论 非经典逻辑 矛盾 分支

原文传递

解析作为解悖方案的弗协调逻辑 被引量：1

14

作者 郝旭东 《华东师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2011年第2期17-21,112,共6页

弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,其所容纳的"矛盾"被称为"真矛盾"。在弗协调逻辑看来,逻辑悖论就是一种"真矛盾",是可以被弗协调逻辑系统所容纳的。在分析逻辑悖论语法表现的基础... 弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,其所容纳的"矛盾"被称为"真矛盾"。在弗协调逻辑看来,逻辑悖论就是一种"真矛盾",是可以被弗协调逻辑系统所容纳的。在分析逻辑悖论语法表现的基础上,我们可以清楚地看到弗协调逻辑消解悖论的逻辑机制。弗协调逻辑作为一种解悖方案,实际上是隔离了悖论对系统的不良影响,这种隔离意义上的悖论消解具有重要的现实意义;同时其相对于协调而区分出来的弗协调,也具有重要的逻辑哲学价值。 展开更多

关键词 弗协调逻辑 悖论 真矛盾 弗协调否定 矛盾律 司哥特规则

下载PDF 职称材料

弗协调逻辑 被引量：1

15

作者 张清宇 《哲学动态》 1987年第2期32-33,24,共3页

语言和逻辑是理论的两大要素。当我们用符号精确描述这一切时,用以表达给定理论T的语言L也就是一堆公式。这些公式都是由初始概念的符号和逻辑符号按一定规则形成的;理论T本身也可看成是对于基础逻辑的规则封闭的一组公式,这些公式称为... 语言和逻辑是理论的两大要素。当我们用符号精确描述这一切时,用以表达给定理论T的语言L也就是一堆公式。这些公式都是由初始概念的符号和逻辑符号按一定规则形成的;理论T本身也可看成是对于基础逻辑的规则封闭的一组公式,这些公式称为T的定理。如果语言L中的任一个公式都是T的定理,则称理论T为不足道的;否则,称T为足道的。如果语言L有表示否定的符号,则称公式A为A的否定;如果有一公式与其否定同时都是T的定理,则称T为不协调的;否则,称T为协调的。 展开更多

关键词 弗协调逻辑 辩证逻辑 不协调 逻辑系统 命题逻辑 非古典逻辑 公式 逻辑学家 矛盾律 协调理论

原文传递

解析弗协调逻辑容纳“真矛盾”的逻辑机制 被引量：2

16

作者 郝旭东 《学术论坛》 CSSCI 北大核心 2010年第8期1-4,共4页

弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,但它只是要容纳那些不会导致系统不足道的"真矛盾"。论文在详细阐述弗协调逻辑容纳"真矛盾"的核心逻辑机制的基础上,对逻辑真理观进行了逻辑哲学层面的反思... 弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,但它只是要容纳那些不会导致系统不足道的"真矛盾"。论文在详细阐述弗协调逻辑容纳"真矛盾"的核心逻辑机制的基础上,对逻辑真理观进行了逻辑哲学层面的反思,并明确提出:传统形式逻辑和现代形式逻辑的真理都是具有严格相对性的,而弗协调逻辑的真正哲学价值不在于它自身特异的逻辑性质,而在于它自觉贯彻了逻辑真理的这种严格相对性。 展开更多

关键词 弗协调逻辑 真矛盾 逻辑真理

下载PDF 职称材料

基于哲学逻辑的集合论研究 被引量：2

17

作者 李娜 《浙江大学学报（人文社会科学版）》 CSSCI 北大核心 2017年第1期215-216,共2页

20世纪60年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮。在这一时期,诞生了模态集合论、弗协调集合论、直觉主义集合论等一些基于哲学逻辑的集合理论。模态逻辑是在经典逻辑的基础上增加模态算子形成的一种二阶逻辑... 20世纪60年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮。在这一时期,诞生了模态集合论、弗协调集合论、直觉主义集合论等一些基于哲学逻辑的集合理论。模态逻辑是在经典逻辑的基础上增加模态算子形成的一种二阶逻辑,因此,它是一种比经典逻辑强的逻辑。模态集合论相对于公理化集合论是一种加强了基础逻辑的公理化集合论。与ZF公理化集合论用公理限制集合的方法不同,弗协调集合论也是一种改变了集合论的基础逻辑,选择了可以容纳或处理矛盾的弗协调逻辑,这样即使集合论中出现矛盾也不会使整个理论陷入不足道的困境。由于在直觉主义逻辑中排中律不成立,所以直觉主义逻辑是一种比经典逻辑弱的逻辑。直觉主义集合论相对于ZF公理化集合论是一种减弱了基础逻辑的公理化集合论。 展开更多

关键词 哲学逻辑 集合论 模态集合论 弗协调集合论 直觉主义集合论

原文传递

论集合论的模型 被引量：2

18

作者 李娜 何建锋 《逻辑学研究》 CSSCI 2019年第1期49-69,共21页

本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处... 本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处理相等关系=,以便它能够满足莱布尼兹公理。此外,本文构造的广义代数值模型具有一定的可推广性。 展开更多

关键词 集合论的模型 独立性 布尔值 拓扑斯 弗协调集合论

下载PDF 职称材料

罗素悖论与弗协调逻辑

19

作者 骆如枫 《杭州大学学报（自然科学版）》 CSCD 1993年第4期375-380,共6页

本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.

关键词 罗素命题 弗协调逻辑 弗协调集合论

下载PDF 职称材料

弗协调逻辑及其理论特征

20

作者 杨武金 《中共南京市委党校南京市行政学院学报》 2004年第2期10-15,共6页

弗协调逻辑是一种非经典逻辑 ,是现代逻辑中非经典逻辑方向的一个重要分支。第一 ,弗协调逻辑修改了经典逻辑中的矛盾律 ,在弗协调逻辑中 ,矛盾律不普遍有效 ,这是对经典逻辑的重大“革命” ;第二 ,在弗协调逻辑系统中 ,矛盾不能推出一... 弗协调逻辑是一种非经典逻辑 ,是现代逻辑中非经典逻辑方向的一个重要分支。第一 ,弗协调逻辑修改了经典逻辑中的矛盾律 ,在弗协调逻辑中 ,矛盾律不普遍有效 ,这是对经典逻辑的重大“革命” ;第二 ,在弗协调逻辑系统中 ,矛盾不能推出一切 ,经典逻辑中的有些重要定理不再是弗协调逻辑中的定理 ;第三 ,弗协调逻辑是弗协调理论的逻辑基础 ,是为弗协调理论寻找依据而建立起来的 。 展开更多

关键词 弗协调逻辑 矛盾律 弗协调理论 经典逻辑

下载PDF 职称材料