两元两元纸币值多少钱一张( 七 ) _生活百科

121、这样的二元模式根据不同条件和情况可以有各种变化形式，所以永远不可能有无法还原为某种二值形式中的某个值的第三值。
122、由此可以重新解释那些据说是需要第三值的现象: (1)未来事件问题。
123、考虑命题“明天有足球赛”和“明天没有足球赛” 。
124、据说在此排中律失效，因为明天的可能性比足球赛多得多，也许是战争也许是股市大乱。
125、可是这些情况已经超出原来规定的判断空间，它的真实要求其实不是第三值而是另一种判断空间。
126、 (2)数学问题。
127、例如，假定π在展开中的k位置上连续出现7777(Bruower反对排中律的例子)，这种情况是不可判定的，因为不能构造地证明这一点。
128、但这并不意味有第三值，而是意味着需要大概是[(可构造地判定);(不可构造地判定)]这样的二元模式。
129、多少有些奇怪的是，Bruower等人从直觉主义数学要求发现了我们实际上无法判定超出构造性条件的命题，却没有因此顺理成章地想到那是另一个层次。
130、可见假如在哲学上没有仔细的考虑就可能会在逻辑上过于“平面地”看问题。
131、 (3)物理问题。
132、量子力学实验有这样的现象:密封箱以隔板分为两个部分，隔板有原子足以通过的孔，按照排中律的想象，原子在左边或在右边，可是事实上原子同时在两边。
133、实验当然没错，可是谁说能够这样使用排中律?难道我们指望逻辑和物理学一样吗?原子当然在两边，这是事实而不是逻辑的结果，逻辑管不了事实，只能管命题。
134、把观念和事实混为一谈，或者说，以为观念都表达着事实的规律，这种想象是人们的一种习惯。
135、逻辑仅仅是针对观念的，我们不能要求逻辑的规律在事物上也有效，因为事物并不按照逻辑来生成。
136、逻辑与事物如果总是一致的，那倒是新鲜事情。
137、顺便可以谈谈哥德尔定理，也许对理解上述的讨论有所帮助。
138、哥德尔定理是以一个数学问题为背景的，简单地说就是，在一个数学系统中，根据公理并且按照推论规则能够证明的命题当然是真的，能够否证的命题当然是假的，但是因此还不能就有把握反过来说，在这个系统中的所有真命题都是可证明的，或所有假命题都是可否证的。
139、这就是所谓完备性问题。
140、我们知道，哥德尔证明了，在一个足够丰富的系统中总会有至少一个(也许有许多个)真命题对于这个系统而言是不可证明的，更准确一些说，如果一个形式系统理论T足以容纳数论而且是无矛盾的，则理论T必定是不完备的，因为其中至少有一个属于T的有意义的命题p是真的，但却在理论T中不能判定，这就是所谓不可判定的命题(也称哥德尔命题) 。
141、哥德尔指出了不可判定命题的确实存在意味着思维不可能完全被“算法地”描述，而且，在我看来，这还进一步意味着，一个足够丰富的系统所需要的真理概念不止一个。
142、我们必须注意到，表达一个形式系统中根据公理和推论规则来证明的那些真命题的真理概念完全不同于表达那些不可判定的真命题的真理概念，它们根本不是同一个真理概念，那些可证明的真命题的真理概念就是这个系统的证明方法，而那些不可判定命题的真理概念则肯定是另一个概念，应该怎样表达它，倒是一个难题，也许与理性直观有一些关系，更可能与语义性质有关(因为哥德尔命题具有与说谎者悖论类似的自相关形式:“这个属于T的命题在T中不可证”) 。
143、无论如何，它们是两个真理概念。

两元 两元纸币值多少钱一张( 七 )

两元两元纸币值多少钱一张( 七 )