本网讯（哲学学院 孟星星）近日，哲学学院赵震副教授在国际期刊Journal of Logic, Language and Information上发表文章“An Update of Tarski: Two Usages of the Word ‘True’”。该刊是欧洲逻辑、语言与信息协会（European Association for Logic, Language and Information）会刊，同时被SCI和A&HCI收录，是逻辑学国际著名期刊，在SCIMAGO期刊排名中长期处于Q1。该刊为季刊，全年发文量不超过30篇。
该文指出国内外对“真”理论的研究大都是建立在把“真”处理为谓词的基础上的，少数学者考虑到“真”的算子用法，但也是把算子用法等价于谓词用法。文章通过研究分析指出“真”谓词和“真”算子是“真”的两种不同用法，它们只是部分等价，并非完全等价。T-模式是“真”算子的模式，而非“真”谓词的模式。本文构造了一个同时包含“真”谓词和“真”算子的形式系统，给出相应的二值语义，为“真”谓词和“真”算子提供了一致的模型解释。另外，在此系统中证明了经典逻辑的定理都是有效的，由此保留了经典逻辑的推理能力。同时，在此形式语言中可以通过“真”算子来刻画其自身的语义，由此保留了通常的表达力，但又不会出现真理论悖论，是一种新的真理论。