| 塔斯基的真定义、语义学与逻辑后承 |
| |
| 引用本文： | 朱建平.塔斯基的真定义、语义学与逻辑后承[J].合肥工业大学学报(社会科学版),2014(2):42-52. |
| |
| 作者姓名： | 朱建平 |
| |
| 作者单位： | 苏州大学政治与公共管理学院,江苏苏州215123 |
| |
| 摘 要： | 塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。
|
| 关 键 词： | 塔斯基的真理定义 语义学 逻辑词汇和非逻辑词汇 |
Tarski＇s Definition of Truth,Semantics and Logical Consequence |
| |
| ZHU Jian-ping.Tarski＇s Definition of Truth,Semantics and Logical Consequence[J].Journal of Hefei University of Technology(Social Sciences),2014(2):42-52. |
| |
| Authors: | ZHU Jian-ping |
| |
| Institution: | ZHU Jian-ping (School of Politics and Public Administration, Soochow University, Suzhou 215123, China) |
| |
| Abstract: | Tarski＇s great work on truth and logical consequence is the most important contribution to modern semantics.Tarski proposes the recursive definition of truth in terms of satisfaction and induction.The step-by-step definition of logical syntax based on the semantic model,logical truth and logical consequence,is the core of contemporary semantic theories.Model-theoretic semantics,possible world semantics,Davidson＇s theories of meaning and Montague＇s intensional semantics and even logical form（LF）which is a branch of generative grammar,all incorporate Tarskian principles. |
| |
| Keywords: | Tarski＇s definition of truth semantics logical term and non-logical term |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
