塔斯基关于类演算语言的真句子定义

发布时间：2017-05-22 08:28

  本文关键词：塔斯基关于类演算语言的真句子定义，，由笔耕文化传播整理发布。

【摘要】：本文的主要内容是:首先把塔斯基定义类演算语言真句子的过程系统化,并对其中的一些问题进行探讨;然后,证明这个真句子定义具有恰当性所要求的性质;最后,针对类演算语言,在不同的真句子定义方法之间进行一些比较。 塔斯基认为,令人满意的真句子定义应该满足两个条件:(1)形式上正确:(2)实质上适当。所谓形式上正确,即遵守一般的定义规则;实质上适当,即所有(T)形等值式是该定义的逻辑后承。塔斯基发现,在一个语言内部定义该语言的“真”必然导致该语言具有语义封闭性,而对日常语言的分析已经表明,在任意一个具有语义封闭性的语言中都可以成功地构造出语义悖论,因此,形式语言的真句子定义只能在其元语言中得到。这就是著名的语言分层思想。 塔斯基严格地构造出了类演算语言,然后又构造出了类演算语言的元语言,并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。通过分析语句的结构,塔斯基发现很难直接定义出类演算语言的真概念,而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法:先采用递归方法针对语句函项定义出满足概念,然后把语句作为语句函项的特殊形式,借助于满足概念最终可以得到类演算语言的真概念定义。塔斯基得到的真概念定义是:x是类演算语言的任一语句,x为真当且仅当每一个类的无穷序列都满足x。这个定义完全满足形式正确性条件和实质适当性条件,并且由此得到的真句子类Tr是一个一致的和完全的演绎系统,这些性质使我们相信,它是一个恰当的真概念定义。 现在要定义类演算语言的真句子,一般要引进解释概念。在解释概念的基
【关键词】：塔斯基 类演算 定义 语句函项 语句 满足 真
【学位授予单位】：四川大学
【学位级别】：硕士
【学位授予年份】：2005
【分类号】：B812
【目录】：

• 引言7-11
• 第一章 真句子定义应该满足的条件11-19
• 第一节 对类演算语言的简要介绍11-12
• 第二节 实质适当性条件12-14
• 第三节 形式正确性条件14-19
• 第二章 类演算语言及其元语言的构造19-30
• 第一节 元语言的构造19-22
• 第二节 类演算语言的构造22-30
• 第三章 真句子定义的实现30-34
• 第四章 真句子定义的性质34-43
• 第一节 对实质适当性条件和形式正确性条件的满足34-35
• 第二节 Tr是一个一致且完全的演绎系统35-43
• 第五章 评论部分43-50
• 参考文献50-53
• 致谢53-54
• 声明54

【相似文献】

中国重要会议论文全文数据库 前8条

1 图·乌力吉;;论“空”概念的逻辑实质[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 黄展骥;;略评“层级”、“三值”、“间隙”、“情景”诸方案——“自涉”悖论杂谈[A];2003年逻辑研究专辑[C];2003年

3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

4 苏新春;;元语言研究的三种理解及释义型元语言研究评述[A];第三届全国语言文字应用学术研讨会论文集[C];2004年

5 张铁声;;典型悖论之统一消解原理:证伪预设——悖论研究的误区与爱因斯坦的启示[A];2005年逻辑研究专辑[C];2005年

6 黄展骥;;说谎者悖论的“歧解”和“消解”——逻辑、辩证两派“矛盾观”千古之论争![A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

7 张力锋;;一阶量词的逻辑哲学考察[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

8 俞颖杰;;达米特论指称和涵义[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

中国重要报纸全文数据库 前10条

1 留美遗传学硕士 游识猷;交友还需基因批准[N];东方早报;2011年

2 北京大学医学人文研究院 张大庆　王一方;别让医学背上罪恶的枷锁[N];健康报;2010年

3 本刊记者 王辉 编译;NBA头号经纪人戴维·福克二十年沉浮[N];市场报;2002年

4 记者 茹晴;美专家断言转基因作物安全[N];中国经济时报;2001年

5 辛望旦;悖论的意义与理性形式的演化[N];社会科学报;2000年

6 沈敏;“美国民权运动之母”走了[N];新华每日电讯;2005年

7 记者 王薇　杨晴川 李良勇;奥巴马就职典礼定主题：“重续美国承诺”[N];新华每日电讯;2008年

8 复旦大学当代国外马克思主义研究中心 俞吾金;“人一次也不能踏进同一条河流”吗[N];中国社会科学报;2010年

9 邓玉山;阻挠私刑立法数十年，美参院终于致歉[N];新华每日电讯;2005年

10 杨子岩;强权就能忽视人权？[N];人民日报海外版;2011年

中国博士学位论文全文数据库 前1条

1 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年

中国硕士学位论文全文数据库 前10条

1 李主斌;塔斯基：语义性真理论与符合论[D];复旦大学;2010年

2 琚凤魁;塔斯基关于类演算语言的真句子定义[D];四川大学;2005年

3 李娟;塔斯基的真语义理论[D];黑龙江大学;2012年

4 张娟;塔斯基真之语义理论述评[D];中国政法大学;2009年

5 陆晓娟;塔斯基的真理论语义学及其意义[D];苏州大学;2007年

6 张方成;部分相干光在湍流大气中传输的偏振度变化研究[D];西安理工大学;2008年

7 林伟;悖论探究[D];复旦大学;2009年

8 孙琳琳;戴维森意义理论研究[D];苏州大学;2010年

9 张文琴;克里普克解悖方案研究[D];华东师范大学;2007年

10 翟鹏;理解的条件[D];山西大学;2008年

  本文关键词：塔斯基关于类演算语言的真句子定义，由笔耕文化传播整理发布。

本文编号：385061