科学哲学（Philosophy of science）是哲学的重要分支，旨在审视科学活动的本质、目标、方法和逻辑基础。它追问科学如何获得知识、科学理论如何被证实或证伪、科学进步的标准是什么，以及科学与非科学的界限在哪里。从亚里士多德的自然哲学到波普尔的证伪主义，再到库恩的范式革命，科学哲学不断反思科学实践与科学史，为理解科学提供了深刻的批判性视角。简言之，科学哲学就是科学家们忙着做实验时，哲学家躲在角落里思考“这到底算不算科学”的学问。
1.1 科学哲学的基本问题
科学哲学的核心关切在于回答一组相互关联的基本问题：科学知识的来源是什么？科学理论如何得到验证？科学进步是否存在客观标准？科学与非科学的界限如何划定？这些问题共同构成了科学哲学的基础研究领域。科学哲学并不直接参与科学实验，而是对科学活动的逻辑结构、概念框架和认知基础进行批判性反思。
1.2 与其他哲学分支的关系
科学哲学与认识论（知识论）关系最为密切，二者都关注知识的性质与获得。它还与形而上学（本体论）交叉，探讨科学理论所承诺的实体是否真实存在。伦理学在科学研究的规范层面与之交汇，而逻辑学则为科学推理提供工具。分析哲学传统深刻影响了科学哲学的语言转向，而大陆哲学则从历史和社会角度提供了补充视角。
1.3 科学哲学与科学史
科学哲学与科学史存在双向互动关系。科学史为哲学反思提供经验材料，揭示科学理论如何实际演变；科学哲学则为历史叙事提供概念框架和分析工具。库恩的《科学革命的结构》是二者结合的典范：他借助科学史案例反驳了逻辑实证主义的累积进步观，提出范式革命理论。当代科学哲学越来越重视历史案例研究，以检验和修正哲学模型。
2.1 古典时期：从亚里士多德到中世纪
亚里士多德是科学哲学的先驱。他在《后分析篇》中系统阐述了科学知识的演绎结构：公理系统由第一原理推导出定理，通过三段论实现知识的严格证明。他强调科学解释必须揭示现象的原因，提出“四因说”（质料因、形式因、动力因、目的因）作为解释框架。中世纪经院哲学家继承并发展了亚里士多德的逻辑工具，尤其是罗吉尔·培根强调实验与数学的重要性，但尚未形成系统的科学方法论。
2.2 近代科学革命与经验论理性论
16-17世纪的科学革命（哥白尼、伽利略、牛顿）催生了新的哲学反思。培根提出归纳法作为科学发现的新工具，强调观察与实验的系统性。笛卡尔则推崇数学演绎，主张从“我思故我在”等清晰观念出发建立知识大厦。洛克、贝克莱和休谟将经验论推向极致，其中休谟的归纳问题对科学知识的可靠性提出根本性质疑：我们无法从有限经验推出普遍规律，因果关系只是习惯联想。这一难题成为后世科学哲学的核心议题。
2.3 逻辑实证主义与维也纳学派
20世纪初，以石里克、卡尔纳普为核心的维也纳学派掀起逻辑实证主义运动。他们主张：有意义的命题要么是分析真命题（逻辑、数学），要么可被经验证实（综合真命题）。形而上学命题因不可证实而被视为无意义。他们构建了科学统一理论，试图通过物理语言将所有科学还原到基础观测语句。可证实性原则是划界标准：一个命题如果原则上不可被观测经验证实，就不是科学陈述。这一原则后因过于严格而遭修正。
2.4 波普尔的证伪主义
卡尔·波普尔抨击逻辑实证主义的证实原则，提出证伪主义作为划界标准。他认为科学理论不能被证实，只能被证伪：一个理论只要存在一个逻辑上可能的反例，就具有科学地位。例如，“所有天鹅都是白的”可被一只黑天鹅推翻。科学进步正是通过不断提出大胆假说并经受严格检验的过程。波普尔强调科学知识的可错性，主张科学家的态度应是“批判理性主义”，而非追求确定性。但他对库恩的历史转向持批评态度。
2.5 库恩与科学革命
托马斯·库恩在《科学革命的结构》（1962）中颠覆了传统科学观。他引入“范式”概念，指代某个科学共同体共享的信念、方法和范例。科学的发展经历：前范式时期（多种竞争范式并存）→常规科学（在范式指导下解决“疑难”）→反常积累（异常现象难以用范式解释）→危机→科学革命（新范式取代旧范式）→新的常规科学。范式转移是不可通约的：新旧范式使用不同概念框架，不存在中立的评判标准。这一观点引发了“科学是否理性”的激烈争论。
2.6 后库恩时代：拉卡托斯、费耶阿本德等
拉卡托斯试图调和波普尔与库恩，提出“科学研究纲领方法论”。一个研究纲领由“硬核”（不可反驳的核心假设）和“保护带”（可调整的辅助假设）构成，科学进步体现在保护带的成功调整。费耶阿本德则走向极端，提出“无政府主义认识论”：科学活动没有普遍的方法论规则，科学只是众多传统之一，不应享有特权地位。他主张“怎么都行”（anything goes），并对科学与其他知识体系（如巫术）进行平等比较。此外，亨普尔、内格尔等人继续推进科学解释模型研究。
3.1 划界问题：科学与非科学的边界
划界问题是科学哲学的核心门坎：什么使一个理论成为科学而不是占星术、创世论或宗教？逻辑实证主义用可证实性划界，波普尔用可证伪性划界，库恩则从范式、解谜活动的维度区分。当代观点趋向于认为不存在单一的划界标准，而是多个认知特征（可检验性、一致性、解释力、预测力等）的综合考量。划界不仅是哲学问题，更有现实影响：科学与占星术的争论在法庭上（如美国创世论教学案），以及反疫苗运动等争议中都有体现。
3.2 归纳问题与休谟难题
休谟在《人性论》中提出：归纳推理（从有限事例推出普遍规律）没有逻辑上的必然性。我们无法证明“太阳每天升起”将继续成立，因为所有证明都已预设了归纳原则本身。休谟建议将归纳视为一种心理习惯而非理性依据。后来，罗素用火鸡感恩节的鸡的寓言说明归纳的脆弱：一只火鸡观察到农夫每天喂食，推断出“农夫是友善的”，直到感恩节被宰杀。这一难题至今没有完美解决方案，多数科学哲学家接受归纳作为实用工具，而非逻辑证明。
3.3 科学实在论与反实在论
实在论认为：科学理论所承诺的不可观察实体（如电子、基因）是真实存在的，理论的真假取决于世界本身的状况。反实在论（如工具主义）则认为：科学理论只是预测工具，不必承诺实体真实存在；有效预测即足够。中间立场有结构实在论（承认理论背后的数学结构真实）和实体实在论（只对某些实体承诺）。这场争论的经典案例是：我们能否相信一个理论提出的实体（如以太）即使该理论后来被推翻？当代实在论者多主张“无奇迹论证”：理论的预测成功若非因为其近真，则将是奇迹。
3.4 科学解释模型（D-N模型等）
亨普尔提出演绎-律则模型（D-N模型）：科学解释是从普遍律（法则）和初始条件演绎出被解释现象。例如，解释“此瓶水结冰”需用到“水在0°C结冰”的规律和水被降温到0°C的条件。这一模型还衍生出归纳-统计模型（I-S模型）处理概率性定律。D-N模型面临反例：如旗杆影子长度可以用几何光学解释，但影子并未“引起”阳光角度，说明解释与因果关联的密切性。后世提出的因果机制模型、概念模型等补充了D-N模型的不足。
3.5 理论约减与还原论
还原论主张：高层次理论（如生物学、心理学）可以约减为低层次理论（如物理学、化学）。例如，经典热力学定律可由统计力学推导，光学可由电动力学解释。但约减面临两大问题：跨层次理论的语义鸿沟（如生物学的“进化”无法直接翻译为物理语言），以及整体涌现性质（如生命、意识）可能无法还原。反还原论者强调不同层次科学的自主性与不可约减性。内格尔提出约减的逻辑条件，但后世认为完全约减几乎不可能，部分约减和机制性解释更为可行。
4.1 科学推理：演绎与归纳
科学推理涉及两种基本逻辑：演绎推理（从一般到特殊）保证结论必然为真，如果前提真且推理有效。例如：“所有人都会死；苏格拉底是人；因此苏格拉底会死。”归纳推理（从特殊到一般）则增广知识但结论不确定，如观察到许多天鹅是白的，推测所有天鹅皆白。科学实践中，演绎用于理论推导和预测，归纳用于发现模式和形成假说。波普尔强调演绎证伪：理论推出预测，若预测与观察不符，则理论被推翻。
4.2 观察、实验与测量
4.2.1 观察的理论负载性
观察并非纯粹中立的感知活动。汉森等科学哲学家指出，观察总是负载着理论：一个训练有素的天文学家看到“土星环”，而外行看到的只是“一个带边的圆盘”。观察内容不仅取决于感官，还取决于概念框架、背景知识和注意选择。这一洞见挑战了逻辑实证主义关于基础观测语句的设想，也说明不同范式的科学家可能“看到”不同的世界。
4.2.2 可重复性原则
一个科学结果必须在独立实验室中被其他人重复验证，才能被接受。这要求实验方法的透明性（提供足够细节以便他人复现）和统计显著性检验。不可重复的结果常被视为实验错误或造假。但可重复面临实际困难：复杂实验（如大型强子对撞机）成本高昂，某些现象（如社会心理学的“默认效应”）可能依赖于微妙的情境变量，导致重复失败不一定是原结果错误。近年来“可重复性危机”引发了科学界对方法论标准的深刻反思。
4.3 假说-演绎法
假说-演绎法是科学推理的经典模型：提出一个大胆假说，从中演绎出可检验的预测，并通过实验或观察验证。例如，爱因斯坦从广义相对论推导出光线在引力场中弯曲的预测，1919年日全食观测证实了它。该模型强调假说的解释力和预测力，但也面临过度简化：实际科学过程往往不遵循线性顺序，且反证可被归因于辅助假设错误（如牛顿力学的水星近日点异常被解释为尚未发现的天体干扰，而非牛顿理论本身错误）。
4.4 贝叶斯方法
| 贝叶斯方法基于贝叶斯定理，将证据支持度以概率形式量化：\(P(H | E) = \frac{P(E | H) \cdot P(H)}{P(E)}\)，其中 \(P(H | E)\) 是假设H在获得证据E后的后验概率，\(P(H)\) 是先验概率。贝叶斯更新允许科学家根据新证据逐步调整信念。该方法解决了传统证实/证伪的二分法问题：理论不会被绝对证实或证伪，而是概率性地被支持或削弱。贝叶斯方法的哲学前提（如何选择先验概率）和实际应用（如大数据的贝叶斯网络）持续引发讨论。 |
|---|
4.5 模型与模拟
4.5.1 理想化模型
科学模型通常是对现实的理想化简化，忽略次要因素以便提取核心机制。例如，理想气体模型假设气体分子为无相互作用的质点，虽然违背真实气体，却为热力学提供了基础关系。理想化模型的哲学问题：模型与现实的关系是映射、类比还是虚构？模型可否在认知上独立发挥解释和预测作用？当代观点认为，模型是独立的认知工具，而非仅仅是直接描摹现实。
4.5.2 计算机模拟的哲学意义
计算机模拟（如气候模型、粒子物理模拟）已成为现代科学的第三大支柱（与实验、理论并列）。模拟带来新的哲学问题：模拟是否算得上“实验”？模拟结果如何与真实世界关联？当模拟显示某个效应的统计显著性时，它是否算作对理论的检验？此外，模拟中的误差传播、参数不确定性增加了科学推理的复杂性。有人认为模拟是一种新的推理形式（“计算实验”），也有人担忧黑箱化的模拟可能降低科学透明度。
5.1 累积进步观
累积进步观是传统科学观：科学知识像拼图一样逐步积累，新理论在前人基础上完善。例如，牛顿力学包含了开普勒行星定律，爱因斯坦相对论将牛顿力学作为低速情况下的特例。这种观点强调科学发展的连续性、真理的逼近以及知识的增长无断裂。但库恩等指出，科学革命时期旧范式被完全抛弃，而非被包含——例如，相对论中关于时空绝对性的观念与牛顿截然不同，并非简单扩展。
5.2 库恩的范式转移
5.2.1 常规科学 vs 异常
在常规科学阶段，科学家在一个范式指导下解决“疑难”：测量常数、改进技术、解释已知现象。当异常（与范式预期不合）积累到一定程度时，常规科学陷入危机。异常可能被解释为测量误差或辅助假设问题，但若异常持续且无法被范式容纳，就会触发科学革命。例如，天王星轨道偏离被解释为新行星干扰（发现海王星），这是常规科学下的修正；但水星近日点异常在牛顿力学中无法解释，最终导致相对论革命。
5.2.2 科学共同体的心理因素
库恩强调，范式转移不仅是理性判断问题，还涉及科学共同体内部的宣传、修辞、权威和代际更替。年轻科学家更容易接受新范式，而老一代科学家往往固守旧范式。新范式必须能够吸引支持者并解决旧范式未能解决的突出问题。库恩的这一洞见引发争议：科学进步是否最终由非理性因素决定？他认为范式选择“更像政治革命而非逻辑论证”，但并非完全随意，证据和经验的约束仍在。
5.3 拉卡托斯的科学研究纲领
拉卡托斯试图在波普尔证伪主义和库恩历史主义之间走中间路线。一个研究纲领包含“硬核”（不可触动的核心假设，如牛顿力学中的三大定律）和“保护带”（可调整的辅助假设，如行星质量、轨道参数）。科学的进步体现在保护带的成功调整，使得新预测被证实（进步的问题转移）；若调整后只是不断修修补补且无新预测，则为退步的问题转移。例如，哥白尼日心说的硬核是太阳静止，但早期保护带仍保留本轮，直到开普勒用椭圆轨道成功简化。拉卡托斯认为科学史是纲领之间的竞争，而非单一范式的线性更替。
5.4 费耶阿本德的无政府主义认识论
费耶阿本德在《反对方法》中声称科学并无普遍有效的方法论规则。历史案例表明，当科学家违反既有方法（如伽利略无视望远镜观测的争议）时，反而促进了进步。他主张“怎么都行”，反对科学对知识的垄断，认为科学只是众多“传统”之一，与其他知识体系（如巫术、神创论）在价值上平等。费耶阿本德的观点被批评为相对主义和反科学，但他确实揭示了科学方法的复杂性和历史偶然性，并在科学教育和社会政策层面产生影响。
6.1 科学与社会：价值、伦理与政治
6.1.1 科学研究的伦理规范
6.1.1.1 动物实验的哲学争议
动物实验在医学和生物学中广泛使用，但其伦理合法性备受争议。支持者强调其对于人类疾病治疗和生命科学发现的必要性，且主张在规范管理下最小化动物痛苦（如3R原则：替代、减少、精炼）。反对者（如动物权利论者，辛格）则认为，动物具有感知能力，不应被视为工具。哲学讨论涉及：动物与人类的道德地位差异（物种主义问题），以及实验所获利益是否足以抵消对动物的伤害。不同国家监管情况差异巨大。
6.1.1.2 数据造假与科研诚信
数据造假（捏造、篡改、剽窃）是科学伦理的严重问题。经典案例包括：韩国黄禹锡的人胚胎干细胞数据造假、美国物理学界的舍恩伪造“分子晶体管”数据。造假不仅浪费资源、误导研究方向，还损害科学的公信力。原因包括“发表或灭亡”的出版压力、学术不端监督不力、以及科学奖励制度的缺陷。当代科学哲学关注如何通过匿名评审、数据共享、注册研究报告和可重复性检查来提升科研诚信。
6.2 女性主义科学哲学
女性主义科学哲学批判主流科学中隐含的性别偏见。例如，生物学中“主动精子与被动卵子”的叙事被批评为隐喻了性别刻板印象；心理学中人类进化的“狩猎-采集”模型可能忽视了女性的角色。女性主义者主张，价值中立是理想而非现实，对科学实践、理论选择和研究问题的审视必须纳入性别视角。她们要求增加女性的科学参与，并反思科学知识生产中权力关系的影响，但不否认科学知识的客观性可能性。
6.3 科学哲学中的自然主义
自然主义主张，科学哲学应借鉴科学自身的发现，而非依靠先验哲学原则。蒯因提出“自然化认识论”：认识论应成为心理学的一部分，研究人类实际如何获得知识。丘奇兰德的消除唯物主义则利用神经科学成果批判日常心理概念。自然主义还渗透进心灵哲学、语言哲学等领域。反对者担忧自然主义走得太远，可能把哲学消解为科学的一部分，丧失独立的规范性维度。
6.4 科学元勘与科学知识社会学
科学元勘（Science Studies）和科学知识社会学（SSK/SSS）将科学本身视为社会现象进行研究。强纲领（布鲁尔、巴恩斯）主张科学知识的社会建构性：知识并非纯粹反映自然，而是社会协商的产物。实验室研究（拉图尔、伍尔加）揭示科学事实是如何在仪器、合作、论文写作和权力关系中“被制造”出来的。该领域引发“科学战争”（Science Wars）：一些科学家和科学家哲学家指责SSK否认科学的客观性和真实性，而SSK支持者则认为他们只是在揭示科学的社会维度，并未否定其认知价值。
7.1 科学哲学家的经典自嘲
科学哲学家善于自我调侃。例如：“一个人如果25岁时不是科学实在论者，就没有良心；如果30岁之后还是科学实在论者，就没有大脑。”（变自丘吉尔的名言，但版本各异）“科学哲学就像看色情片：你无法定义它，但看到时就知道它是什么。”也有笑话：一位科学哲学家和一位科学家同时掉入陷阱。科学家说：“必须用数学和实验找出规律。”哲学家说：“我们先讨论一下‘陷阱’这个词到底是什么意思。”这些幽默折射出科学哲学对基础概念的执着质疑，以及与现实科学方法论之间的张力。
7.2 科幻作品中的科学哲学彩蛋
科幻作品常触及科学哲学议题。例如，《星际迷航》中“第一接触”探讨了科学划界与外星文明的认知框架；《黑客帝国》涉及实在论与虚拟世界的争论（“你如何知道你不是缸中之脑？”）；《三体》中的“智子”干扰人类物理实验，实际上是波普尔证伪逻辑的绝佳反派：当所有实验都无法给出确定结果时，科学是否失效？《银翼杀手》和《真实人类》等作品探讨如何区分人类与AI，呼应科学与非科学（或人类与机器）划界的哲学追问。
7.3 “伪科学”与“民科”的迷惑行为
“伪科学”如占星术、永动机、通灵学，常打着科学旗号但缺乏可检验性。波普尔证伪主义划界标准在此适用：这些说法要么无法被反驳（“星座影响人性”是模糊的），要么拒绝反驳（声称“负面结果是因为仪器不对”）。民科（民间科学工作者）则常提出推翻主流科学的“奇思异想”（如否定相对论、证明哥德巴赫猜想），但往往不了解已有工作或缺乏基本科学训练。心理学研究显示，民科现象与认知偏差（如确认偏误、智力傲慢）有关。科学哲学提醒我们，科学与非科学的界限虽模糊，但并非不存在：可检验性、共同体的批判性审查和理论间的协调一致仍是判断的重要标准。