【数理逻辑中的真概念郝兆宽】.pdf
目录 0导言形式语言中的真概念 1概述语句逻辑语言L。中的真概念 1一阶逻辑语言L中的真概念 1一阶算术语言LAr中的真概念 2评论 2真的定义的产生 2真的语义学定义的影响 2有关哲学方面的评述 参考文献 致谢
理逻辑的重要意义。如果语形中的定理完全是与语义的真语句相同的概念,则这个语义的真概 念就会是多余的,至少,不会有如此重要的地位,因此,在介绍真概念和完全性问题二者之一 时,都应该涉及另一者。而以往对Tarski对真的定义的介绍往往忽视了这一点,这就不能讲清 1形式语言中的真概念 1概述 1关于真的概念,从逻辑的角度主要关心以下三个问题:(ii)是否存在一种机械的方法判断任一语句是否是符合以上定义的真语句？即真的判 定问题(ii)基于一种形式语言L上的理论是否包含了L中的所有真语句(由(i)中定义所确定 的)？即完全性问题。