悖论与塔斯基真理定义

塔斯基真理定义的理论有两个目标：一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学（又称元逻辑）研究的是在逻辑框架（一阶和高阶数理逻辑）中理论（特别是数学理论）的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明“真理”概念可以在元逻辑中一致性地被使用。     

论塔斯基的语义性真概念

塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。     

论塔斯基的语义性真概念

塔斯基将真理概念定义为：在对泉语言O中一闭语句是真的，当且仅当，它被所有的对象序列所满足。该定义的含义是，如果将该闭语句分解成开语句后，其中的自由变元能被某些对泉序列所满足，则再将开语句合成为闭语句，其闭语句就被所有序列所满足，于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义，又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础，广泛应用与能用一阶语言所表达的科学领域中的句子集中，同时定义本身也是运用一阶逻辑对概念进行分析的典范。     

塔斯基真理论的意义

塔斯基在三十年代初提出的真理论,是逻辑语义学创立的标志,它提供了当代分析哲学界最广为接受的真理理论,给分析哲学带来了新的方法,还提出了许多引起普遍关注的问题。一、塔斯基真理论概要波兰逻辑学家、数学家塔斯基(1902—1983)早年曾是华沙学派成员。第一次世界大战后崛起的华沙学派是现代数学史上的重要流派。这一学派中以莱斯涅弗斯基和科达宾斯基为代表的一批逻辑学家,不仅在逻辑学上卓有建树,对哲学研究也颇感兴趣。与同时代的维也纳学派一样,他们推崇逻辑研究与哲学研究的结合,提倡用逻辑方法来进行哲学研究。作为华沙学派新一代的成员,塔斯基也受了这种时尚的影响。事实上,他的真理论就实现了逻辑与哲学的结合。     

逻辑句法计划与意义问题

维特根斯坦和处于前期思想阶段的卡尔纳普认为只有逻辑句法才能够确定意义关系,即逻辑数学语句的真假问题。他们认为考虑句法问题时必须脱离意义而进行,语义学是不可能的,逻辑问题就是句法问题。塔斯基语义学的建立证明他们的这一主张是错误的。但是,卡尔纳普关于逻辑句法的工作仍具有重大意义:开拓完善了形式语言的研究,区分了逻辑真与可证性概念,在哲学上完成了语言学的转向。     

真理与自然语言

波兰逻辑学家A.塔斯基的真理论对形式化理论做出了重大贡献,然而,他关于在自然语言中不可能定义真理的结论却是轻率的。本文通过分析塔斯基真理论中T等式的歧义,证明他否定自然语言一致性的论证是无效的,并指出,在自然语言中定义真理是可能的,这一定义将是采用语用学方法做出的有关特定表达式的许多局部定义的合取。     

塔斯基与弗雷格的求真方法之比较

塔斯基与弗雷格都断言真这个概念在自然语言中的不可定义性,并且都明确规定求真的论域;前者在形式系统内为真给出了“令人满意”的定义,后者区分出句子的涵义和所指(真值);真之定义构成了戴维森真值条件语义学的理论起点,句子分层则是达米特辨明条件语义学的重要来源     

论戴维森的意义理论

戴维森的意义理论以塔斯基的真理语义学为哲学基础，探索自然语言的意义和真理的关系；早期语言哲学家从词汇意义层面研究意义．戴维森则从语句层面研究语言的意义．并对其做出更为合理、更为全面的解释。文章探讨了他的意义理论的哲学基础．以及他对语言哲学研究的重要贡献。     

试论逻辑哲学的兴起及其主要论题

随着传统逻辑创立和发展到现代逻辑,对逻辑作哲学上的反思不断深入和展开。逻辑哲学作为一门独立学科,是现代逻辑迅猛发展和现代西方哲学语言转向的要求和结果。逻辑哲学的主要论题包括:逻辑范畴的界定,逻辑真理,逻辑悖论,逻辑中的本体论承诺,推理、后承与蕴涵,形式化方法的哲学考察。     

问句逻辑的三种研究方法!

#问句是日常语言中非常重要的句式结构!从逻辑角度研究问句的方法也不少!其中!博弈问句模型"推理问 句逻辑和探究语义学!代表了三种不同的研究思路# 博弈问句模型使用图表推理的方式分析涉及问句的会话!可以比较 不同提问方式的策略优劣# 推理问句逻辑有完整的语义解释和句法定义!直观地刻画了问句的推理关系# 探究语义学 在形式上与现代逻辑比较一致!可以构建带问句的逻辑系统!统一地处理命题和问题的逻辑性质#     

约根森难题与真值语义学

约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的.真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性.这种方案的问题在于它没有解决这个难题,而是绕过了它.约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念.     

逻辑和语言研究的交叉互动

逻辑和语言的研究分为句法、语义和语用几个领域.在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法.这些理论自上世纪下半叶诞生起就早现出逻辑和语言研究的交叉互动:尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新.     

塔斯基把"己过"归罪于"语言"--评两个悖论之冠:"说谎者"、"亦此亦彼"

塔斯基宣判"自然(日常)语言"死刑,是因为他发现它内含"矛盾被证".塔斯基误把自己犯的"矛盾定义"谬误"迁怒"、"归罪"于语言本身,所以塔斯基的"层级论"应被抛弃;哥德尔和塔斯基两者的理论"相通",自然也会受到质疑.     

塔尔斯基与波普尔的真理观

真理概念是哲学核心范畴之一，对于这一概念的理解，不同学派众说纷纭，主要存在着真理符合论，真理融贯论，实用主义真理论以及真理冗余论等。在逻辑哲学对于逻辑真理是否反映客观现实的讨论中，把逻辑真理与事实真理分裂开来的观点曾成为主流观点。塔尔斯基在语义学上给真理重新下了定义，认为真理的定义要满足两个条件：在实质上是适当的，在形式上是正确的。他的观点被认为是重新建立了真理符合论。波普尔支持塔尔斯基的真理概念，并在这里为自己的真理观和实在论找到了理论依据。     

真理的语义概念与语义学基础

本文讨论环绕着真理的概念,主要问题是给予这个概念以满意的定义。真理概念也就是“真理的语义学概念”。[因为]语义学是一门研究语言词语和这些词语所“述及”的对象(或“事件情况”)之间某种关系的学科。而最简单、最自然的获得正确真理定义的方法,包含了运用其它语义学概念的方法,如满足的概念等。同时为真理下定义问题,证明是跟建立理论语义学基础的一般问题有密切联系。只有依靠具有准确地说明了的结构的语言,真理定义问题才能获得确切意义,并可能严肃地解决。但问题的解决有时是肯定的,有时又是否定的。这决定于对象语言和它的元语言之间的形式关系。或者更明确地说,决定于元语言的逻辑部分是否比对象语言“本质上更丰富”。若只限于讨论以逻辑的类型理论为基础的语言,则元语言“本质上更丰富”于对象语言的条件就是前者比后者包含更高的逻辑类型中的变数。元语言满足了上述条件,真理概念就可以在其中得到说明。对于一个句子来说,如果它满足于一切对象,那就是真实的,否则就是错误的。真理定义的结论是:首先,这一定义不仅是形式上正确,而且是实质上适合。其次,可以从定义演绎出各种一般性的规律。第三,将真理原理应用于某种数学的表示广泛类属的形式化语言,则在这一类属学科里,真理的概念同可证实性概念从来不一致。每一种这样的学科是首尾一贯的,但并非完整的,即在任何两个互相矛盾的句子之间,最多只能有一个可被证实,或者虽是互相矛盾的一双句子,但其中没有人造何一个可被证实。     

塔尔斯基的真理理论及其对语义学的贡献

塔尔斯基以现代逻辑为手段,用逻辑分析和语义分析的方法对唯物主义真理符合论中甚为模糊的内容做出语义学的重新阐述,给“真的”一词下了一个实质上适当、形式上正确的定义,也提出了著名的语言层次论,创建了现代意义上的系统的语义学,从而向世人展示了语义学的非凡魅力,在世界哲学界产生了广泛而深远的影响.     

中世纪两种语义学及其现代重建

以西班牙的彼得为代表的实在论语义学和以布里丹为代表的唯名论语义学代表了中世纪逻辑领域两种不同的完整语义学。然而,它们在语义学上的不同并不在于其本体论基础或本体论承诺,而在于建构语义学的方法与思路,即范式。我们可以通过不同的逻辑策略消除实在论语义学中不必要的本体论承诺,从而在逻辑学领域实现两者的部分融合|唯名论语义理论因之可以通过副词化的手段从实在论语义学中获得。而对两种语义学合理的现代重建,既可表明唯名论与实在论的区别,又可表明唯名论语义学如何用纯粹自然逻辑的方式恰当地表达现代逻辑标准量词理论。     

波普尔的实在论

一般来说,实在论的含义比较模糊,但实在能通过真理、可检验性等概念在语义学中得到严格的规定。波普尔并没有很好地理解塔尔斯基的真理定义和语义学方法,他的第三世界理论建立在一些语义学概念的误用之上。实际上,从波普尔确认的哲学前提出发,语义学要求他应该是“内部实在论”者,而形而上学实在论却是他所信奉的先验教条。     

论确认理论主客观性的哲学分析方法

“工欲善其事,必先利其器”。哲学家要研究真理,其工具是什么呢?就是理论。这个理论,不是指一般意义上,用日常语言陈述的理论,而是指用形式语言构造的逻辑系统。其理由是,在哲学上,无论是主客观分析,还是矛盾的分析,都离不开命题真假的判断。根据塔斯基的工作,在普通语言中,     

论戴维森真之理论对自然语言意义的阐释

戴维森在塔斯基的对形式语言的真之定义基础之上引入了语言使用者,对自然语言的意义进行了阐释。尽管遭到批判,其合理性是不容置疑的。本文介绍了弗雷格和塔斯基的真之理论,着重对戴维森的真之理论的发展进行了剖析。