围棋必胜法的数理逻辑观照

用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有重要的价值。     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理,是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手,提出了基于数理逻辑的知识表示方法与实例,并提出谓词逻辑的局限与应当进一步研究的问题。     

数理逻辑的盲区与哲学逻辑的兴起

海德格尔从哲学探究的角度出发 ,对哲学和逻辑进行了深入的思考。他认为 ,逻辑是关于一个语句的意义和判断的内容的。数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论。哲学逻辑并不是一门新科学 ,而只是实现了从一开始就在进行的对于传统逻辑的刻画。研究海德格尔的哲学和逻辑思想可以得到的基本启示是 :我们在进行哲学逻辑以及逻辑哲学研究的时候 ,一定要有一个理念 ,即逻辑是需要哲学来为其辩护的 ,逻辑的研究要有一个哲学的基础。哲学逻辑是逻辑在哲学中的应用 ,在应用的过程中哲学理念已经深深地灌输进去 ,哲学与逻辑已水乳交融 ,两者的联盟使得各自的学科都得到了长足的发展。     

数理逻辑的盲区与哲学逻辑的兴起——评海德格尔哲学逻辑思想

海德格尔从哲学探究的角度出发,对哲学和逻辑进行了深入的思考.他认为,逻辑是关于一个语句的意义和判断的内容的.数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论.哲学逻辑并不是一门新科学,而只是实现了从一开始就在进行的对于传统逻辑的刻画.研究海德格尔的哲学和逻辑思想可以得到的基本启示是:我们在进行哲学逻辑以及逻辑哲学研究的时候,一定要有一个理念,即逻辑是需要哲学来为其辩护的,逻辑的研究要有一个哲学的基础.哲学逻辑是逻辑在哲学中的应用,在应用的过程中哲学理念已经深深地灌输进去,哲学与逻辑已水乳交融,两者的联盟使得各自的学科都得到了长足的发展.     

全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题

事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A     

棋法阴阳:围棋中的哲理与数理

围棋是中国古人伟大的发明之一。围棋是一种高明的逻辑游戏,其中蕴涵深刻的哲理。围棋 的发明与中国古代太极阴阳思想密切相关。围棋及其对弈规则是太极阴阳思想在棋盘上最直观、最充分的体 现。围棋的基本规则合乎逻辑的运算法则,围棋的基本棋形与八卦逻辑相通。睿智的中国古人甚至赋予无形 的、绝对的空无概念以活形,同时赋予相对的、有限的阴阳概念以死形。两眼活棋中的两眼一个表示空一个表 示无,单眼死棋中的单眼表示黑(阴)或白(阳)中的单一方面。围棋中的活棋表示绝对的存在,围棋中的死棋 表示相对的存在。绝对的存在是空无、相对的存在是阴阳。围棋的永恒魅力来自两方面:一是来自空无的绝 对神秘,二是来自阴阳的相对变化。棋法阴阳,空无是阴阳变化的枢机。     

关于批判性思维的批判的批判——与王路教授商榷

"王文"以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;"王文"混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其"以数理逻辑完全取代普通逻辑"的错误主张偷换为冠冕堂皇的"以现代逻辑取代传统逻辑"的口号;绝对不能以数理逻辑取代普通逻辑,"王文"所提出的以数理逻辑取代普通逻辑的种种理由都是不能成立的.     

研究辩证逻辑,把我国的逻辑研究推进到一个新阶段

1.在21世纪,我国的逻辑学研究应以辩证逻辑为重点,把逻辑科学推进到一个新阶段——辩证逻辑阶段;2.辩证逻辑是关于辩证思维形式及其规律的科学,必须克服把辩证逻辑与辩证法相混淆的错误倾向,沿着辩证逻辑逻辑化的道路前进;3.王路《“辩证逻辑”的历史与未来》所散布的所谓恩格斯的“辩证逻辑”不是“逻辑”,只是“辩证法”的观点,是错误的.     

奎因与逻辑的观念——访清华大学王路教授

奎因是20世纪西方最伟大的哲学家之一。逻辑的理论和方法是奎因哲学的基础。他强调一阶逻辑的重要性,甚至认为模态逻辑不属于逻辑。他对许多传统哲学观念提出挑战,包括关于分析判断和综合判断的区分,有关个体的本体论承诺等等,在哲学研究中产生广泛的影响。王路教授赞同奎因的逻辑观,认为从弗雷格到奎因,他们的逻辑观是一样的,尽管他们使用了不同的表述方式;奎因的逻辑观与亚里士多德的逻辑观是一脉相承的。这种逻辑观在理论上体现的是关于量词的研究,实质则是对普遍性的追求。正是在这一点上,它与哲学是一致的,因此,能够在哲学研究中起着十分重要的作用。     

面向对象信息系统的新思维──继承性推理中的F＊－logic方法

本文在Ｆ－ｌｏｇｉｃ的基础上提出了合理、完备、具有一阶语义和高阶表示能力的逻辑系统Ｆ￣＊－ｌｏｇｉｃ，研究了用Ｆ￣＊－ｌｏｇｉｃ在保持单调性的前提下进行继承性推理的方法，解决了在继承性推理中由于重置、例外和多重继承下的冲突所引起的难题。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

人工智能中一阶逻辑的现代表达方法

人工智能研究中使用的主要语言是一阶逻辑语言,而非程序语言,其特点在于计算不再是其主要特征,更注重推理过程和知识库构建,结合诊断规则和因果规则,使智能体获得理性判断能力。     

一阶偏微分方程的特征线法

介绍了一阶偏微分方程特征线法的由来、几何意义及求解的基本思想.     

一阶偏微分方程的特征线法

介绍了一阶偏微分方程特征线法的由来、几何意义及求解的基本思想.     

关于一阶逻辑形式系统中概括规则的注记

本文在文献［１］的基础上，给出一个一阶逻辑形式系统Ｋ＇；证明了Ｋ＇的限制概括规则和Ｋ＇演绎定理；证明Ｋ＇与文献［１］中的一阶逻辑形式系统Ｋ是等价的；通过比较Ｋ＇和Ｋ，说明Ｋ＇的有关元定理强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响．     

论民间法的场域公共秩序逻辑——基于广义法哲学视角之民间法的基石法理型构

要摆脱当前法学舆论格局中的被动地位,民间法须型构自己的基石法理逻辑。国家法的基石法理是政治秩序逻辑,民间法的法理型构方法是场域逻辑,以国家法的基石法理为参照,基于民间法的法理型构方法,民间法的基石法理则可确定为场域公共秩序逻辑。民间法遵循着场域公共秩序逻辑有三方面的基本表现：其一,民间法处理国家范围内不同区域或领域,亦即各种场域法域中国家法没有顾及的社会纠纷;其二,民间法处理各种场域法域中国家法顾及起来“不经济”的社会纠纷;其三,民间法处理各种场域法域中国家法难以解决彻底的社会纠纷。     

从规律到方法:逻辑与历史的统一

历史与逻辑的统一的思维规律是以主观辩证法和客观辩证法的统一为基础的.这个规律具体地包含两方面的内容主观的逻辑与客观的历史的统一;主观的逻辑与认识史的统一.在思维中遵循逻辑与历史的统一的思维规律就要求运用逻辑与历史的统一的思维方法.     

面向路径的迭代张弛法及改进分析

测试数据生成的自动化可以极大地促进软件测试效率和软件质量可靠性的提高。迭代张弛法是面向路径类的测试数据自动生成方法中最具代表性的一种方法,该方法自动生成测试数据的关键和实质在于约束组的建立和求解。文中通过一具体程序实例详细阐述了面向路径的迭代张弛法实现测试数据自动生成的原理和后期的方法改进,总结了该方法的优缺点,并对其它同类方法进行了分析和比较。     

正确分析案情的逻辑方法——谈历史和逻辑相统一的思维方法

针对司法工作人员在司法实践中容易出现的经验主义和教条主义错误等问题,采用逻辑理论与司法实际相结合,阐述了历史和逻辑的方法相统一的辩证思维方法。对正确分析案情,完成好刑事诉讼各阶段的任务,有着十分重要的意义。