香饽饽

也难以摆脱主观性

以石里克、卡尔纳普、艾耶尔、赖欣巴哈、亨普尔为代表的逻辑实证主义者, 在逻辑原子主义思想基础上, 把" 经验证实原则" 作为其理论的根本原则加以强调和肯定。逻辑实证主义的全部思想就是围绕着这一原则而逐步展开、演变和转化的。" 经验证实原则" 是作为区分命题有无意义的标准提出来的, 其根本意图就是以此来拒斥形而上学, 把科学知识限定在经验范围之内。从" 经验证实原则" 本身来看, 其基本思想是：一切知识都必须依据经验, 任何命题只有表述经验内容, 即只有能够被经验证实或证伪的, 才有意义, 反之则毫无意义。" 经验证实原则" 是区分科学与非科学( 形而上学) 的界限; 也是一切科学知识命题能够成立的充分条件。科学命题有了, 那么, 如何加以检验( 即验证) 呢?

换言之, 如何来判定科学命题的真与假呢? 逻辑经验主义者首先认为, " 经验证实" 是指原则上的可否证实, 并不是指技术上一时可否证实。其次, 区分了经验的直接证实和间接证实。所谓" 直接证实" 就是从当下的直接感觉经验去对表述这种经验事实的命题加以验证。例如卡尔纳普说：" 如果问题是一个对于当前知觉有所判定的命题, 如' 现在我看见在一个蓝色底子上的一个红色方块' , 那末, 这个命题就能直接为我当前的知觉所验证。如果我现在的确看见一个红色方块在一个蓝色底子上, 这个命题就为我的所见所证实; 如果我没有看见, 它就被否证。" 需要指出的是, 科学命题往往不是对当前知觉的断定, 它总是需要对经验事物的内在性、本质性的东西加以认识, 所以事实上人们大量采用的不是" 直接证实方法" 而是" 间接证实方法" 。所谓" 间接证实" 就是在直接经验的基础上, 通过演绎推理把一个不能被直接证实的命题还原成一个能够被直接证实的命题, 然后加以验证。其实, " 间接证实" 从性质上最终仍可归结为直接证实。

毫无疑问, 科学命题是通过经验证实( 直接证实、间接证实) 来检验其真伪的, 来检验它是否与它所述的经验实在相一致的, 所以, 同逻辑原子主义一样, 逻辑经验主义一般坚持的也是一种" 符合论" 。那么, 我们接着要问, 这种经验证实方法本身是可靠的吗? 可以说, 早期逻辑经验主义者对这个问题作了肯定的回答, 但是, 后来他们感到无论是间接证实还是直接证实, 都是立足于人们的主观感觉经验的, 因而不可避免会有错觉、幻觉, 也难以摆脱主观性、私人性这一根本性质, 一句话, " 经验证实" 是完全不具有可靠性的。后期逻辑经验主义者大体上放弃了" 经验证实原则" , 而由对经验的内容的证实改以经验的语言形式的证实。他们认为, 虽然各人的感觉内容是私人的, 无法交流, 也无法证明, 但人们用以表述感觉经验内容的语言, 却是公共的, 是可以互相交流的, 也是可以相互加以对照的。所以在科学命题的证明方法上, 后期逻辑经验主义从语言形式理论方面提出了" 主观际语言" - - - " 物理语言" 概念, 即不再以直接经验的内容作为命题真伪的判断依据, 而改以共同的观察记录陈述作为判别命题真伪的基础。

研究模态命题及其推理

模态逻辑是研究模态命题及其推理的, 模态命题则是包含模态词的命题。一般地说, 模态词有广义与狭义之分, 广义的模态词既包括真值模态词" 必然" 与" 可能" , 也包括规范模态词" 必须" 、" 允许" 、" 禁止" 等, 狭义的模态词则专指真值模态词" 必然" 与" 可能" 。本章所指的模态词是狭义的, 因此本章所言的模态命题也是狭义的, 即指包含" 必然" 与" 可能" 模态词的命题。

模态逻辑是对" 必然" 与" 可能" 模态词的逻辑研究, 在对" 必然" 与" 可能" 的解释中, " 可能世界" 这一概念起着十分重要的作用。

最早提出" 可能世界" 这一概念的是德国哲学家、数学家莱布尼茨, 他指出：" 世界是可能的事物组合, 现实世界就是由所有存在的可能事物所形成的组合( 一个最丰富的组合) 。可能事物有不同的组合, 有的组合比别的组合更加完美。因此, 有许多的可能世界, 每一由可能事物所形成的组合就是一个可能世界。

The best HD Movie Converter supports decoding and encoding of all High-Definition video formats including HD AVI, H.264/AVC, MKV, AVCHD, HD MPEG4 TS, HD MPEG2 TS, HD WMV, HD Quick Time, ASF-HD.

也难以摆脱主观性

最近文章