• 情形在于事态的存在与不存在,复合性的情形要用这样一个命题来表现,该命题指出诸基本命题的哪种真假值组合能使该情形为真。
• 逻辑装置的功能在于,挑出基本命题真假值的正确组合(使命题为真),它们与诸事态存在与否的正确组合相镜映。
(5) 哲学为活动
• 探究命题是否为真需要拿它与实在比较,这是自然科学的职责,而哲学不属于自然科学,所以哲学的职责不在于提出命题,而在于消除催生出哲学问题的误解。
• 哲学通过把可说的东西展现清楚,来指示不可说的东西。
(6) 显示与言说
• 语言与实在共享同一种形式,语言预设了实在有那种形式,却不能把这点说出来。
• 对象和事态的形式属性是内在的(无法设想某对象或事态不具备该属性),一个对象的内在属性是它与其他对象适当地结合为事态的可能性;对象的形式属性由对于对象名称的使用显示,而非说出来。
(7) 形式概念
• 我们基于逻辑来构想一种范畴理论(不同于实体理论),其中(实体可以有意义地出现在其中的)命题系列,标志着各类实体在逻辑上有别。
• 用来指示不同范畴的词(如对象),起不到指示真正的概念的作用,而仅仅指示形式概念;“有几本书是F”(∃x)(Bx & Fx) 和“有几个对象是F” (∃x)(Fx) 的量化转写形式不同。
• “对象”这类词所指示的形式概念,是“无论什么”和“有个什么”的客观对应项目,所以形式概念的表达式是一个命题变元。
• “对象存在”是胡话,它所表达的东西无法说出,而只能通过由对象的专名和以对象为值的变元在语言中起的作用显示出来。
(8) 基本命题
• 基本命题不含逻辑复合性,无需逻辑常元即可表述,但由于表面的语法简单性不能保证真正的逻辑简单性,所以基本命题的判断需要其他标准。
• 罗素认为基本命题是亲知的实体(不被笛卡尔式怀疑波及)构成的命题,而维特根斯坦不认同这种认识论上的回答,认为基本命题的标志是具有完全确切的意义,表现一个确切的事态。
(9) 真值表
• 所有命题的真假由基本命题的真假所决定,为以适当形式表现一命题,维特根斯坦发明了真值表,但真值表只能应用于基本命题数量有限的情况。
• 为了应对基本命题数量无限的情况,维特根斯坦将真值表记法升级为N算子记法。
(10)重言式与矛盾式
• 真值表记法有两种极限情况:重言式(基本命题清单前面的矩阵真值全为T)和矛盾式(基本命题清单前面的矩阵真值全为F)。
• 重言式无条件为真,它没有意义但它不是胡话(重言式和有意义的命题合取的结果有意义,而胡话和有意义的命题合取的结果是胡话),仍是符号体系的组成部分。
• 重言式对实在的诸表现关系互相抵消,所以它不是实在的图画,而是图画的极限情况(白布)。
(11)命题的一般形式
• 维特根斯坦论证了命题的一般形式的存在性,论证的要义是,不可能有无法预见其形式(不可构造)的命题。
• 命题的意义取决于它在语言系统中的地位,这个系统可以生成所有可能的命题,而命题的一般形式就是这个系统的一般形式。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。