• 从基本命题构建复合命题的方式是使用真值函数,即依靠说出诸基本命题的哪些真假组合使复合命题为真,哪些真假组合使复合命题为假。
• 每个命题都是诸基本命题的真值函数。
• 命题表面上的形式逻辑不一定是其真实形式,所以我们需要一个标准来判断什么是基本命题,而这要求意义的确定性。
• 要正确地说明命题的意义,必须表明不确切的命题如何与世界上的确切情形相关联,所以我们把不确切命题表示为完全确切命题的真值函数,每个完全确切命题凭借一个简单而完全确切的事态成真。
• 基本命题的标准是完全确切性,它指定一个简单事态。
• 事态是对象的适当结合,对象是简单的,且构成世界的实体,世界是是事实(由多个事态组成)的总和,由哪些事态存在、哪些事态不存在所确定。
2. 命题的一般形式的存在性
• 维特根斯坦对于命题的一般形式的存在性的论证核心是:若我们不根据实际情况理解命题,那么命题的意义源于它在语言系统中所处的位置,所以必定存在一个可以生成所有有意义的命题的语言系统。
3. 具体说明命题的一般形式
• 为了设计一件能用始终如一的方法生成诸基本命题的每个真值函数的装置,维特根斯坦引入了N算子,当此算子应用到一些列命题时,会产生一个当且仅当这一系列命题都为假时自身为真的命题。
• 谢菲尔表明所有真值函数都可以由同时否定得到,N算子是同时否定在无穷情况中的类比。
• 维特根斯坦说明了如何用N算子来解释概括命题和同一性命题,以处理弗雷格的逻辑。
• 维特根斯坦说明了整个弗雷格逻辑如何可以只用真值函数装置表示,且如何把所有命题表示为对诸基本命题连续应用N算子的结果,从而表现出命题的一般形式。
4. 逻辑真理
• 罗素把逻辑真理视为既为真又完全一般性(不含特定内容)的命题,但维特根斯坦认为这没有体现出逻辑真理的必然性。
• 维特根斯坦主张,逻辑真理是重言式,即什么也没说出的命题;由于逻辑真理独立于世界为真,它就没有告诉我们世界是怎样的。
• 为解释逻辑真理的完全空洞性(作为必然性的代价),维特根斯坦将逻辑命题视为诸基本命题的真值函数的退化情况;无论考虑基本命题的哪种组合,逻辑命题都为真。
• 逻辑命题仍是语言的一部分,它们是欠缺意义的,但不是胡话。
5. 语言的界限
• 命题的一般形式涵盖了所有可能有意义的命题,这为语言设置了界限,界限的另一边全是胡话;同时,语言的结构映射出世界的结构,显示出世界的本质。
• 一旦想要说出语言结构所显示的世界本质是什么,就会产生胡话;特别来说,形而上学就是把显示出的东西转变为一种世界理论的企图。
第三部分:《逻辑哲学论》导读
• 《逻辑哲学论》的框架是一个树形结构,最好的呈现方式是超文本;读者应按照编号系统指示的顺序,而非句子在页面上出现的顺序,去阅读文本。
• 维特根斯坦在书中提出的论点,大多都有论据支撑,可他只提示论证的大体思路,细节则留给读者自己补充。
• 维特根斯坦从不把自己的出发点和盘托出,总是假定读者已对书中的问题有一定了解,阅读《逻辑哲学论》要求读者了解弗雷格和罗素的理论。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。