Truth and proof.
Truth and proof.
复制标题
真相与证据。
作者：
A. Tarski
这篇文章的主题是一个古老的话题。它在现代逻辑学和哲学文献中经常被讨论，要在讨论中做出任何原创的东西并不容易。恐怕对许多读者来说，文章中提出的观点都不会显得新颖；尽管如此，我希望他们会对这些材料的编排和编织方式感兴趣。正如标题所示，我希望在这里讨论两个不同但又相关的否定概念：真理的概念和证明的概念。实际上这篇文章分为三个部分。第一节专门讨论真理的概念，第二节主要讨论证明的概念，第三节讨论这两个概念之间的关系。
T he subject of this article is an old one. It has been frequently dis cussed in modern logical and phil osophical literature, and it would not be easy to contribute anything original to the discussion. To many readers, I am afraid, none of the ideas put forward in the article will appear essentially novel ; nonetheless , I hope they may find some interest in the way the material has been arranged and knitted together. As the title indicates, I wish to discuss here two different though related no tions : the notion of truth and the notion of proof. Actually the article is divided into three sections. The first section is concerned exclusively with the notion of truth, the second deals primarily with the notion of proof, and the third is a dis cussion of the relationship between these two notions.