伪科学命题以及形而上学命题
对于逻辑实证主义的意义标准的新阐述, 可以从科学知识论的内部加以理解, 它放宽了有意义的科学陈述的标准, 扩大了知识的范围; 但也可以从哲学整体上加以认识, 它在放宽科学陈述的同时, 也就在向形而上学陈述作适当的退让。虽然还不能说逻辑实证主义有了某些实质性的转变, 但至少这是在对形而上学价值作了肯定的基础上, 在对形而上学进行重建的某些呼声背景下来对意义标准加以拓宽的, 因而, 这种做法就与关于形而上学问题的思考有了联系。
重新认识形而上学甚至重建形而上学, 不仅是西方人本主义哲学所关注的理论课题, 也成了现代经验主义内部某些哲学家的理论要求。后期维特根斯坦就完全改变了他前期的逻辑原子论, 从人工语言分析转向了日常语言分析, 这种转变虽然从根本上说都是出于拒斥形而上学把哲学仅仅作为科学逻辑分析的基本理论目的, 但对待形而上学的态度却起了较大的变化, 前期维特根斯坦从经验证实原则出发是完全否定形而上学的, 要求把形而上学从科学陈述中清除出去并加以取消, 而后期维特根斯坦则认为形而上学并不是非要取消不可的, 通过" 哲学的治疗" - - - " 返回到日常语言的用途上来" , 那么, 非科学的形而上学陈述是完全可以转化成科学命题陈述的, 因此, 形而上学决不是必须加以鄙视的" 犯人" , 而是需要加倍关心、帮助和治疗的" 病人" 。可以说, 后期维特根斯坦对形而上学的理论热情的提高, 又使形而上学的命运在现代经验主义那里出现了一丝新的转机。
逻辑实证主义通过语言的表述职能与表达职能的区分, 为形而上学命题( 涵盖伦理学、美学等) 提供了一个新的评价领域, 它在表达人们内心情感方面, 如同艺术品一样, 是有其不能否定的作用的, 这就是说, 形而上学的存在有其范围也有其价值所在, 只是不要将这种范围与科学认识的范围、不要把这种价值与科学陈述的意义混为一谈。波普尔则以证伪主义来作为科学与非科学的划分标准, 只是波普尔的非科学领域比起康德及其先前的经验主义者来说要丰富得多。它有六大项, 即重言式命题、列尽各种可能性的逻辑命题、数学命题、宗教神话命题、伪科学命题以及形而上学命题。
研究模态命题及其推理
模态逻辑是研究模态命题及其推理的, 模态命题则是包含模态词的命题。一般地说, 模态词有广义与狭义之分, 广义的模态词既包括真值模态词" 必然" 与" 可能" , 也包括规范模态词" 必须" 、" 允许" 、" 禁止" 等, 狭义的模态词则专指真值模态词" 必然" 与" 可能" 。本章所指的模态词是狭义的, 因此本章所言的模态命题也是狭义的, 即指包含" 必然" 与" 可能" 模态词的命题。
模态逻辑是对" 必然" 与" 可能" 模态词的逻辑研究, 在对" 必然" 与" 可能" 的解释中, " 可能世界" 这一概念起着十分重要的作用。
最早提出" 可能世界" 这一概念的是德国哲学家、数学家莱布尼茨, 他指出：" 世界是可能的事物组合, 现实世界就是由所有存在的可能事物所形成的组合( 一个最丰富的组合) 。可能事物有不同的组合, 有的组合比别的组合更加完美。因此, 有许多的可能世界, 每一由可能事物所形成的组合就是一个可能世界。
Matroska, a new video and audio container format similiar to AVI, but with several new features. .MKV, generally Matroska video file, as well those containing audio ( movies ) or video only. The best video converter can convert almost all popular formats to MKV file format - convert VOB to MKV, convert FLV to MKV, convert MP4 to MKV, convert 3GP to MKV, convert ASF to MKV, convert SWF to MKV, convert AVI to MKV, convert MPEG to MKV, convert MOV to MKV, convert WMV to MKV, convert TS to MKV, etc.