在我的演讲中,我想根据《逻辑哲学论》区分两种从基本命题中构造真值函数的方法。第一种方法是“操作方法”,包括连续应用 N 运算符,这是 TLP 6 中给出的“命题的一般形式”的核心。但是,还有第二种方法,可以称为“组合方法”,也出现在《逻辑哲学论》中,但不太为人所知。所有真值函数都可以通过两步程序实现,该程序使用特定的逻辑哲学论真值论证、真值可能性和真值条件架构。对于给定数量的 n 个基本命题(作为真值论证),第一步将形成这 n 个基本命题及其否定的所有可能的连接。例如n= 2,其中 p 和 q 是基本数,这给出了 4 种可能的组合 p.q、~p.q、p.~q 和 ~p.~q(真值可能性)。在第二步中,现在构造所有可能的子集,这些可能性通过析取组合起来。这样就可以构造所有真值函数,这种方法等同于通过 N 运算符构造。从数学的角度来看,这个过程等同于 n 个生成器的“自由布尔代数”,生成 2 𝑛 所谓的代数“原子”,最后生成 22 𝑛 代数元素。这个自由布尔代数反过来同构于命题逻辑的 Lindenbaum-Tarski 代数。在我的演讲中,我想通过讨论这种结构的属性来解释(有限命题逻辑部分)Tractarian Logic,并展示一些与赫兹配置空间(和玻尔兹曼相空间)的联系,这些联系可用于更好地理解维特根斯坦的逻辑空间。最后,我想表明,基于这种观点,可以给出基本命题的明示例子。
主要关键词