科学哲学
📝 科学哲学（philosophy of science）追问科学知识的本质、方法和边界：什么使科学区别于非科学？科学理论是发现了世界的真相，还是仅仅构造了有用的模型？科学进步是累积性的渐进过程，还是充满断裂的革命？这些问题不仅关乎对科学的理解，更直接影响科学政策、科学教育和公众对科学权威的态度。
科学划界问题
第一层：什么是科学？
划界问题（demarcation problem）是科学哲学的出发点：什么标准使科学区别于非科学（如形而上学、宗教、伪科学）？这个问题不仅具有理论意义，还有重大的实践后果——法庭需要判断"智能设计论"是否属于科学，政府需要决定哪些研究值得公共资金资助。
第二层：Popper 的证伪主义
Karl Popper（卡尔·波普尔，1902-1994）提出了20世纪最具影响力的科学划界标准：可证伪性（falsifiability）。一个理论是科学的，当且仅当它能够被可能的观察证据所否证（证伪）。
Popper 的出发点是对归纳法的怀疑。Hume 已经证明归纳推理没有逻辑基础——无论观察到多少只白天鹅，都不能在逻辑上证明"所有天鹅都是白的"。但只需要一只黑天鹅就能否证这一全称命题。科学的逻辑不是从个别到一般的归纳（verification），而是从一般到个别的证伪（falsification）。
📝 案例：Einstein vs. Freud。 Popper 常用 Einstein 的广义相对论和 Freud 的精神分析来说明可证伪性标准的运作。Einstein 的理论做出了精确的预测——例如光线经过太阳附近时会弯曲特定角度——这一预测在1919年的日食观测中被检验（并获得了确认）。关键在于：如果观测结果不符合预测，理论就会被证伪。相比之下，Popper 认为 Freud 的精神分析无论面对什么行为证据都能给出解释——攻击性行为可以用"被压抑的攻击本能"解释，温和行为也可以用"反向形成"（reaction formation）解释。一个能解释一切的理论实际上什么都没有解释——它不可证伪，因此不是科学。
Popper 的证伪主义面临的主要批评包括：
Duhem-Quine 论题：一个理论从来不是单独面对观察的——它总是与一系列辅助假设（测量仪器是可靠的、实验条件是纯净的、背景理论是正确的等）一起面对证据。当预测失败时，可以修改辅助假设而非放弃核心理论。因此，严格意义上的"证伪"几乎从未在实际科学中发生。
科学史的反例：Newton 力学在发现天王星轨道异常时并未被"证伪"——科学家假设存在一颗未知行星（后来确实发现了海王星）。如果每次出现反常证据就放弃理论，科学进步将不可能。
第三层：Kuhn 的范式理论
Thomas Kuhn（托马斯·库恩，1922-1996）在1962年出版的《科学革命的结构》（The Structure of Scientific Revolutions）中提出了一种根本不同的科学发展图景。
Kuhn 的核心概念是范式（paradigm）——一个科学共同体共享的理论框架、方法标准、典型问题和解题范例的整体。科学发展不是单一理论的线性累积，而是在范式框架内运行的循环过程：
常规科学（normal science）：在既定范式框架内解决"谜题"（puzzles）。科学家不质疑范式本身，而是在范式提供的框架内进行精密的研究。绝大多数科学活动都是常规科学。
反常（anomaly）：在常规科学中积累的实验异常——范式无法解释的现象。少量反常不会动摇范式（可以归因于实验误差或辅助假设的问题），但大量反常的积累会导致危机。
危机（crisis）：反常累积到一定程度，范式的解释力和指导力受到严重质疑。科学家开始探索替代性框架。
科学革命（scientific revolution）：旧范式被新范式取代——如 Aristotle 物理学被 Newton 力学取代，Newton 力学被 Einstein 相对论取代。范式转换不是旧理论的渐进改良，而是整个世界观的替换——新范式不仅改变了具体理论，还改变了什么算作"问题"、什么算作"好的解释"、什么算作"证据"。
📝 案例：从 Ptolemy 到 Copernicus。 Kuhn 分析了从地心说到日心说的转变。Ptolemy 的地心说通过引入"本轮"（epicycle）可以相当精确地预测天体运动——其预测精度在某些方面甚至优于早期的 Copernicus 日心说。如果科学进步仅由预测精度驱动，这一转变就难以解释。Kuhn 论证，范式转换的动力不仅仅是经验证据，还包括美学标准（简洁性）、科学家代际更替、以及新范式开辟的新研究方向。Einstein 曾说：“理论不能仅仅是对的，还应该是美的。”
不可通约性（incommensurability）是 Kuhn 最具争议的概念。他主张，不同范式之间不存在中立的比较标准——它们使用不同的概念（Newton 的"质量"和 Einstein 的"质量"含义不同）、关注不同的问题、采用不同的方法标准。范式转换因此不是一个纯粹理性的过程，而更接近格式塔转换（gestalt switch）——看世界的方式整体性地改变了。
批评者指出，不可通约性如果成立，将使科学进步的概念失去意义——如果新旧范式之间无法比较，凭什么说新范式比旧范式更好？Kuhn 在后期著作中软化了这一立场，承认不同范式之间虽然不能完全翻译，但可以进行部分比较。
第四层：Lakatos 的研究纲领
Popper 的证伪主义在逻辑上干净，却与科学史不符；Kuhn 的范式理论贴近史实，却把范式更替描述得近乎非理性。Imre Lakatos（拉卡托斯，1922-1974）的研究纲领方法论（methodology of scientific research programmes）正是为填补这一空隙而提出——他要保留 Popper 的规范性抱负（存在区分好坏科学的标准），同时接受 Kuhn 关于科学家不会因单次反常就放弃理论的观察。
🔍 Lakatos 的关键动作是把评价单位从单个理论改为理论序列。一个研究纲领由三部分构成：硬核（hard core）是纲领的构成性假设，按方法论决定不予放弃——牛顿力学纲领的硬核是三大定律加万有引力定律；保护带（protective belt）是围绕硬核的辅助假设、初始条件与观测理论，反常出现时接受修改的正是这一层；启发法（heuristic）则规定了修改的方向——反面启发法禁止把矛头指向硬核，正面启发法给出一份逐步复杂化模型的研究日程（先算两体问题，再引入摄动，再考虑非球形天体）。
由此，“证伪"不再是单次事件与单个理论之间的对决。真正被评价的是纲领在时间中的表现：进步的（progressive）纲领在应对反常时，其修改不仅挽救了硬核，还预言了此前未知的新事实，且其中部分预言随后被证实；退化的（degenerating）纲领的修改则只是事后补丁——每次都能解释新数据，却从不预言任何新东西。
🌍 这一判据使 Popper 无法处理的经典案例获得了自然的说明。天王星轨道异常出现时，牛顿纲领的辩护者假设存在一颗未知行星——这一修改在表面上是特设的，但它做出了一个精确的可检验预言（该行星的位置），而海王星随后在预言位置附近被发现，因此这一修改是进步的。相反，若每次异常都以"存在另一颗尚未观测到的天体"作答而从未有一次被证实，同样形式的修改就是退化的。区分二者的不是修改的逻辑形式，而是它是否带来了超量的经验内容（excess empirical content）。Lakatos 据此重新表述了划界：科学与伪科学的界线不在于某个理论此刻是否可被证伪，而在于其所属纲领在一段历史中是进步还是退化。
⚠️ 这一方案的代价被广泛讨论。其一是回溯性：一个纲领是进步还是退化，往往要经过相当长时间才能判定，而科学家必须在当下决定投入哪条路线；Lakatos 本人承认，退化的纲领可能"东山再起”，因此他的判据不能用来禁止任何人继续研究某个纲领——它只评价，不指导。批评者据此认为这一方法论在实践上是空的。其二是边界模糊：硬核与保护带的划分并非由自然给定，同一个假设在不同的重构下可以被归入不同层次，这使"硬核未被修改"的判断具有相当的解释弹性。
第五层：Feyerabend 的方法论无政府主义
Paul Feyerabend（费耶阿本德，1924-1994）在《反对方法》（Against Method, 1975）中给出了最激进的结论：不存在任何一条方法论规则，是科学家在所有情况下都必须遵守、且违反它总会阻碍科学进步的。
🔍 他的论证策略是历史性的而非逻辑性的：逐一考察被推荐的方法论规则，然后指出科学史上最被推崇的成就恰恰是靠违反它们取得的。核心案例是 Galileo 对哥白尼学说的辩护。当时反对日心说的最强论据来自可靠的观察——若地球在运动，从塔顶落下的石块应当偏离塔基；望远镜所见的天象与肉眼所见不符，而望远镜作为一种新仪器当时并无成熟的光学理论为其可靠性背书。Galileo 的做法是引入尚未获得独立支持的辅助假设（共享运动不可被观察）、诉诸修辞与说服，并在缺乏理论依据的情况下坚持相信望远镜。按当时任何一套严格的经验主义规则衡量，这些做法都不合规——但结果是对的。Feyerabend 由此提出反归纳法（counterinduction）：有时应当引入与既有的、被良好确证的理论相冲突的假设，因为许多否证既有理论的证据，只有在替代理论被发展到一定程度之后才可能被识别出来。理论多元因此不是宽容的姿态，而是发现证据的条件。
⚠️ 关于"怎么都行"的正确理解。 《反对方法》中最广为流传的一句是"怎么都行"（anything goes）。这句话经常被读作 Feyerabend 主张科学没有标准、一切主张同样有效，进而被当作相对主义的口号。他本人的表述与此不同。其一，这句话是一个归谬式的结论而非纲领：他论证，若坚持要求存在一条适用于一切情境的普遍方法论规则，那么在遍历科学史之后，唯一能幸存的规则只有"怎么都行"这一空洞的表述——它是对"寻找普遍规则"这一计划的反证，而不是他推荐的行动准则。其二，他反对的是普遍且不可违反的规则，而非规则本身；他明确承认在具体情境中，某些规则是好的建议——只是它们的适用范围有限，且何时该违反无法事先规定。其三，他真正的关切是制度性的：既然不存在一条能一劳永逸地把科学与非科学分开的方法判据，那么以"这不科学"为由在教育与资助上排除替代性研究传统，就缺乏方法论依据——这一主张针对的是科学的权威地位，而非科学的认知成就。
对 Feyerabend 的主要批评有两条。其一，他的历史案例证明的是"事前的规则无法机械应用"，而非"事后没有任何标准可用于评价"——从方法论的多元推不出结论的等价。其二，他关于替代传统的制度主张，在实践中被援引来支持与证据严重不符的具体主张（尤其在公共卫生领域），而这一援引恰恰忽略了他所强调的评价仍然存在。较为公允的评价是：作为对方法论一元论的历史批判，《反对方法》基本成立且改变了科学哲学的问题设定；作为一种关于如何对待具体经验主张的实践指南，它被过度延伸了。
从 Popper 到 Kuhn 再到 Lakatos 与 Feyerabend，这条脉络呈现出一个逐步缩小的抱负：先是寻找一条能判定单个理论是否科学的逻辑判据，继而承认判定单位是共同体共享的框架，再退为对理论序列在历史中的表现作事后评价，最后连"存在统一判据"这一预设本身也被质疑。这一收缩并未取消对科学的评价，只是把评价从形式规则转移到了对具体历史情境的分析上。
科学实在论与反实在论
科学实在论（Scientific Realism）
科学实在论主张：成熟的科学理论（至少近似地）描述了世界的真实结构——不可观察的理论实体（如电子、夸克、基因）确实存在，科学的目标是发现真理。
支持科学实在论的最强论证是无奇迹论证（no miracles argument，Putnam）：如果科学理论不（至少近似地）为真，那么科学的惊人预测成功就是一个不可解释的奇迹。广义相对论预测了引力波，100年后果然被检测到——这种预测成功如果不是因为理论把握了实在的结构，就只能归因于不可思议的运气。
反实在论的挑战
工具主义（Instrumentalism）：科学理论不是对实在的描述，而是预测和控制经验的工具。理论的"真假"无关紧要，重要的是它是否有效。Ernst Mach 拒绝承认原子的存在——对他而言，“原子"只是一个方便的计算工具。
建构经验主义（Constructive Empiricism）：Bas van Fraassen 提出了一种温和的反实在论——科学的目标不是真理，而是经验充分性（empirical adequacy）。一个理论只要在可观察领域是准确的就够了，不需要承诺不可观察实体的存在。
📝 思想实验：悲观归纳（Pessimistic Meta-Induction）。 Larry Laudan 提出了一个对科学实在论的强有力挑战：科学史上充满了曾经极其成功但后来被证明为假的理论——以太理论、燃素理论、热质理论。这些理论在它们的时代做出了准确的预测、指导了实验研究，但它们假设的实体（以太、燃素、热质）根本不存在。由此可以做一个"悲观的元归纳”：既然过去的成功理论大多为假，凭什么相信当前的成功理论为真？也许今天的电子和夸克在未来的科学中将和以太一样被抛弃。
结构实在论（Structural Realism）试图调和实在论和反实在论：虽然科学理论假设的具体实体可能会被未来理论取代，但理论揭示的数学结构在理论变迁中被保留下来。Maxwell 的电磁方程在从以太理论到场论的转变中被完整保留——变化的是对方程的解释（“以太振动"vs.“电磁场”），不变的是数学结构本身。科学所发现的不是世界由什么"东西"构成，而是世界具有什么"结构”。
社会建构论与科学的社会维度
科学知识社会学（SSK）
20世纪70年代以来，以 Edinburgh 学派（David Bloor、Barry Barnes）为代表的科学知识社会学主张：科学知识像其他社会产品一样，受到社会因素（利益、权力、文化背景）的影响。Bloor 提出的强纲领（Strong Programme）要求对科学信念的社会学解释应该是对称的——不仅解释为什么错误的信念被持有（用社会偏见来解释很容易），还要解释为什么正确的信念被持有（不能仅仅诉诸"因为它是真的"）。
实验室研究
Bruno Latour 和 Steve Woolgar 在《实验室生活》（Laboratory Life, 1979）中通过对 Salk 研究所的民族志研究揭示了科学知识的"制造过程"——科学事实不是被"发现"的，而是在实验室的社会实践中被"建构"的。仪器的选择、数据的解读、论文的修辞策略、同行评议的社会动力学——这些社会过程共同参与了"事实"的生产。
📝 案例：科学大战（Science Wars）。 1990年代，自然科学家与社会建构论者之间爆发了激烈的"科学大战"。物理学家 Alan Sokal 在1996年向后现代文化研究期刊《社会文本》提交了一篇充满胡话的伪论文《超越边界：走向量子引力的变革性诠释学》，该论文被接受并发表。Sokal 随后揭露这是一个恶作剧，以此论证某些社会建构论者对科学的理解是肤浅的。然而，温和的社会建构论者指出，承认社会因素影响科学并不等于否认科学知识的客观性——社会过程参与了知识的生产，但这不意味着科学知识仅仅是社会建构的产物。
女性主义科学哲学
Sandra Harding 和 Helen Longino 等女性主义科学哲学家指出：科学的研究议程、方法选择和理论偏好受到性别因素的影响。例如，灵长类行为学长期以雄性竞争和统治层级为核心叙事，直到女性灵长类学家（如 Sarah Hrdy）开始关注雌性的策略行为和合作网络。这不是说科学被性别"污染"了，而是说多元的立场可以揭示之前被忽视的现象——立场论（standpoint theory）主张边缘化群体的视角可以提供认识论上的优势。
科学说明与科学定律
科学哲学还关注科学说明（scientific explanation）的本质：什么算作对一个现象的好的科学解释？
覆盖律模型（Covering Law Model）：Carl Hempel 提出，科学说明就是将被解释的现象纳入一般性定律之下。解释为什么这根铁棒在加热后伸长——因为"所有金属在加热后伸长"（一般定律）+“这根棒是金属”+“它被加热了”（初始条件）。
因果-机制解释：当代科学哲学越来越强调机制（mechanism）在科学说明中的作用。仅仅指出一般定律不够——还需要解释如何（how）和为什么（why）。解释药物A治愈疾病B，需要揭示从分子结合到细胞反应到症状消退的因果机制链条。
💭 延伸思考
- Kuhn 的范式理论是否适用于社会科学？社会科学中是否存在类似的"科学革命"——如行为主义到认知革命、结构功能主义到后结构主义？还是社会科学始终处于 Kuhn 所说的"前范式"阶段——多种竞争框架并存而无统一范式？
- 在气候变化等议题上，“科学共识"应该在公共政策中享有多大的权威？如果科学知识始终是可修正的（fallible），公众是否有理由质疑科学共识？科学的可修正性与公共权威之间如何平衡？
- 人工智能驱动的科学发现（如 AlphaFold 预测蛋白质结构）是否改变了科学方法论的本质？如果 AI 能找到人类无法理解的模式，这是否意味着科学说明的标准需要重新定义？
- Lakatos 承认一个纲领是进步还是退化往往需要相当长时间才能判定，退化的纲领也可能东山再起。那么在必须当下作出决定的场合——研究经费的分配、某项技术是否投入应用、某类证据能否进入法庭——是否存在比"事后评价"更可操作的判据？若没有，应当由谁承担误判的代价？
- Feyerabend 论证不存在一条能一劳永逸区分科学与非科学的方法判据。若接受这一点，公共机构在拒绝某些主张时就不能诉诸"这不科学"这一理由，而必须逐项检验其具体证据。这一要求在资源与时间有限的现实条件下是否可行？以"来源与程序是否可靠"替代"结论是否科学"作为筛选标准，会带来哪些新的问题？
📚 参考文献
- Popper, K. (1959). The Logic of Scientific Discovery. Routledge. ——证伪主义的经典阐述。
- Kuhn, T. (1962). The Structure of Scientific Revolutions. University of Chicago Press. ——范式理论的开创之作，20世纪被引用最多的学术著作之一。
- van Fraassen, B. (1980). The Scientific Image. Oxford University Press. ——建构经验主义的系统表述。
- Latour, B. & Woolgar, S. (1979). Laboratory Life: The Construction of Scientific Facts. Princeton University Press. ——科学知识社会学的奠基性民族志研究。
- Hacking, I. (1983). Representing and Intervening. Cambridge University Press. ——实验实在论的有力辩护，兼顾科学实在论与反实在论的合理关切。
- Lakatos, I. (1978). The Methodology of Scientific Research Programmes. Cambridge University Press. ——硬核／保护带模型与进步性判据的系统表述。
- Feyerabend, P. (1975). Against Method. New Left Books. ——方法论无政府主义与理论多元论证的原始文本。