1933年,塔尔斯基发表了著名论文《形式化语言中的真之概念》,在该文中塔尔斯基从否定在自然语言中定义真的可能性出发,区分了对象语言与元语言,并使用满足概念给真做了一个实质上恰当、形式上正确的真之定义,以塔尔斯基的真之定义为核心形成了塔尔斯基的真之语义理论。塔尔斯基的真之语义理论会不会是一种符合理论?符合理论面临着需要解释事实概念与符合概念的问题,也面临着解释命题与事实之间的符合关系是一一对应的关系还是其他关系的问题。我们认为塔尔斯基的真之理论解释了符合理论面临的一些问题,我们可以将他的理论视为一种符合理论。基于塔尔斯基的真之语义理论我们开展了包括真之载体、真之消去、真之悖论等与“真”这个概念相关的哲学探讨。通过相关的讨论,我们期望本书能有益于人们更好地理解当代西方哲学中“真”这个概念,并促进真之理论的研究和发展。
|