2) Tarski's theory
塔斯基理论
3) Tarski
塔尔斯基
1.
The Appraisal of Tarski Theory of Truth;
对塔尔斯基真理论的评价
2.
On Quine's Misunderstanding of Tarski's Semeantic Scheme T
论奎因对塔尔斯基等值图式T的误解
3.
From Tarski s theories of truth, the article gives a brief trace of modern Logical semantics and the concept of "truth" in the theories.
本文简要描述了现代逻辑语义学形成的过程，并以塔尔斯基的真之理论为例，分析了现代逻辑语义学中对“真”这一概念的阐述。
4) Alfred Tarski (1902～1983)
塔尔斯基，A.
5) A.Tarski
塔尔斯基
1.
It is known that in A.
奎因等人认为塔尔斯基的等值图式(T)表达了语言上的"真"谓词的一种"取消力",即"去引号之方法"。
2.
In the Concept of truth in Formalized Languages,A.
著名逻辑学家塔尔斯基在他的《形式语言中的真概念》一文中提出了一个著名的语义图式(T):X是真的,当且仅当P。
6) theory of the base
塔基理论
补充资料：塔尔斯基
| 塔尔斯基（1902～1983） Tarski，Alfred 波兰数学家，逻辑学家。华沙逻辑学派的主要代表人物。1902年1月14日生于华沙 。1924年毕业于华沙大学 ，获博士学位。1926年任华沙大学讲师。从1942年起在加利福尼亚大学伯克利分校任教。1946年起任数学教授。曾为《符号逻辑学报》主持编务。塔尔斯基的研究工作涉及一般代数、测度论、集合论、数理逻辑和数学基础以及元数学等领域，其中尤以对逻辑语义学的研究引人注目。塔尔斯基认为逻辑学的学科性质类似于数学，而以这一形式出现的逻辑学，就被称为数理逻辑或符号逻辑。塔尔斯基指出：语义学悖论的成因在于自然语言的含糊性。继B.A.W.罗素分展语言论的工作发展和形成了理论语义学，开展了关于对象语言和元语言的研究方向。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条