中国数理逻辑八十年

自20世纪20年代起,数理逻辑传入了中国,并沿着自己的道路在中国发展。在中国,最先介绍数理逻辑的是汪奠基,而后影响较大的是金岳霖。新中国成立后,我们自己培养的数理逻辑研究队伍在不断地发展壮大。数理逻辑分别有逻辑演算、递归论、模型论、公理集合论、证明论。我国数理逻辑工作者近年来在这几方面都取得了相当大的进展。     

集合论悖论——一个简单的逻辑错误

以概念具有结构系统的观点来考察,所谓“集合论悖论”本质上是一个混淆概念、游移概念和任造概念所造成的简单逻辑错误。     

基于顾客满意度的项目评价模糊技术研究

基于顾客满意度的研究成果,将项目"顾客"引致为项目"利益相关者",引入利益相关者于顾客满意度模型,基于效用理论构建了项目利益相关者满意度模型。针对利益相关者的心理模糊因素,以基于效用理论的项目利益相关者模型为内核,提出了一种新的项目评价模糊技术方法。     

公共服务供给中的网络治理困境——基于南京市鼓楼区居家养老服务网的案例分析

以南京市鼓楼区居家养老服务网为案例,运用集合论的方法阐述养老服务网络治理能够实现的原因是:实现了各方行动主体自身利益的同时促成了公共利益。当"网络向心力"大于"网络离心力"时,合作网络得以达成;当"网络离心力"大于"网络向心力"时,合作网络趋于解体。研究发现,鼓楼区养老服务的网络治理实践存在购买行为内部化、缺乏竞争机制和监督机制不完善三大问题,从而使养老服务的网络治理面临解体风险。     

用集合论观点证明组合恒等式

本文采用集合论的观点处理组合问题,适用集合、分类的思想给一些组合恒等式以简单有效的证明。     

数理逻辑的产生和发展

本文较为简明扼要地介绍了数理逻辑发展史。从莱布尼兹始,经布尔、德·摩根,到弗雷格和罗素,后来又产生了康托尔的集合论,哥德尔的完备性定理与不完全性定理。近代数理逻辑也分成了若干流派,对相关问题的研究日益深入。     

量子同一性的禁自返逻辑解释及相关问题

量子同一性问题指的是量子力学中可以观测微观粒子数却在事实上完全无法区分各个粒子的问题,人们通常认为这意味着微观粒子个体性的丧失.巴西逻辑学家da Costa认为,经典逻辑的同一性原则与量子力学之间是不协调的,因此需要建立合适的禁自返逻辑(non-reflexivelogic)来限制或取缔经典逻辑中的等词.在建立禁自返逻辑并利用它对量子同一性问题做出解释的同时,da Costa及相关学者又讨论了由此产生的语义学和本体论的问题.     

庄子的“环中”认知结构初探

本文在庄惠濠上之辩的逻辑分析基础上,提出了庄子的“环中”认知结构。据此剖析公孙龙的“白马非马”“而指非指”等命题,并指出庄子已清醒地认识到公孙龙诡辩论的本质是集合论悖论。循“环中”结构,进一步探讨庄子的“有始未始”“自然无为“及”返朴归真”等认识论和本体论问题,揭示出“环中”结构在解读庄子体系中的重要作用。     

全新的视域，全新的起点-《哲理数学基础-自然集合论及其应用》读后

分析了《哲理数学基础自然集合论及其应用》的独特之处 ,即以自然集合论为基础 ,研究了现实世界和一切可能世界中的空间形式和数量关系 ,形成了一个崭新的理论体系。阐述了《哲理数学基础自然集合论及其应用》在方法论上的突破 ,即运用独特的数理哲学思维将自然世界和社会作出了统一的、理性的解释。指出了该书在自然、人文社会科学中的广泛适用性。