| 证实原则 principle of verification 逻辑实证主义者关于区分经验科学和形而上学的原则，确定科学分界的标准。由石里克、卡尔纳普和奥地利纽拉特等人提出和倡导。他们认为一个科学陈述是有意义的，当且仅当它原则上是可证实的。这是逻辑实证主义的最基本原则，也是它所认定的确立科学知识的原则。逻辑实证主义把科学知识划分为事实命题(经验命题)和形式命题(数学和逻辑命题)两类。证实原则是事实命题的意义性标准，证实即由经验事实赋予事实命题以意义。事实命题包括观察命题和理论命题。观察命题可以直接证实或间接证实。直接证实借助概率归纳逻辑根据经验证据作出，是或然的证明。经直接证实的观察命题称为基本命题，即为原子命题，对它不可再加以逻辑分析。不可直接证实的观察命题通过间接证实来授义，即通过演绎推理由之导出可直接证实的观察命题。前者作为观察命题所包含的经验内容通过逻辑必然联系由后者来保证。理论命题的意义由观察命题通过对应规则来保证，这种规则犹如“逻辑桥梁”一样把经验内容从后者输送给前者。证实原则又是清除形而上学的原则。形而上学的命题无法根据经验证实来判定真假，故没有意义;它们徒具陈述句的语法形式，却没有认识内容，只有情感内容，故不是事实命题。形而上学的命题也不是形式命题，是无意义的伪命题。 |