摘要
真的概念在哲学、逻辑学研究中有着十分重要的地位。塔斯基从语义学的角度对真进行了定义:对象语言O中一个闭语句是真的,当且仅当它被所有的序列所满足。对这一定义进行具体解读,分析塔斯基真理理论所提出的"真"定义的实质适当性条件和形式正确性条件,然后分析塔斯基定义‘真’的具体步骤。
This concept of truth has a very important status in the study of philosophy and logic. Tarski has defined the truth from the perspective of semantics: a closed statement of the object language O is true if and only if it is satisfied by all the sequences.This paper carried out a specific interpretation of this definition, the first part analyses the substantive appropriateness conditions and the formal correctness conditions of the definition of truth which proposed by Tarski's truth theory,the second part analyses the specific steps of truth which defined by Tarski,the last part made some thinking of Tarski's truth theory which based on my own un- derstanding.
出处
《贵州工程应用技术学院学报》
2015年第1期44-50,共7页
Journal of Guizhou University Of Engineering Science
关键词
对象语言
元语言
满足
真
Object Language
Meta Language
Satisfaction
Truth