标题：形式论的断代与当代符号学的科学化

Yu先生，这个问题分两个层面。

一是中国科学技术是否因为符号形式思想的缺失而受损害，我认为如此。

我举过一个例子：祖冲之算出“圆周盈数”为“三丈一尺四寸一分五厘九毫二秒七忽”。

这个成就是惊人的，但是这个表达方法是比喻（以直径为一丈），而不是提述可重复操作的，用符号表达的比例。

这有什么实质性的影响吗？有，数学式思维被具体化了。

二是“符号学界与计算机领域的专家合作”。

应该吗？绝对应该。实际上分析哲学与人工智能的结合（例如塞尔的“中文房间”论）已经在召唤符号学介入。

世界符号学运动在等待有志者。

形式论就是不考虑“事物状态”的个别性的研究，从而具有普适的可操作性。

抄一段：（括号是皮尔斯文集卷数）

皮尔斯认为，数学是最纯粹和最典型的形式科学，原因在于数学是“得出必然结论的科学”（CP4.229），而无须牵涉到所研究问题的实际状态（CP4.232）。

例如，数学显示哪些特征是等腰三角形成立的必要条件，进而揭示从这些特征中可以推断或派生出什么结果，而不必考虑在某种意义上是否实际存在着等腰三角形。

按照皮尔斯的看法，“数学形式是这样表现事物的状态：只表现事物状态中的相同点和多样性，而不必对具有相同点和多样性的对象做出确切的限定”（CP5.550）。