【摘 要】
:
塔斯基关于“真”的语义理论是对“真”概念的精确分析,该理论包括一系列概念和思想,如一些语义学概念、语言层次理论,以及真之不可定义性定理等等,它们在真之语义定义的构建过程中必不可少。关于真的语义定义不是对“真”这一概念进行普遍意义上的定义,而是在实质适当性、形式正确性等限制性条件之下构建的。 本文以塔斯基关于“真”的语义理论为研究对象,对其进行介绍、分析和评论。塔斯基在1933年发表了重要的语义学
论文部分内容阅读
塔斯基关于“真”的语义理论是对“真”概念的精确分析,该理论包括一系列概念和思想,如一些语义学概念、语言层次理论,以及真之不可定义性定理等等,它们在真之语义定义的构建过程中必不可少。关于真的语义定义不是对“真”这一概念进行普遍意义上的定义,而是在实质适当性、形式正确性等限制性条件之下构建的。
本文以塔斯基关于“真”的语义理论为研究对象,对其进行介绍、分析和评论。塔斯基在1933年发表了重要的语义学著作《形式化语言中的真概念》,对真句子概念进行分析,讨论了“真句子”的定义所应满足的标准,并对一些特定的形式化语言给出了该定义的几个例子。塔斯基完成了两项任务:其一,证明了确实存在令人满意的、适合于一系列形式化语言的“真句子”定义,其二,说明对于一个给定形式语言,一个真正令人满意的定义的“真句子”应该是什么。塔斯基语义理论建立在现代数理逻辑的许多重要成果之上,本文首先介绍其产生的理论背景,表明塔斯基的语义思想有着一个循序渐进的发展过程。本文主体部分则依据塔斯基《形式化语言中的真概念》的文本,对塔斯基的语义理论的构建进行阐述和分析。他对以“真”为首的语义学概念在不同的语言--类演算语言和有限序语言中分别进行了考察。文章最后一部分主要论述塔斯基语义理论的价值,并阐述了这一理论对逻辑语义学的影响。
其他文献
人类为了生存,必须从外界摄取食物,因此,自人类诞生以来就有了对饮食知识的探索,积累起朴素的饮食观念。作为一门学科,营养学是以十八世纪法国“化学革命”和道尔顿“原子论”为理论起点的,到二十世纪三十年代发展为独立学科。 本文首先通过对营养学历史的追溯,梳理出营养学的两条发展进路,一是在十八世纪的“化学革命”中,科学家运用化学分析方法,从关注氮元素开始,发现了蛋白质,以后不断发现其他重要营养素;二是对
二十世纪五、六十年代,在全球生态危机的大背景下,各种生态运动逐渐兴起,流派纷呈的生态思想和生态伦理纷纷主张建立人与自然和谐的生态关系。科布的生态神学在这种环境大背景下应运而生,他主张在根本上转变人类思考模式与生存模式,成为生态运动深化的必然。 科布的生态神学,以怀特海的过程哲学为基础,采用哲学神学进路,反思基督教神学的特点,从终极超越的角度,阐释了不同于以往的上帝观,并且在宇宙论、人论等方面都有
波爱修斯生活在古希腊与罗马两个世界的过渡时期,他为古代和中世纪搭建了一座桥梁。可是,这样一位重要的人物却被现代大多数学者所忽视,尤其是他的“四艺”理论被认为不具有原创性而没有研究的价值。本文作者不支持这种观点。首先,波爱修斯“四艺”理论是把古希腊的相关著作按照适合拉丁世界人们的方式进行翻译和注释,保留了古希腊关于算术、音乐、几何学和天文学四门数学学科中的精华,使古典文化得以传承。其次,波爱修斯“四
哲学问题往往起源于具体的生活情景。在具体的情景中,哲学问题才有恰当的意义。脱离了具体的情景谈论哲学问题,使得哲学家误入歧途。这种迷误类似一个人企图在一个房间中寻找世界,但事实恰恰相反:房间处于世界之中,而非世界处于房间之中。当将哲学问题置入具体的情景时,哲学问题呈现出其自然平凡的面貌,哲学困惑得以消解。 论文主要致力于在具体的情景中考察三个基本的哲学问题:外部世界的存在问题、归纳问题、同一性判断
中国传统哲学一直都很注重对人的心性的研究,自孟子阐发心性,开出心学伦理的基本框架,到南宋时期陆九渊的“本心之善”、明代王阳明的“致良知”,“陆王心学”作为一支重要的学派诞生了。本文在阅读大量古籍、史料的基础上,提炼出一个贯穿陆王心学思想体系的重要道德修养方法--“减损论”,即内求式的道德修养思路和路线。这相对于程朱格致之学外求式的修养路线无疑是一个突破和创新。在有关道德修养的理论前提、道德修养的路
爱比克泰德是罗马帝国时代的著名的斯多亚学者之一。他继承了斯多亚前辈关于神的观点,将其理解为一种普遍法则,或是一种普遍的理性。同时,爱比克泰德为这一理论增添了新的内容,那就是把普遍法则赋予人类的理性看作是一种在人的权能之内的能力,即一种知道如何正确运用表象的能力。正是这种能力使得人类能够按照自己的意志来选择生活的道路--善或者恶的道路。这篇文章的主要内容即是对这一能力进行分析研究,并且试图澄清这一能
亚里士多德的友爱在古希腊是指两个人感情亲密地共同生活、相互间一贯处于意愿而主动地为对方做事情的关系。所以希腊语友爱的涵义要比英文的友谊的概念宽泛的多。友爱不单指家庭之外的任何亲密的关系,而且还包括家庭内部的一切亲密的关系。(如父母和孩子、孩子和父母间的感情,兄弟姐妹间的关系,夫妻间的关系)。在古希腊,友爱做为两个人之间以及城邦生活的联系纽带,同时存在于特定的共同体当中。 相反者的友爱就是城邦共同
什么是政府权力的正当性基础,这是一个久远的话题。政府权力的正当性问题,首先是个历史概念,不同历史文化,不同传统政治,对政府权力正当性解释不同。从古希腊至善的自然法则到中世纪的君权神授再到近代霍布斯、卢梭的社会契约观,都在为他们各自时代的政府权力寻找着某种正当性基础;也正是这种时代性性质使得它同时也成为一个值得不断讨论的话题,因为政府权力的正当性基础问题,随着人类社会的发展变化,其立足点或者其视角出
狭义相对论自爱因斯坦在1905年提出以来,就受到很多人的批评,人们质疑它的根本原因是对狭义相对论的不理解。因此,本文选择了一种更为清晰明了的方法来研究狭义相对论,即:在一阶逻辑的框架下研究狭义相对论。国际学者H.Reichenbach首先把一阶逻辑和时空理论的基础联系起来,通过这种理性的方法介绍刻画狭义相对论理论的一阶逻辑公理系统。 首先,本文引入关于狭义相对论的一阶逻辑公理系统:Specrel
动态认知逻辑是在认知逻辑的基础上,增加了动态行为算子,认知算子和动态行为算子共同起作用,从而对信息及信息变化进行形式化处理的逻辑理论。 1989年,普莱赞(Plaza)建立了第一个动态认知逻辑--公开宣告逻辑(PulicAnnouncement Logic),以后的许多动态认知逻辑都是以公开宣告逻辑为基础进行扩充得到的。 公开宣告是一种比较简单的认知行为,它是向所有的主体传达同样的信息,从而引