但人们用以表述感觉经验内容的语言
以石里克、卡尔纳普、艾耶尔、赖欣巴哈、亨普尔为代表的逻辑实证主义者, 在逻辑原子主义思想基础上, 把" 经验证实原则" 作为其理论的根本原则加以强调和肯定。逻辑实证主义的全部思想就是围绕着这一原则而逐步展开、演变和转化的。" 经验证实原则" 是作为区分命题有无意义的标准提出来的, 其根本意图就是以此来拒斥形而上学, 把科学知识限定在经验范围之内。从" 经验证实原则" 本身来看, 其基本思想是：一切知识都必须依据经验, 任何命题只有表述经验内容, 即只有能够被经验证实或证伪的, 才有意义, 反之则毫无意义。" 经验证实原则" 是区分科学与非科学( 形而上学) 的界限; 也是一切科学知识命题能够成立的充分条件。科学命题有了, 那么, 如何加以检验( 即验证) 呢?
换言之, 如何来判定科学命题的真与假呢? 逻辑经验主义者首先认为, " 经验证实" 是指原则上的可否证实, 并不是指技术上一时可否证实。其次, 区分了经验的直接证实和间接证实。所谓" 直接证实" 就是从当下的直接感觉经验去对表述这种经验事实的命题加以验证。例如卡尔纳普说：" 如果问题是一个对于当前知觉有所判定的命题, 如' 现在我看见在一个蓝色底子上的一个红色方块' , 那末, 这个命题就能直接为我当前的知觉所验证。如果我现在的确看见一个红色方块在一个蓝色底子上, 这个命题就为我的所见所证实; 如果我没有看见, 它就被否证。" 需要指出的是, 科学命题往往不是对当前知觉的断定, 它总是需要对经验事物的内在性、本质性的东西加以认识, 所以事实上人们大量采用的不是" 直接证实方法" 而是" 间接证实方法" 。所谓" 间接证实" 就是在直接经验的基础上, 通过演绎推理把一个不能被直接证实的命题还原成一个能够被直接证实的命题, 然后加以验证。其实, " 间接证实" 从性质上最终仍可归结为直接证实。
毫无疑问, 科学命题是通过经验证实( 直接证实、间接证实) 来检验其真伪的, 来检验它是否与它所述的经验实在相一致的, 所以, 同逻辑原子主义一样, 逻辑经验主义一般坚持的也是一种" 符合论" 。那么, 我们接着要问, 这种经验证实方法本身是可靠的吗? 可以说, 早期逻辑经验主义者对这个问题作了肯定的回答, 但是, 后来他们感到无论是间接证实还是直接证实, 都是立足于人们的主观感觉经验的, 因而不可避免会有错觉、幻觉, 也难以摆脱主观性、私人性这一根本性质, 一句话, " 经验证实" 是完全不具有可靠性的。后期逻辑经验主义者大体上放弃了" 经验证实原则" , 而由对经验的内容的证实改以经验的语言形式的证实。他们认为, 虽然各人的感觉内容是私人的, 无法交流, 也无法证明, 但人们用以表述感觉经验内容的语言, 却是公共的, 是可以互相交流的, 也是可以相互加以对照的。所以在科学命题的证明方法上, 后期逻辑经验主义从语言形式理论方面提出了" 主观际语言" - - - " 物理语言" 概念, 即不再以直接经验的内容作为命题真伪的判断依据, 而改以共同的观察记录陈述作为判别命题真伪的基础。
真值的概念被转换成实施值的概念
冯赖特的经典系统为道义逻辑的发展奠定了坚实的基础。继冯赖特之后, 逻辑学家所创建的绝大多数道义逻辑系统都把它作为一个子系统包括在内。但经典系统严格说来并不是一个关于命题的逻辑, 而是一个关于行动- - - 名称的逻辑。
在经典系统中, 真值的概念被转换成实施值的概念, 命题的真假变成了一个行动是已实施的或者是未实施的。在命题逻辑框架中的经典系统对于基本符号作如此解释, 当然要遇到一些困难。
对经典系统的这种思考导致道义逻辑的进一步发展, 在经典系统之后遵循真势模态逻辑方向发展起来的道义逻辑, 是所谓道义逻辑的标准系统。
The perfect video converter can convert MP4 to PS3, convert MP4 to Iriver, convert MP4 to Iaudio, convert MPEG to iPod, convert MPEG to iPhone, etc.