首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   4篇
  免费   1篇
丛书文集   3篇
综合类   2篇
  2022年   1篇
  2011年   1篇
  2010年   1篇
  2007年   1篇
  2005年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
解析弗协调逻辑容纳"真矛盾"的逻辑机制   总被引:1,自引:1,他引:0  
弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,但它只是要容纳那些不会导致系统不足道的"真矛盾".论文在详细阐述弗协调逻辑容纳"真矛盾"的核心逻辑机制的基础上,对逻辑真理观进行了逻辑哲学层面的反思,并明确提出:传统形式逻辑和现代形式逻辑的真理都是具有严格相对性的,而弗协调逻辑的真正哲学价值不在于它自身特异的逻辑性质,而在于它自觉贯彻了逻辑真理的这种严格相对性.  相似文献   
2.
现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。  相似文献   
3.
弗协调逻辑是一种异常型的非经典逻辑.通过对其进行统揽分析和精细解读,可以清晰地看到:弗协调逻辑是从真矛盾观的哲学观念出发,通过修改否定词的含义从而区分出来了两类否定--经典否定和弗协调否定;进而又通过对两类否定的界定,弱化了"一般意义"上的矛盾律,限制了"一般意义"上的司各脱规则,从而最终达到了容纳"真矛盾"的逻辑目标.但实际上,弗协调逻辑并没有对经典否定意义上的矛盾律产生弱化影响,并且也没有限制经典否定意义上的司各脱规则,更没有容纳经典否定意义上的逻辑矛盾.  相似文献   
4.
次协调逻辑及其带来的逻辑哲学问题   总被引:3,自引:2,他引:1  
李娜  郝旭东 《学术论坛》2005,(10):18-21
次协调逻辑在人工智能领域的应用卓有成效。它可以在系统中容忍不平庸的矛盾,同时又限制这种矛盾使之不会在系统中扩散,从而使得“矛盾可以推出一切”的后果不会在系统内发生。这个目标是依靠弱化否定词的经典含义和削弱矛盾律的作用,从而限制斯哥特规则的作用范围来实现的。文章试图在阐明次协调逻辑基本机制的基础上,将次协调逻辑放在与非经典逻辑、逻辑真理观以及哲学辩证法相联系的层面上,对由此而带来的逻辑哲学问题作进一步的解析。  相似文献   
5.
P1是一个基本的弗完全逻辑系统,其重要特征是排中律在一般意义上无效,并且有些会导致矛盾扩散的逻辑原则在其中失效,从而使得弗完全逻辑具有可以容纳矛盾冲突,但不会导致整个系统无意义的逻辑特性。在系统P1的基础上,通过直接的逻辑扩充可以建立一系列弗完全模态逻辑系统,即P1K, P1D, P1T, P14, P1G,并可证明它们的可靠性和完全性。这些具有弗完全性质的模态逻辑系统,都具有容忍“真矛盾”的能力。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号