论文部分内容阅读
在当前数学实践中，数学知识（如果有这样的知识的话）是通过在定义和公理的基础上证明定理来获得的。问题在于该怎样理解证明中所得到的东西是如何构成知识的，具体而言，即是要给出一个关于数学真理和数学知识的统一的解释，该解释能够揭示两者的内在联系。此处的困难是，根据贝纳塞拉夫的为人熟知的论证，由于塔斯基语义学认为真与对象的联系（通过单称词项或通过量词）是不可消去的，因此在数学中无法将塔斯基语义学与完整的认识论相结合：数学知识要么是通过证明得到的，这种情况下数学知识与数学对象是无关的，因此我们就无法解释数学真理；要么