第一编 数学和符号真实

真实性研究的第一步，是证明纯符号系统的真实性存在。纯符号的真实性原本应该是在人生活的自然语言世界中发现的，但自然语言离不开指涉对象，用自然语言证明纯符号的真实性困难重重。为此，我们不得不转向纯数学。

本编从自然数的皮亚诺-戴德金结构出发，提出自然数是普遍可重复受控实验的符号结构。然后，通过集合论选择公理的分析发现：数学的基础之所以是集合论，是因为数学本身就是普遍可重复的受控实验及其各个环节的符号表述。一旦将上述发现引向概率和统计数学，我们就可以从数学走向哲学。

为了寻找一种允许纯符号系统本身为真的新哲学，我从讨论什么是符号出发，重新定义经验及其可靠性，并指出经验的真实性就是其可靠性。我还进一步指出，用真实的符号结构来表达可靠的经验，让符号结构符合经验结构是远远不够的，我们必须去建立横跨科学经验世界和数学符号世界的拱桥。这是一个具有双重结构的符号系统。