1933年,塔爾斯基發(fā)表了著名論文《形式化語言中的真之概念》,在該文中塔爾斯基從否定在自然語言中定義真的可能性出發(fā),區(qū)分了對象語言與元語言,并使用滿足概念給真做了一個實質(zhì)上恰當(dāng)、形式上正確的真之定義,以塔爾斯基的真之定義為核心形成了塔爾斯基的真之語義理論。塔爾斯基的真之語義理論會不會是一種符合理論?符合理論面臨著需要解釋事實概念與符合概念的問題,也面臨著解釋命題與事實之間的符合關(guān)系是一一對應(yīng)的關(guān)系還是其他關(guān)系的問題。我們認(rèn)為塔爾斯基的真之理論解釋了符合理論面臨的一些問題,我們可以將他的理論視為一種符合理論;谒査够恼嬷Z義理論我們開展了包括真之載體、真之消去、真之悖論等與“真”這個概念相關(guān)的哲學(xué)探討。通過相關(guān)的討論,我們期望本書能有益于人們更好地理解當(dāng)代西方哲學(xué)中“真”這個概念,并促進(jìn)真之理論的研究和發(fā)展。
|