北大科学哲学导论课件07科学理论与实在论问题

科学理论与实在论问题第４章,A.Rosenberg,pp.93-140罗森堡书第4章在科学上我们很器重“理论”，为什么“理论”的角色：高于经验，但低于实践假说演绎主义（H-D)“理论构体”（entity）与经验之间的张力:实在论与反实在论模型一、理论与统合公理，定理：可以有不同的公理系统单从逻辑的角度不能把握“协作”的本性世界潜在的因果结构（机制）支撑着自然各部分间的“协作”？“潜在机制”与“经验论”之间的不容易协调例子：气体动理学理论(kinetictheoryofgases)理论的公理化或句法进路由假说导出可检验的后承如果经验检验通过了，则假说被间接确证。Ｈ-Ｄ解释Ｔ→Ｏ，Ｏ，所以Ｔ。不严格。（作业，自己用真值表验证）在现实中，实际上Ｔ未必正确，因为Ｔ→Ｏ是假定的。理论相当于公理系统，定律是被假定的。公理化解释是一种事后的“合理重构”。

还原还原的方向还原的条件：先修正，再找可推导性还原的结合：统合，普适性公理化进路的形而上学假定：实在的构成，底层简单。世界的复杂性是底层简单性复合的结果。真的能做到彻底还原？温伯格《终极理论之梦》：物理学世纪科学是真正的创新：不能完全归于逻辑关系理论上的麻烦，实际上的麻烦多数场合，科学家并不真还原，只做部分还原，做到“局部协调”局部协调的含义与外部经验局部上协调与原有理论在调整后能够局部协调最终，科学结论（理论）是暂时性的，可错的，随时准备更新自己，但也不会全盘否定。二、理论术语原子，正负电，正电子，夸克，引力，质量，基因与伪科学的区分？魔力，驱魔，第五种力，朱海军力科学实在论：对理论作字面上的解释论证结构：Ｐ，对Ｐ的最优说明是，Ｑ是真的，所以Ｑ是真的。其中Ｐ相当于“某科学在预测上是成功的”，Ｑ相当于“推断的事物是存在的”。科学史上的反例大量史实不支持科学实在论，但它也常常取得进展燃素热质以太，位移电流初等几何中的做“辅助线”经验论与实在论的张力：理论构体存在，理论为真或者近似为真？工具主义科学理论是有用的工具，有启发性的装置，用于组织我们的经验。哥白尼的书（详细）伽利略在法庭上牛顿的神秘引力量子力学：波粒二像性AndreasOsiander的序言Therehavealreadybeenwidespreadreportsaboutthenovelhypothesesofthiswork,whichdeclaresthattheearthmoveswhereasthesunisatrestinthecenteroftheuniverse.Butifthesemenarewillingtoexaminethematterclosely,theywillfindthattheauthorofthisworkhasdonenothingblameworthy.Foritisthedutyofanastronomertocomposethehistoryofthecelestialmotionsthroughcarefulandexpertstudy.Thenhemustconceiveanddevisethecausesofthesemotionsorhypothesesaboutthem.Sincehecannotinanyattaintothetruecauses,hewilladoptwhateversuppositionsenablethemotionstobecomputedcorrectlyfromtheprinciplesofgeometryforthefutureaswellasforthepast.Forthesehypothesesneednotbetruenorevenprobable.Onthecontrary,iftheyprovideacalculusconsistentwiththeobservations,thataloneisenough.(fromNicholasCopernicus,OntheRevolutions)工具主义与实在论之比较见１２５－１２６页。实在论者声称只有实在论才能说明科学的工具性成功。工具主义者可这样捍卫自己：诉诸其理论主张的真理性对科学成功所作的任何说明，或者推进了我们在经验上的预测能力，或者没有。续如果没有，我们就可以忽略它，它意欲回答的问题就没有科学意义，即没有经验意义。如果此种说明增强了我们之科学工具在使经验系统化和预测经验方面的有用性，那么工具主义可以接受这一说明，并认为它确证了工具主义对待理论的方式，即把理论视为一种有用的工具而不是对自然的描述。折衷方案实在论＋经验论、工具主义＋经验论，各让一步经验适当性empiricallyadequate拯救现象savethephenomena建构经验论constructiveempiricism实在论与工具主义共同之处三、理论与模型模型是现代科学的标志２０世纪的两大理论：量子力学和相对论；（４＋２）模型：大陆飘移模型，ＤＮＡ双螺旋模型，基本粒子的标准模型，大爆炸模型，认知与智能的图灵-冯诺伊曼模型，超弦模型。玻尔的原子模型理想气体模型平衡态统计力学模型孟德尔模型达尔文进化模型Chaos模型：不动点，极限环，奇怪吸引子凯恩斯宏观经济模型模型“拟合”自然过程，