1、非经典逻辑中的验证主义与证伪主义

非经典逻辑中的验证主义与证伪主义

1. 核心概念引入

在逻辑语义理论中，验证主义和证伪主义是两种不同的观点。理解语言在于明白在何种情况下断言是正确的。验证主义认为，这意味着知道断言何时能被验证；而证伪主义则主张，需要知道什么会使断言被证伪，因为除非断言被证伪，否则它应被视为正确的。

Michael Dummett 的建构主义观点对经典逻辑提出了挑战。他认为意义理论不应基于独立于心灵的真值条件，而应基于证明或验证条件。这种观点似乎会导致对经典逻辑的修正，验证主义适用的逻辑是直觉主义逻辑。

2. 直觉主义逻辑与排中律

直觉主义逻辑与经典逻辑有许多显著差异，其核心特征之一是拒绝排中律（LEM）。排中律认为，“A 或非 A”在逻辑上总是可断言的，但对于验证主义者来说，只有当“A”或“非 A”能被验证时，排中律才成立，然而并非对任意陈述 A 都能保证这一点，所以排中律必须被摒弃。

3. 证伪主义与爆炸原理

如果在验证主义中需要放弃排中律，那么转向证伪主义时，会有不同的牺牲，即爆炸原理。爆炸原理（ex contradictione quodlibet）指的是从矛盾中可以推出任何结论（A ∧¬A ⊨B），任何不支持这种推理的逻辑被称为次协调逻辑。

从证伪主义的角度看，对于“A 和非 A”这样的陈述，如果它不可证伪就应被视为可正确断言的。而给出合取陈述的证伪条件时，最自然的要求是其中一个合取项被建设性地证伪。但就像不能保证总能验证任意陈述或其否定一样，也不能保证总能证伪它们。因此，根据证伪主义对正确断言的解释，不能保证矛盾永远不可断言。

4. 证伪主义的不同阶段