弗协调逻辑的理论意义和实践价值杨武金(中国人民大学哲学系,北京.(中国人民大学哲学系,北京100872)[摘要]弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支,它限制了经典逻辑中矛盾律作用的范围,能够容纳有意义的真矛盾,能够作为一切不...
谁能给一个靠谱的逻辑学分类?.经典逻辑,形式逻辑,数理逻辑,现代逻辑,各种名词乱飞,就是维基也语焉不详。.都太不严谨了。.谁能给一个明确的分类和定义?.重要专有名词要有英文。.谢…
弗协调逻辑是由普里斯特(Priest)、达?科斯塔(N.C.A.daCosta)等人在对悖论的研究中发展起来的,是关于从矛盾中不能推出一切的理论。弗协调逻辑限制或者否定了经典逻辑中矛盾律的作用,能够容纳矛盾,但又认为从矛盾不能推出一切,不允许矛盾任意扩散,以免导致系统成为“不足道的”。
规范逻辑、时态逻辑等都属于广义模态逻辑11.7弗协调逻辑亦称次协调逻辑、超协调逻辑、亚相容逻辑等雅斯可夫斯基于1940年代末构造第一个次协调逻辑系统达科斯塔(1929年生)建立更完善的次…
博士论文《弗协调认知逻辑研究》,获2010年金岳霖学术奖•优秀博士论文提名奖,并由华东师范大学出版社,2010年8月。主持的科研项目1.上海高校选拔培养优秀青年教师科研专项基金(79301601):“弗协调逻辑与认知逻辑的交叉研究”。
张清宇主编《哲学逻辑研究》(1997),撰著《弗协调逻辑》(2003),在弗协调逻辑领域内做了一些重要的工作。徐明主要从事时态逻辑研究,与贝尔纳普等人合著FacingtheFuture:AgentsandChoicesinOurIndeterministWorld(牛津大学出版社,2001),在《符号逻辑杂志》和《哲学逻辑杂志》等一流期刊上发表...
摘要:中国逻辑学界70年历程表明:当与外部世界处于隔绝状态时,它本身的状态也相当不好;当打开国门去拥抱世界时,它自身的潜力被激活,得到了发展和繁荣。由于中国在近代停滞和落后,在与外部世界特别是西方世界的接触中,我们主动或被动地处于学生位置:别人探索和提出X,我们只学习...
弗协调逻辑的核心思想是摒弃p∧¬p→q(矛盾式实质蕴涵任何命题这一所谓的司各脱律),在此前提下保留尽可能多的经典逻辑部分。它的宗旨是作为不平凡的理论的逻辑基础。它认为,能推出一切命题的理论是平凡的,不可取;否则,可以被其接纳。所以,尽管相干
人工智能逻辑论文.docx,人工智能逻辑论文从人工智能看当代逻辑学的发展[摘要]本文认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:1如何在逻辑中处理常识推理的弗协调、非单调…
弗协调逻辑的理论意义和实践价值杨武金(中国人民大学哲学系,北京.(中国人民大学哲学系,北京100872)[摘要]弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支,它限制了经典逻辑中矛盾律作用的范围,能够容纳有意义的真矛盾,能够作为一切不...
谁能给一个靠谱的逻辑学分类?.经典逻辑,形式逻辑,数理逻辑,现代逻辑,各种名词乱飞,就是维基也语焉不详。.都太不严谨了。.谁能给一个明确的分类和定义?.重要专有名词要有英文。.谢…
弗协调逻辑是由普里斯特(Priest)、达?科斯塔(N.C.A.daCosta)等人在对悖论的研究中发展起来的,是关于从矛盾中不能推出一切的理论。弗协调逻辑限制或者否定了经典逻辑中矛盾律的作用,能够容纳矛盾,但又认为从矛盾不能推出一切,不允许矛盾任意扩散,以免导致系统成为“不足道的”。
规范逻辑、时态逻辑等都属于广义模态逻辑11.7弗协调逻辑亦称次协调逻辑、超协调逻辑、亚相容逻辑等雅斯可夫斯基于1940年代末构造第一个次协调逻辑系统达科斯塔(1929年生)建立更完善的次…
博士论文《弗协调认知逻辑研究》,获2010年金岳霖学术奖•优秀博士论文提名奖,并由华东师范大学出版社,2010年8月。主持的科研项目1.上海高校选拔培养优秀青年教师科研专项基金(79301601):“弗协调逻辑与认知逻辑的交叉研究”。
张清宇主编《哲学逻辑研究》(1997),撰著《弗协调逻辑》(2003),在弗协调逻辑领域内做了一些重要的工作。徐明主要从事时态逻辑研究,与贝尔纳普等人合著FacingtheFuture:AgentsandChoicesinOurIndeterministWorld(牛津大学出版社,2001),在《符号逻辑杂志》和《哲学逻辑杂志》等一流期刊上发表...
摘要:中国逻辑学界70年历程表明:当与外部世界处于隔绝状态时,它本身的状态也相当不好;当打开国门去拥抱世界时,它自身的潜力被激活,得到了发展和繁荣。由于中国在近代停滞和落后,在与外部世界特别是西方世界的接触中,我们主动或被动地处于学生位置:别人探索和提出X,我们只学习...
弗协调逻辑的核心思想是摒弃p∧¬p→q(矛盾式实质蕴涵任何命题这一所谓的司各脱律),在此前提下保留尽可能多的经典逻辑部分。它的宗旨是作为不平凡的理论的逻辑基础。它认为,能推出一切命题的理论是平凡的,不可取;否则,可以被其接纳。所以,尽管相干
人工智能逻辑论文.docx,人工智能逻辑论文从人工智能看当代逻辑学的发展[摘要]本文认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:1如何在逻辑中处理常识推理的弗协调、非单调…