科学理论的结构:从范畴论的观点看

在当代科学哲学中,科学理论的句法观和语义观之争是一个核心问题。句法观指出,科学理论是一个带有部分解释的形式演算系统。语义观指出,科学理论是一族科学模型,以及这些模型与现实世界的同构信息或相似性信息。经典的句法观和语义观忽视了形式演算系统或者科学模型族上的结构,从而可以被看成是平坦科学观。如果在科学理论的经典句法表示和语义表示上赋予适当的结构,则可以论证句法观和语义观不仅是相容的,而且是本质上等价的。这一结构丰化过程是通过对平坦科学观进行范畴提升而实现的;不但如此,范畴论还进一步导出了理论的等价和理论的2-范畴等重要概念。     

探索复杂性的计算途径

复杂性是当今科学研究的前沿问题之一。本文基于物理的丘奇－图灵原理，从方法论上对运用计算机模拟研究复杂系统的依据，有效性和不完备性作了探讨，同时分析了物理的丘商－图灵原理的适用范围。     

绿蓝问题与简单性方案

绿蓝问题是假说选择问题的一种范型.科学假说精确的逻辑结构应该包含假说适用的情景和敏感因子.简单性标准是广为接受的一种假说选择标准,在运用到解决绿蓝问题时,提出了简单性的句法理论和语义理论.但这两种理论分别遭遇了对表达系统和概念框架的相对性,不能处理某些绿蓝型问题,甚至会陷入反直观境地的难题.     

论归纳逻辑的局部辩护和适用范围——兼评J.Cohen的归纳概率逻辑理论

引论:归纳的局部辩护与整体辩护归纳逻辑是关于归纳论证的形式和度量归纳概率的方法的逻辑学理论。(参见[13],p.11)如所周知,归纳逻辑的基本问题就是休谟问题,它的实质是:我们有可能从充分相信的前提出发,通过归纳论证得到并非不相信的结论吗?解决归纳问题的企图就构成所谓归纳的辩护。一方面由于归纳论证不等于演绎论证;另一方面由于不存在绝对无误的非逻辑学假     

和算极数术与中算极值概念萌芽

本文介绍了和算求多项式函数极大极小值方法，分析了和算极值方法的数理基础与立术原理，认为建部贤私（1664-1739）求多项式函数极值的费尔马方法源于《授时历》求太阳、月亮中心差问题，他通过观察与归纳，获得这类极值问题的一般性解法，其中求多项式函数稳定点方法与关孝和方程论的“适尽诸级法”一致，只不过是形式上的偶合。在上述分析的基础上，进一步探讨了东方传统数学中的变量数学萌芽及其未能继续发展的原因。     

非Pascalian概率的逻辑解释与决策分析——兼评G.Shackle的潜在惊奇理论

G.Shackle分析了非空决策(即不明情况下的大胆决策),指出存在一类无法用Pasca-lian概率描述的非分布式(即非随机性)不确定性,并构造潜在惊奇理论试图对上述不确定性进行度量。本文的研究表明:非分布式不确定性的根源是(i)知识的不完全性,(ii)知识的不协调性。Shackle没有能够对上述不确定性的抽象结构进行描述,也没有能够对知识的不协调性进行度量。因此,Shackle虽然已揭示了非分布式不确定性的主要性质,却无法从定性和定量两方面对它作完整的描述。本文在Shackle工作的基础上提出了非Pascalian概率定义,阐明了上述不确定性的数字结构,并且运用内容分析的逻辑方法,对知识的不协调性进行度量;构造了非Pascalian概率的逻辑解释,为克服Shackle理论的困难、进一步发展非Pascalian概率理论,提供一种可能的方案。     

D.玻姆的隐序观念简介

D.玻姆长期从事现代物理学理论基础的研究工作。他是西方一位富有哲学思想的反主流派理论物理学家。五十年代初,他提出量子力学隐变量因果解释,曾轰动东、西方理论物理学界与哲学界。六十年代中,J.s.贝尔利用玻姆所表述的E.P.R.悖论,提出了著名的贝尔不等式,从而证明了定域的隐变量理论是同正统的量子力学不协调的。玻姆高度重视这一理论结果,并且注意到后来关于量子现象非定域性的实验结果,逐步把研究方向转到     

老证据问题的成因与解决对策探析

老证据问题起源于美国当代哲学家格莱莫尔针对贝叶斯主义所提出的责难,该问题所展示的困境是,贝叶斯认证理论似乎不能解释此前已知的证据如何给受检假说提供新的支持。本文从分析格莱莫尔论证的前提着手,指出他没有恰当区分已知事实与背景知识以及没有留意贝叶斯检验模型对于多理论竞争框架的承诺是导致老证据问题的关键,并在此基础上探讨贝叶斯认证理论处理老证据问题的思路与机制。     

普理查德对彩票难题的处理及其局限

本文以彩票难题为典型案例,探讨和分析了普理查德通过安全信念理论对于这一问题的解决方案。通过参照信念的敏感性理论,本文展示了普理查德在利用安全信念理论解决彩票难题过程中所存在的问题。在此基础之上,本文指出,借助相关可能世界的合理布局以及认知模态与概率在概念层面的差异,普理查德所持有的安全信念理论的理论资源本身依旧可以解决彩票难题。     

阿廷——布尔巴基学派的先驱

阿廷是20世纪最伟大的数学家之一.他完成经典类域论并指出其推广的方向.他是抽象代数学的奠基者之一,创立辫子理论及实域理论.他完全解决两个半希尔伯特问题,是布尔巴基学派的思想先驱,培养了许多大数学家.本文对阿廷的生平、工作及影响进行系统的介绍.     

论萨普对科学理论句法观的误解

通常将萨普的表述作为对科学理论句法观的标准理解,但对比卡尔纳普的原始表述,表明萨普的表述中存在诸多误解:一是认为句法观仅限于以一阶语言来重构科学理论,未指出句法观已将类型论与数学都囊括于其基本演算中;二是未指明"经验定律"就是重构后的科学理论"公理系统"中的"定理";三是对观察子演算及其形式语义的引入,误解了卡尔纳普在句法观中提出的经验语义解释及模型概念的本义。     

公众参与技术评价的意义和社会背景分析

技术评价起源于从社会的角度上关注技术发展,它通过系统的收集、调查和分析有关技术及其可能产生的广泛影响,为制定科技政策提供客观的信息支持.随着公众对技术的越来越多的争论,传统技术评价面临很大的挑战,这导致了参与式评价方法在技术评价过程中的广泛应用.公众参与技术评价方法被认为是针对现代社会中不确定、不平等问题的一种新的互动式解决途径.本文对这种评价范式的意义和社会背景进行了分析.     

统计物理与复杂系统研究最近发展趋势分析

本文将统计物理与复杂系统研究分为非线性科学、复杂性科学和其他相关研究3个方面,通过对相关重要专业期刊进行统计,对统计物理与复杂系统研究最新发展趋势进行了分析,深入讨论了上述3个方面当前各自的焦点问题,并特别介绍了我国的一些研究组在上述各领域做出的重要成果.     

环同济知识经济圈成功的经验与启示

本文结合相关理论对政府在产业共性技术研发中的作用进行了探讨，重点分析了政府部门支持共性技术研发应当考虑的因素，提出了政府支持共性技术研发的原则，指出了政府支持共性技术研发的几种方式。     

归纳推理合理性的心理学分析与回答

本文回顾了前人对休谟问题的回答,分析了各种回答存在的基本问题.结合心理学对归纳推理的研究结果,提出归纳推理可分为概括和推理两阶段的观点.在此观点基础上,将归纳推理经历的思维过程分解成五部分,指出归纳前提具有不充分性特点,为表达完整的归纳推理过程构建了四个补充前提.根据归纳推理合理性取决于归纳原则是否具有保真性的思想,提出归纳原则的形式为:φ(A,P),X∈P/φ(A,X),论证了这个形式具有保真性,因此归纳推理具有合理性.或然性是归纳推理的基本特征,其根本原因在于归纳推理初始前提的不充分性,初始前提无法保证补充前提3和4为真,而不是归纳原则不具有保真性.     

从生物自创生到社会自创生

自创生是马图拉纳和瓦雷拉最早提出用来解释生命本质的理论。随着这一理论在其它领域的发展与应用,特别是当以卢曼(N.Luhmann)为代表的社会学家将这一理论引入对社会系统的分析后,这引发了关于社会系统是否也是自创生等一些极富争议的问题。本文主要目的在于介绍与阐释自创生的理论内涵以及卢曼的社会系统理论,并结合相关针对卢曼思想的评论指出一种看待社会自创生的态度和研究路径。     

张宗燧对约束系统量子化的贡献

通过分析论证,说明了中国理论物理学家张宗燧对约束系统的量子化作出了重要的贡献.他于1946年指出了此前的有关约束系统哈密顿正则形式的研究,由于没有正确地处理其中的一个关键问题——不定乘子问题,因此不能用来实现量子化,同时,首先提出了一种解决了这个问题的对于许多约束系统可行的量子化方案.     

关于量子力学理论的解释问题

讨论量子力学解释问题的新前提甲:关于量子力学解释问题的争论过去认为是完全解决了。但最近一个时期这个题目重新成了激烈争论的对象。乙:是的,这大约是从1952年开始的。是玻姆开的头;他曾经指出,根据利用所谓“隐参数”,有可能对这个理论作出“因果性的”解释。随后,威西叶(J.P.Vigier)、玻普(F.Bopp)等人的理论工作都接二连三地发表了。甲:听说波动力学的创始人德布罗意已经放弃了他从1927年开始支持了25年的“哥本哈根”解释,并且宣布了回到他当初的立场上去,是吗? 乙:是的,最近以德布罗意为中心形成了一个学派,它与哥本哈根学派对峙,并且也许应当叫作新德布罗意学派。甲:但在苏联不是老早就尖锐地批判过“哥本哈根”解释吗?     

认知、理论变化与评价——一种历史的批判考查与重建

科学理论的性质与地位、理论的变化与评价问题,一直是当代科学哲学的中心问题。前者涉及到说明、预言、解释、还原等一系列重大问题,后者关系到科学进步及其合理性的评价问题。它们对当代认识论问题的探究具有十分重要的意义。逻辑经验主义注重对科学理论的逻辑结构的分析。历史主义不满足于这种静态的分析,认为它不仅大大缩小了科学哲学的研究范围,而且无法说明理论变化和知识增长诸问题。历史主义的各位代表人物——如图尔敏、库恩、拉卡托斯、劳丹等——的科学哲学无疑推进了知识生长及相关问题的研究,但他们的研究也存在一些困难而不能令人满意。通过作一历史性的批判考察,我们试图表明,对科学认识活动的分析,特别是对理论形成与理论变化过程的分析——这种应该既是历史的、又是逻辑的、认知的分析,也许是解决上述问题的一条较为合理的可能途径。     

近代以来科学、技术、产业发展中的带头现象及其相关性分析

本文主要分析和总结了自近代初至20世纪末带头学科、带头技术、带头工业(或产业)、产业结构、社会进步和时代标志的形成与相关性,并对21世纪的上述方面进行了预测,最后指出了研究和把握这一问题的理论和实际意义.