声明可证伪性作为科学命题的核心属性其表现形式极为丰富多样且随着科学实践的不断发展新的命题类型与检验方式仍在持续涌现。本文不宣称能够穷尽所有可能的可证伪性分类也不主张这是唯一正确的分类体系。本文的核心贡献在于系统梳理并整合了当前科学哲学研究与自然科学各学科实践中最具普遍性、最常用、最具分析价值的十四个核心维度及其下属类型覆盖了绝大多数自然科学研究中会遇到的可证伪性场景。本文旨在提供一个清晰、可操作的多维分析框架帮助研究者更精确地刻画科学命题的可检验性而非构建一个封闭、终极的分类系统。可证伪性是区分科学与非科学命题的核心标志一个假说若能导出某些可观察、可测量、可实验检验的结果并且明确界定“何种经验事实的出现将证明其为假”那么它就具有可证伪性。在实际的科学写作与逻辑分析中仅用“可证伪”或“不可证伪”的二元判断远远不够。一个科学命题的可证伪性并非非黑即白的属性而是可以在强度、逻辑结构、科学层级、证据累积方式、与辅助假设的关系等多个彼此独立的维度上进行精确刻画。以下即从十四个核心维度展开为每一种可证伪性类型提供清晰的定义、逻辑条件与科学范例。定义基础一个可供检验的科学命题通常可以表示为如下逻辑结构H∧A∧C⇒P H \land A \land C \Rightarrow PH∧A∧C⇒P其中HHH是待检验的核心假说AAA是一组辅助假设包括仪器可靠性、测量有效性、无未控制的混杂因素、背景理论的正确性等CCC是实验或观测的初始条件与边界条件PPP是从上述合取式中导出的可观察预测结果。这一结构揭示了科学检验的核心逻辑困境——杜恒-奎因问题当实际观测到¬P\neg P¬P预测结果未出现时被逻辑否定的并非单独的核心假说HHH而是H∧A∧CH \land A \land CH∧A∧C的整个合取式。我们无法仅凭一次失败的观测就确定错误究竟出在核心假说、辅助假设还是初始条件上。科学实践正是通过不断控制变量、隔离不同成分、逐一定位错误来源来逐步逼近对自然规律的正确认识。维度一按证伪的强度划分1. 强可证伪理论作出高度精确、风险性极高的定量预测容许的偏差范围极小任何超出误差范围的系统性偏离均可立即对理论构成决定性挑战。示例广义相对论预测光线在太阳引力场边缘的偏折角为1.75′′1.751.75′′若多次高精度实测值系统性超出1.75′′±0.05′′1.75 \pm 0.051.75′′±0.05′′的误差范围广义相对论的核心预言即被证伪。量子电动力学对电子反常磁矩的预测精度达到小数点后12位是强可证伪性的极致体现。2. 弱可证伪预测较为宽泛或仅为定性描述反驳所需的反例条件较宽松但仍有明确的否定标准。弱可证伪命题的可信度通常依赖于大量正面证据的累积单个反例的冲击力较弱。示例“所有金属在加热时膨胀”是弱可证伪命题其反例为锑和铋在特定温度区间的热缩冷胀现象但这一例外并不否定该命题在绝大多数情况下的适用性。3. 零可证伪不可证伪无法通过任何可能的经验观察或实验予以否定不属于科学命题的范畴。不可证伪命题通常要么没有给出任何可检验的预测要么能够通过无限的特设性修改来容纳所有可能的经验事实。示例“存在一种与一切物质都不发生任何相互作用的粒子”由于该粒子不产生任何可探测的效应因此无法被证伪“上帝创造了宇宙”这类形而上学命题也属于零可证伪范畴。维度二按命题的逻辑结构划分本维度基于一阶谓词逻辑与科学命题的常见语法形式区分不同类型命题的精确证伪逻辑条件。这些类型并非完全互斥一个复杂的科学命题可能同时包含多种逻辑结构但每种结构都对应着独特的证伪要求。1. 全称可证伪逻辑形式为∀x∈D:P(x)\forall x \in D: P(x)∀x∈D:P(x)论域DDD中的所有对象xxx都满足性质PPP。一个可靠的反例即可完成证伪。示例“所有天鹅都是白色的”——一只黑天鹅的出现即证伪该命题。2. 存在可证伪逻辑形式为∃x∈D:P(x)\exists x \in D: P(x)∃x∈D:P(x)在论域DDD中存在至少一个对象xxx满足性质PPP。证伪此类命题需要在明确界定的论域范围内使用足够灵敏的检测手段进行充分搜索后仍未发现符合条件的对象且排除所有可能的假阴性原因。示例“该水样中存在浓度高于1 μg/L1\ \mu\mathrm{g/L}1μg/L的汞离子”若采用检出限为0.1 μg/L0.1\ \mu\mathrm{g/L}0.1μg/L的原子吸收光谱法多次重复检测均未检出且排除了样品污染、仪器故障等假阴性因素则该存在命题被证伪。3. 不存在可证伪逻辑形式为∀x∈D:¬P(x)\forall x \in D: \neg P(x)∀x∈D:¬P(x)在论域DDD中不存在任何对象xxx满足性质PPP。此类命题的证伪极为容易只要发现一个正例即可完成证伪。示例“该化学反应不产生一氧化碳”只要在反应产物中检测到一氧化碳且排除了环境污染的可能该不存在命题即被证伪。4. 条件可证伪逻辑形式为C→PC \rightarrow PC→P如果条件CCC成立那么结果PPP必然发生。当前件CCC成立但后件PPP不成立时命题被证伪。示例“若压强恒定则理想气体的体积与热力学温度成正比”——在严格恒定的压强下体积与温度不成正比即证伪该命题。5. 数值可证伪声称某个物理参数等于某一给定值并附有明确的误差范围。当多次独立测量的平均值与该值的偏差超出误差范围时命题被证伪。示例“该反应的速率常数k0.10±0.01 s−1k 0.10 \pm 0.01\ \mathrm{s}^{-1}k0.10±0.01s−1”若多次测量得到的平均值为0.18 s−10.18\ \mathrm{s}^{-1}0.18s−1则原数值声称被证伪。6. 阈值可证伪声称当某个变量超过或低于某个临界阈值时特定现象会出现或消失。当阈值处的行为与预测不符时命题被证伪。示例“当pH低于4.5时该菌株停止生长”——若在pH4.0的条件下菌株仍能稳定生长则该阈值命题被证伪。7. 比较可证伪声称两个变量或两组对象之间存在特定的大小关系YAYBY_A Y_BYAYB。当实验结果显示YA≤YBY_A \le Y_BYA≤YB且排除了测量误差和混杂因素时命题被证伪。示例“药物A的肿瘤抑制效果强于药物B”——若实际数据显示药物A的效果不如药物B或两者无显著差异则该比较命题被证伪。8. 方向可证伪仅预测某个变量变化的方向不给出具体的数值大小。当变量的变化方向与预测相反或无显著变化时命题被证伪。示例“升高温度会提高该化学反应的速率”——若升温后反应速率反而下降则该方向命题被证伪。9. 相关可证伪声称两个变量之间存在特定方向的统计关联。在具有足够统计功效的研究中若未发现显著相关或相关方向与预测相反则命题被证伪。示例“水体中污染物浓度与鱼类死亡率呈正相关”——若大规模调查数据显示两者无关或呈负相关则该相关命题被证伪。10. 概率可证伪给出某个事件发生的概率分布或频率值。需要通过大样本统计检验来证伪当观测频率与预测概率的偏差超出统计显著性水平时命题被证伪。示例“该基因突变的自然发生率为10−610^{-6}10−6”若对10810^8108个个体的大规模筛查显示发生率稳定在10−410^{-4}10−4则该概率命题被证伪。11. 函数关系可证伪声称两个变量之间存在特定的数学函数关系Yf(X)Yf(X)Yf(X)。当观测数据系统性地偏离该函数曲线且偏差无法用测量误差解释时命题被证伪。示例“吸光度与溶液浓度满足朗伯-比尔定律”——若在高浓度下发现明显的非线性偏离且超出仪器误差范围则该函数关系在该条件下被证伪。12. 模型可证伪复杂的多参数模型声称能够准确预测新的观测数据。当模型对新数据的预测残差出现系统性结构或预测能力持续低于随机模型时该模型被证伪。示例某气候模型对未来十年全球平均气温的预测系统性地偏离所有主要观测数据集且偏差随时间不断增大则该模型受到严重证伪。13. 因果可证伪声称变量XXX是变量YYY的原因XXX导致YYY。证伪此类命题需要在严格控制所有混杂变量的条件下对XXX进行干预若干预后YYY未发生预期的变化则因果命题被证伪。示例“敲除基因GGG会降低蛋白质PPP的表达水平”若在细胞系中成功敲除基因GGG并排除了脱靶效应后蛋白质PPP的表达量未发生显著下降则该因果命题被证伪。14. 机制可证伪不仅声称XXX导致YYY还明确指明了从XXX到YYY的中间因果链条。证伪此类命题可以通过阻断提出的中间环节若阻断后结果YYY仍然出现或中间环节的时间顺序、因果方向与预测矛盾则机制被证伪。示例“药物AAA通过抑制酶EEE的活性来减少产物MMM的生成”若加入酶EEE的特异性抑制剂后产物MMM的生成量并未减少反而有所增加则该机制命题被证伪。15. 身份/组成可证伪断言某个对象属于某一特定类别或含有某种特定成分。当鉴定证据不支持该断言时命题被证伪。示例“该细胞系携带BRAF V600E突变”若通过Sanger测序和下一代测序均未检出该突变则该身份命题被证伪。16. 预测可证伪对尚未观测到的数据或未来事件作出明确的预言。在规定的条件和时间范围内若预测的事件未出现则命题被证伪。示例“在下一个观测窗口天体X的视星等将降至15.2±0.315.2 \pm 0.315.2±0.3等”若实际观测值为15.815.815.8等且排除了观测误差则该预测命题被证伪。17. 边界条件可证伪声称某一科学规律仅在特定的边界条件范围内成立。若在声称的范围内出现系统性失败或在声称的边界外规律仍稳定成立则边界条件被证伪。示例“该经验公式仅在雷诺数Re2000Re 2000Re2000时有效”若在Re1500Re1500Re1500时已出现显著的系统性偏离则该边界条件命题被证伪。18. 竞争假说可证伪多个相互竞争的假说给出互斥的独特预测。观测结果支持其中一个假说并排除其他假说时即完成对被排除假说的证伪。示例模型A预测在E3.5 keVE3.5\ \mathrm{keV}E3.5keV处出现特征谱峰模型B预测在E4.0 keVE4.0\ \mathrm{keV}E4.0keV处出现谱峰实测谱峰位于4.0 keV4.0\ \mathrm{keV}4.0keV则模型A被证伪。19. 复现可证伪声称某个实验结果在相同或相近的条件下可以重复。当多个独立的、具有足够统计功效的研究均无法重现该结果时原声称被证伪。示例一项声称某药物对阿尔茨海默病有显著疗效的二期临床试验被后续三项独立的多中心三期临床试验均未重现原结果被复现证据证伪。维度三按证伪所涉及的科学层级划分科学知识体系呈现出清晰的层级结构不同层级的命题具有不同的普遍性和基础性因此其证伪难度和影响范围也存在显著差异。一般而言命题的层级越高、越基础其背后的辅助假设网络越复杂证伪所需的证据强度越高证伪后对整个学科的影响也越大。1. 经验定律可证伪针对通过实验归纳得到的经验规律。这类定律通常描述可直接观测的现象之间的关系证伪相对容易。示例胡克定律F−kxF-kxF−kx在大位移条件下被证伪因为此时材料进入塑性变形阶段应力与应变不再呈线性关系。2. 理论模型可证伪针对用于解释经验定律的中介理论模型。这类模型通常包含不可直接观测的理论实体证伪需要更间接的证据。示例玻尔原子模型在解释多电子原子的光谱时失败被更完善的量子力学模型所证伪。3. 基本原理可证伪针对学科的基础公设、对称性原理或普遍守恒定律。这类原理是整个学科理论体系的基石其证伪通常会引发科学革命。示例1956年吴健雄的钴-60实验证伪了“弱相互作用中宇称守恒”这一被广泛接受的基本原理直接推动了粒子物理学的重大发展。需要注意的是该实验并未否定强相互作用和电磁相互作用中的宇称守恒因此是对原理适用范围的证伪。维度四按证伪的逻辑实现方式划分1. 直接可证伪通过观察到一个明确的、无可争议的反例直接否定命题。这是最简单、最直接的证伪方式通常适用于全称命题和不存在命题。示例黑天鹅的发现直接证伪了“所有天鹅都是白色的”这一全称命题。2. 判决性实验可证伪通过精巧设计的单一实验在两个或多个相互竞争的理论之间作出排他性取舍。波普尔认为判决性实验是证伪理论的关键手段但拉卡托斯指出不存在即时的、绝对的判决性实验只有在事后被科学共同体广泛认可的实验才能被称为判决性实验。示例1982年阿斯派克特实验对贝尔不等式的违背判决性地证伪了局域隐变量理论为量子力学的非局域性提供了决定性证据。3. 间接可证伪通过证伪理论的逻辑推论来间接否定原理论其逻辑基础是假言推理的否定后件式若T→PT \rightarrow PT→P且¬P\neg P¬P则¬T\neg T¬T。示例经典电磁理论预言原子会因辐射能量而在极短时间内坍缩这与原子的稳定性事实不符从而证伪了经典电磁理论在原子尺度的适用性。维度五按证伪的时间-技术条件划分1. 当下可证伪现有技术水平已能实施检验可在可预见的未来得到证伪或证实的结果。示例大型强子对撞机LHC能够检验希格斯玻色子的存在性以及标准模型的许多预测。2. 原则可证伪实践暂不可证伪逻辑上存在明确的证伪路径能够清晰界定何种经验事实将证明其为假但由于当前技术水平的限制无法达到检验所需的能标、精度或时空尺度。原则可证伪的命题仍然属于科学命题的范畴区别于逻辑上不可证伪的形而上学命题。示例弦理论的部分预测涉及普朗克能标∼1019 GeV\sim 10^{19}\ \mathrm{GeV}∼1019GeV远超当前粒子加速器所能达到的最高能标约104 GeV10^4\ \mathrm{GeV}104GeV因此目前无法直接检验。但弦理论也作出了一些可能通过宇宙学观测间接检验的预测如原初引力波的特定模式。3. 历史可证伪已经在科学史上被实验或观测正式证伪并被科学共同体普遍抛弃的命题。示例燃素说、以太说、热质说等。维度六按预测的精确度定量-定性谱系划分1. 点预测可证伪给出单一确定的数值并附有明确的误差范围。这是精确度最高的预测类型也是可证伪性最强的类型之一。示例量子电动力学对电子反常磁矩的预测精确到小数点后12位与实验测量值的吻合程度达到了惊人的水平。2. 区间预测可证伪预测结果落在某个连续的数值区间内区间外的结果即证伪命题。示例“该恐龙化石的地质年龄应在541~443百万年前奥陶纪”若通过铀-铅测年法测得其年龄为300百万年则该区间预测被证伪。3. 方向性可证伪仅给出变量变化的方向不提供具体的数值大小。这是精确度最低的定量预测类型。示例“增加施肥量会提高小麦的产量”。4. 模式可证伪预测的不是单个数值或方向而是复杂的形状、波形、谱图或时空分布模式。当观测到的模式与预测的模式存在系统性的、无法用误差解释的差异时命题被证伪。模式可证伪性在天文学、气候科学、神经科学等领域尤为重要。示例标准宇宙学模型精确预测了宇宙微波背景辐射功率谱中声学峰的位置、相对高度和宽度。若观测结果显示不存在这些声学峰或其位置与预测偏差超过误差范围标准宇宙学模型将受到根本性挑战。维度七按证伪的对象范围划分1. 局部可证伪理论的某一具体推论被证伪但理论的核心框架仍然可以保留只需进行局部修正或限制其适用范围。示例水星近日点进动的异常观测结果证伪了牛顿引力理论在强引力场、高精度条件下的推论但牛顿理论在低速弱场条件下依然是极其精确的近似。2. 整体可证伪理论的核心公设被摧毁整个理论框架被彻底否定需要被新的理论所取代。示例经典绝对时空观被狭义相对论整体证伪取而代之的是相对时空观。3. 联合可证伪杜恒-奎因式实验同时检验核心理论与一组不可分割的辅助假设否定的是它们的合取式无法通过单次实验精确定位错误的具体来源。这是科学检验中最普遍的情况。示例19世纪天王星轨道的异常观测结果初看似乎证伪了牛顿引力理论但实际上是辅助假设“太阳系已知行星列表完整”有误。科学家通过调整辅助假设预言了海王星的存在并最终观测到它从而挽救了牛顿引力理论。维度八按反例处理方式与免疫策略划分1. 刚性可证伪反例出现即直接放弃理论不引入任何额外的假设来挽救。这种情况通常发生在理论本身非常简单且没有复杂的辅助假设网络的情况下。示例迈克耳孙-莫雷实验得到零结果后以太静止假设被大多数物理学家直接放弃。2. 弹性可证伪修补型当反例出现时通过引入新的辅助假设来保存核心理论。如果新引入的辅助假设是可独立检验的并且能够产生新颖的可检验预测那么这种修补是进步的如果新假设只能挽救理论而不能产生任何新的预测那么它就是特设性假设会导致理论退化为非科学。示例海王星的预言是进步的修补它不仅解释了天王星轨道的异常还产生了“在特定位置存在一颗新行星”的可检验预测而托勒密地心体系为了解释行星的逆行现象不断增加本轮和均轮这些本轮无法被独立检验属于退化的特设性修补。3. 硬核可证伪科学研究纲领中不可放弃的核心部分一旦被驳倒整个研究纲领即宣告终结。拉卡托斯的科学研究纲领方法论将科学理论分为“硬核”和“保护带”两部分。示例能量量子化原理是量子力学研究纲领的硬核若该原理被彻底否定整个量子力学体系将崩溃。4. 保护带可证伪遭受证伪的是保护硬核的辅助假说、初始条件和边界条件硬核本身继续存活。科学家通常会优先调整保护带而不是轻易放弃硬核。示例遭遇行星轨道异常时科学家会调整行星列表、考虑新天体的存在、修正轨道计算方法等保护带内容而牛顿力学的硬核毫不动摇。5. 启发式可证伪科学研究纲领的方法论规则或研究策略不再能产生新颖的预测纲领沦为“退化的研究纲领”失去科学意义。此时即使纲领没有被直接证伪也会被科学共同体所抛弃。示例一个理论不断进行事后修补只能解释已知事实而无法预见任何新事实其正面启发法被“证伪”为无效。维度九按预测的信息来源划分1. 事前预测可证伪预测在新数据产生之前独立给出不沾染即将检验的数据。事前预测是科学理论最有价值的特征之一也是检验理论真理性的最可靠方式。示例爱因斯坦在1915年完成广义相对论时就预言了光线在太阳引力场中的偏折1919年爱丁顿的日食观测才对这一预言进行了检验。2. 事后拟合可证伪模型构造于已知数据之后能够完美拟合旧数据。事后拟合的模型并没有真正的预测能力其可证伪性完全取决于对未来新数据的检验。示例仅凭历史股价数据拟合的技术分析曲线必须在新的交易数据上获得验证否则只是对过去数据的描述而非对未来的预测。3. 预注册可证伪在研究开始前公开登记研究设计、样本量、主要终点、次要终点和统计分析方案随后严格按照预注册的方案执行检验。预注册制度是为了应对科学研究中普遍存在的“p值操纵”和“事后假设”HARKing问题确保证伪的客观性和可靠性。若未达到预注册的主要终点即宣示原假设被证伪。示例所有临床试验都要求在官方平台如ClinicalTrials.gov进行预注册明确规定主要疗效终点和统计方法。若试验结果未达到预注册的主要终点无论次要终点如何都不能声称药物有效。维度十按证伪判决的排他性划分1. 孤立可证伪可以将待检验命题与其他辅助假设有效隔离观察结果几乎唯一地指向该命题的真伪。这种情况通常发生在实验条件能够被极其精确控制的领域。示例在精密控制温度、磁场和电流的条件下“该超导体在4.2 K时电阻为零”的命题可以被直接检验几乎不受其他辅助假设的干扰。2. 整体论网络可证伪证伪直接击中一个由多个相互关联的假设组成的不可拆分的信念网络无法通过单次实验定点清除某个具体假设。这种情况在复杂系统科学中尤为突出因为复杂系统的变量众多、相互作用非线性难以隔离单个因素的影响。示例生态模型对物种数量变化的预测失败可能来自理论模型的缺陷、参数估计的错误、采样方法的偏差、边界条件的划定失当或未预见的环境干扰无法通过单次实验确定具体的错误来源。3. 竞争排除可证伪一次实验同时检验两个或多个互斥的假说结果必然支持其中一个并排除其余排他性极强。示例赫罗图上的位置可以明确区分主序星和白矮星假说一者被证实则另一者必然被证伪。维度十一按证据累积性划分1. 瞬时可证伪单一的、决定性的反例即足以证伪命题无需统计证据的累积。这种情况通常适用于全称命题和不存在命题。示例发现鸭嘴兽产卵的事实瞬间证伪了“所有哺乳动物都是胎生的”这一全称命题。2. 累积可证伪需要大量不利证据逐渐降低假说的可信度最终被科学共同体承认失败。这种情况通常发生在复杂系统科学和社会科学中因为单个反例可能被解释为异常或误差。示例简化版的“所有胆固醇都危害健康”的假说经过数十年的流行病学研究、临床试验和基础医学研究的证据累积才被修正为“低密度脂蛋白胆固醇升高增加心血管疾病风险”。3. 临界可证伪预先约定一个定量的证据阈值当不利证据的强度越过该阈值时即判定假说被证伪。临界标准的设定通常基于学科的传统和对错误风险的容忍度。示例粒子物理学中采用5σ5\sigma5σ标准作为“发现”的临界值对应的随机波动概率约为350万分之一。若观测结果的显著性低于5σ5\sigma5σ则不能声称发现新粒子若多次实验的显著性均远低于5σ5\sigma5σ则“不存在该粒子”的原假设得到支持。维度十二按复现依赖性划分1. 单次观测可证伪不可重复但公认可靠的唯一观测足以证伪命题。这种情况通常发生在天文学等无法进行实验室实验的领域因为某些天文事件是一次性的、不可重现的。示例1987A超新星爆发时探测到的中微子暴一次性证伪了某些关于超新星爆发机制的理论模型。2. 实验室复现可证伪其他独立实验室严格遵循相同的实验操作步骤得到一致的反例结果方视为有效证伪。这是实验科学中最基本的证伪要求。示例1989年声称的“冷核聚变”现象因全世界数十个顶尖实验室均无法复现而被证伪。3. 概念复现可证伪使用不同的实验方法、不同的样本群体、不同的测量手段或不同的研究设计来检验同一假说。若所有这些独立的检验都无法获得支持原假说的证据则构成概念复现证伪。概念复现比直接复现更严格能够排除特定实验方法或样本带来的系统性偏差检验假说的普适性。示例假说“正念冥想能够提升工作记忆能力”若在问卷调查、行为实验、脑电测量、fMRI成像以及不同年龄、不同文化背景的样本中均未发现显著的支持证据则该假说被概念复现证伪。维度十三按被证伪命题在推理链中的位置划分1. 初始条件可证伪失败的不是理论本身而是理论应用的前提条件。此时需要修正的是初始条件的设定而非理论本身。示例对低温高压下的实际气体应用理想气体定律失败证伪的是“该气体可视为理想气体”这一初始条件而非理想气体定律本身。2. 推导逻辑可证伪从前提导出结论的推理过程被指出存在逻辑谬误、数学错误或概念混淆。此时被证伪的不是前提本身而是基于前提的推论。示例一篇论文声称从机制A必然推出结果B但被指出推导过程中存在一个未被证明的错误假定该推论即被证伪。3. 观测陈述可证伪曾被科学共同体视为“客观事实”的观测报告被新的更高精度的观测或更严谨的实验证明为虚假。这表明科学中的“事实”并非绝对可靠而是可错的观测陈述本身也需要接受检验这是科学自我修正能力的重要体现。示例20世纪90年代曾有多个研究小组报告发现了系外行星的周期信号但后来被证实这些信号是由仪器的系统误差和数据处理方法的缺陷导致的原观测陈述被证伪。维度十四按证伪的具体手段划分1. 观测证伪不主动干预自然过程仅通过系统的、持续的观测获得反驳证据。这是天文学、地质学、生态学等领域的主要证伪手段。示例对行星位置的长期观测证伪了托勒密的地心说模型。2. 测量证伪通过精密仪器测量物理量的数值直接判定命题的真伪。示例测量材料的电阻率发现其远超超导体的阈值证伪了关于该材料室温超导的论断。3. 实验干预证伪主动改变一个或多个变量观察结果是否按照预测的方式响应。这是实验科学最核心的证伪手段。示例升高温度后反应速率未增加证伪了“升高温度会提高该反应速率”的方向命题。4. 对照实验证伪设置处理组和对照组控制所有其他变量仅改变待检验的因素。若预测的组间差异未出现则命题被证伪。示例药物组与安慰剂组的疗效无显著差异证伪了“该药物有效”的命题。5. 统计证伪通过显著性检验、贝叶斯因子、置信区间等统计推断方法判定观测数据与原假设的不相容程度。需要注意的是统计证伪通常是“拒绝原假设”而不是“证明备择假设正确”p值只能说明数据与原假设的不相容程度不能说明原假设为假的概率。示例在药物临床试验中若预设的显著性水平为α0.05\alpha0.05α0.05且检验得到p0.05p0.05p0.05则拒绝“药物与安慰剂无差异”的原假设。6. 机制扰动证伪介入因果机制链的中间环节通过阻断、激活或修饰中间变量来检验机制的正确性。若阻断中间环节后结果仍然出现则机制被证伪。示例抑制某信号通路中的关键激酶后下游基因的表达并未发生预期的变化证伪了该信号通路的作用机制。7. 预测检验证伪用理论作出的事前预测与新获得的观测数据进行比较若预测失败则构成证伪。示例粒子物理实验中预言的某个共振峰未能在预期的能量范围内出现证伪了该共振态存在的假说。8. 复现实验证伪依靠独立的重复实验来否定此前的结果声称。这是应对科学欺诈和偶然误差的最有效手段。示例“微笑抑郁症”相关的一些经典心理学效应未能被大规模多中心的复现研究证实原结果被证伪。多维分类全景表维度类型一、证伪强度强可证伪 / 弱可证伪 / 零可证伪二、逻辑结构全称 / 存在 / 不存在 / 条件 / 数值 / 阈值 / 比较 / 方向 / 相关 / 概率 / 函数 / 模型 / 因果 / 机制 / 身份 / 预测 / 边界 / 竞争 / 复现三、科学层级经验定律可证伪 / 理论模型可证伪 / 基本原理可证伪四、逻辑实现方式直接可证伪 / 判决性实验可证伪 / 间接可证伪五、时间-技术条件当下可证伪 / 原则可证伪 / 历史可证伪六、预测精确度点预测 / 区间预测 / 方向性 / 模式可证伪七、对象范围局部可证伪 / 整体可证伪 / 联合可证伪八、反例处理与免疫策略刚性 / 弹性 / 硬核 / 保护带 / 启发式可证伪九、信息来源事前预测 / 事后拟合 / 预注册可证伪十、判决排他性孤立 / 整体论网络 / 竞争排除可证伪十一、证据累积性瞬时 / 累积 / 临界可证伪十二、复现依赖性单次观测 / 实验室复现 / 概念复现可证伪十三、推理链位置初始条件 / 推导逻辑 / 观测陈述可证伪十四、证伪具体手段观测 / 测量 / 实验干预 / 对照实验 / 统计 / 机制扰动 / 预测检验 / 复现实验科学写作中的精确定位在描述一个科学命题的可检验性时可以同时从多个维度进行刻画使读者对其科学地位一目了然。例如“牛顿引力理论在水星近日点进动问题上的原始形式属于数值可证伪、强可证伪、局部可证伪、历史可证伪、保护带可证伪的命题它给出了定量的轨道进动预测值该值与观测的系统性不符构成了决定性反例但它只被局部修正核心框架在低速弱场条件下依然有效且整个过程已成为科学史上的经典判例。”再如“某新冠疫苗预防重症的有效性声称属于概率可证伪、比较可证伪、当下可证伪、预注册可证伪、对照实验可证伪、临界可证伪的命题它给出了疫苗组与安慰剂组重症发生率的相对风险降低值通过预注册的多中心随机对照试验进行检验若试验结果的显著性未达到预设阈值则该有效性声称被证伪。”这样的多维标注远比简单地说一句“它是可证伪的”更能体现科学命题的丰富结构也更有助于辨析一个陈述究竟在何种意义、何种程度上是科学的同时为科学研究的设计、检验和评价提供了清晰的逻辑框架。
