今天跟Claude的debate。我的观点是，自然语言的语义和形式语言的语义是两回事。前者只是一个拐杖，我们为了学习和理解语言和熟悉使用语言时，我们给词语分配一个部分等价的描述。但最终是要形成语言直觉。但是形式化语言里的meaning，它是个严格的数学结构，承载数学特性，以方便我们用严格的方式分析目标语言的特性和使用。请 @YX_semanticist 向老师举铁之余抽空来批判。