《形式化语言中的真理概念》( The concept of truth in formalised langages )是波兰数学家、逻辑学家塔斯基( Alfred Tarski, 1902— 1983 )于 1933 年发表的文章,旨在提出关于 “ 真理 ” ( Truth )的语义学定义,对现代逻辑和许多当代语言哲学产生了重要影响。 一,《形式化语言中的真理概 ...
著名的 “ 哥德尔不完全性定理 ”是在其论文 《论数学原理及相关系统的形式上不可判定的命题 I 》( On Formally Undecidable Propositions of Principia Mathematica and Related Systems I ) 中提出的, 该论文于 1930 年 11 月 17 日提交,最初以德文发表在 1931 年的《数学月刊》上,现有几个 ...