10.3969/j.issn.1672-7835.2007.01.008
论塔斯基的语义性真概念
塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足.该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的.塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论.其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范.
塔斯基、语言分层、满足、真理
10
B81(逻辑学(论理学))
湖南省哲学社会科学基金06YB62
2007-03-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
53-58