塔斯基、哥德尔与真概念的不可定义性

哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑可以通过三个方面得到消除:首先,哥德尔只能"发现"而塔斯基却能给出严格的形式证明,原因在于塔斯基提出了严格的真之定义理论。其次,这个理论同样对哥德尔的工作具有重要意义,它提供的T-语句和T-约定使得哥德尔定理的证明不必再回避使用真概念,使得语义证明成为可能。最后,塔斯基的真之定义理论还可以导出一系列不可定义性的推论,即"广义的塔斯基定理"。这些推论超出了哥德尔的发现,对于真之问题的研究有着极为重要的哲学意义。     

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真的语义学定义和逻辑后承的里程碑式的著作是对现代语义学研究最重要的贡献。塔斯基用满足和归纳的方式给出的真的递归定义,循序渐进的句法定义,语义模型的概念,逻辑真和逻辑后承的概念等一系列理论和方法构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理和思想。     

塔斯基定理的一种推广

当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征.本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于"认识论悖论"应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中.     

塔斯基的真理定义与物理论

塔斯基(Tarski)于1933年发表了他著名的真理定义,并相信该定义能够为其物理论的哲学立场服务;但费尔德(Field)批评说,塔斯基实际上所给出的真理定义并没能成功地达成这个目标.不过,费尔德同时也认为,一个部分奠基在塔斯基真理定义之上、并且是物理论者可以接受的化约性真理理论并非不可能.费尔德对于塔斯基真理定义的这些批评,在哲学家中曾经引起了许多意见不一的反应.本文的目的是想回答在这些讨论当中曾经被提出过的三个问题.首先,塔斯基实际上所给出的真理定义是不是一个物理论者可以接受的化约性定义?其次,费尔德所设想的那种可被物理论者所接受的化约性真理理论是否可能成功?最后,如果塔斯基实际上所给出的定义并不能符合物理论的化约目标,那么,一个物理论者是否便应该据此去反对塔斯基的真理定义?本文的最终结论是:这三个问题的正确答案都是否定的.     

戴维森从塔斯基那里继承了什么?——戴维森与塔斯基的“真”理论之比较

戴维森从塔斯基的Tx模式出发,得出一种基于经验的"真"理论,即由经验证据确立Tx语句的真实性,进而得出关于彻底解释的意义理论。戴维森的"真"理论不仅改变了塔斯基理论的逻辑性质,而且把塔斯基从意义到真的研究方向倒转过来,变成从真到意义的研究进路。戴维森从塔斯基那里真正继承的是"真"的初始概念,而塔斯基却误把Tx模式当作真之定义。     

塔尔斯基语义图式（T）新解

著名逻辑学家塔尔斯基在他的《形式语言中的真概念》一文中提出了一个著名的语义图式（T）：X是真的，当且仅当P。对这个语义图式（T）的内涵学界有些人作出了不同的解读，但这些解读未必舍塔氏旨意，有的甚至是对塔氏旨意的一种误解。为此，笔者从对等值式左右两边作详尽分析，对塔尔斯基语义图式（T）作了重新解读。     

真之统一多元论

塔斯基提出的作为真之定义的T模式,引发了关于"真"的收缩论和膨胀论的争论。文章提出另一种真之定义即T'模式,作为对T模式的补充,从而改进了塔斯基的语言层次论,并将真之收缩论和膨胀论统一起来。在普特南的"内在实在论"的基础上,文章对"存在"和"事实"加以界定,对"内在符合论"给以澄清,并阐明真之实用论和真之融贯论的作用及其关系,从而将真之符合论、实用论和融贯论以及收缩论和膨胀论统一起来。     

论弗雷格的"真之收缩"思想

弗雷格运用逻辑分析的方法,提出了自己独特的"真"之思想,形成了关于"真"的完整理论.在他看来,"真"不具有实体属性,不存在与客体在存在方式或存在状况的符合与对应,"真"只用来表达断定句形式中的断定力.当"5是素数"这个句子带有断定力时,真也就被表达出来,它与"5是素数是真的"表达了同样的内容.另外,他将"真"作为初始概念,认为真是不可定义的.如果对"真"进行定义,将走入"定义的循环".因为要知道什么是"真",就需要论证表象与现实的一致性,而二者的一致又依赖于"真"的定义.这种思路与做法必将导致循环定义,故弗雷格认为"真"是不可定义的.基于以上两点的分析,他再次对符合论提出批评.他认为,如果符合论对"真"的理解是正确的话,那么结论是"事实比真更为基本,应该在事实的基础上定义真",但这显然是错误的,因为我们总是通过真来确定事实,而不是通过事实来确定真.我们似乎可以在弗雷格思想中找到收缩论的雏型,因为他关于"真"的认识与收缩论在很大程度上是一致的.收缩论最重要的观点在于说"P是真的"和说"P"有相同的涵义,谓词"是真的"是多余的."真"本身是可收缩的,不带有实体性质.于是,我们可把弗雷格作为表达真之收缩观点的第一位哲学家,虽然他并不是坚定的收缩论者.     

评塔斯基的"层级论"--回归"自然语言"的解悖方案漫谈

假句(包括矛盾句)存在于语言里是合法合理的."层级"论将存有"矛盾被证"的自然语言宣判"死刑",是把人(语言使用者)的逻辑犯规归罪于语言本身,而解悖方案回归自然语言实际是对塔斯基"层级"论宣判死刑.随着研究的深入发展,逻辑悖论研究的重心自然而然转移到了"语义悖论"上来.塔斯基对"谎者"悖论的解释,以"本语句"指称或界定"本语句假",犯了"矛盾定义"的谬误,而哥德尔的理论也因跟塔斯基理论的内在联系,也可能引起我们的疑问.     

关于戴维森真理观的合理性探究

戴维森的真理观是在塔尔斯基关于形式语言的语义学真定义思想的基础上构造起来的,但又与塔尔斯基的语义学真理理论有所不同。在戴维森的真理观中,真理是作为意义的一个初始概念,语句的意义是由语句的真值条件给出,并在其中增加了两个因素;一个是时间,另一个就是说话者,使得是真的语句与被认为是真的语句相互关联。通过对戴维森真理观的探究,他的真理理论并不是一个合理的、成功的真理理论,因为他总是不能摆脱意义与真的关系中来讨论的语句的真。     

真值表方法的功能

早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定这类推理有效性的强有力的工具。考虑到真值表方法正在被愈来愈多的逻辑工作者重视,大部分新出版的普通逻辑教材已经移用了一部分真值表方法的材料,所以对真值表方法及其功能作进一步探讨、研究似很必要。     

“克雷赛尔型反思”与真理的合理分层

在面向自然语言的语义悖论研究中,反对真理分层理论的“反层级论”长期居于主流地位,但也一直受到“强化说谎者悖论”的挑战。格兰兹伯格通过构建“增强型说谎者悖论”表明,反层级论者对强化说谎者悖论的回应是无力的,对于一个真理论本身的反思结果总要由更高层级给出。他据此提出一种基于“克雷塞尔型反思”的真理分层理论。通过与塔斯基经典层级论比较分析可得,这种新层级论既可回应塔斯基经典层级论面临的困难,又可与经典逻辑相协调,其主要特色是使语境因素体现于量词辖域的转变,这可为语义悖论研究提供新的思路。     

“当然”和“可行”的语义分析(英文)

在自然语言中,当然和可行类似于必然和可能表明了两种命题模态。本文对这两类模态(其对应的模态词在形式语言中分别表示为“C”和“F”)进行语义分析。半形式地,当然算子的解释如下:公式C对主体u真当且仅当存在一个与之有联络的主体v 使得对任何与v有联络的主体w都有公式对主体w真。可行算子是当然算子的对偶。由此,定义相应的有效性概念,给出一正则系统C。同时,我们把当然算子推广为n-当然算子,引进了知性模态范畴。从而把真性模态纳入知性模态中。     

矛盾与"真"——普利斯特"真矛盾"概念解析

＂真矛盾＂概念是哲学界历来研究的主题。其核心问题是关于是＂真矛盾＂中＂真＂之内涵。而考察普利斯特的真矛盾,可以从真矛盾论的动机入手,比较＂真矛盾＂与＂亚相容性＂,获得矛盾之＂真＂与其存在性之间的关系;也可以通过塔尔斯基真理模式的语用转型,分析矛盾的＂成真＂条件,在对逻辑悖论定义的讨论之上,揭示矛盾如何为＂真＂。最终＂悖论逻辑＂这一普利斯特用来刻画＂真矛盾＂的形式装置,无法实现对＂真矛盾＂的精确刻画。     

抓住概念“五性” 深化理解概念

一、掌握概念的本源性任何概念都是在一定的物理情景中引人的,概念的引入过程包含了概念的形成、物理意义、单位、适用范围及应用条件等.如实验表明:相同体积的不同物质质量不同,这反映了物质的一种特性,物理学用密度表示这种特性,并定义为"单位体积某种物质的质量叫这种物质的密度"..又如实验表明:相同质量的不同物质温度升高相同时,所吸收的热量不同,     

实质蕴涵之我见

实质蕴涵并不违反直观。当P假时,无论P真或假,P～P都为真,这只不过是P假的强调说法;当q真时,无论p真或假,p→q都为真,这只不过是q真的强调说法;实质蕴涵分为退化的和未退化的两类,前者不能无矛盾地成为肯定前件式和否定后件式推理的前提,因而不能在推理过程中实际起作用;后者可以重新定义为p←→p∧q,即后件含蓄地包含在前件中;实质蕴涵具有普遍适用性和操作方便性。     

Viki J Ki and the foundation of the Communist Party of China

维经斯基作为中共早期党组织创建最重要的人物之一,他的初次访华对中共革命工作的展开产生了重大影响.本文试图比较全面客观地挖掘维经斯基对于中国共产党成立所发挥的重要作用.首先分析维经斯基给中共建党理论上的帮助,然后分析维经斯基在实际行动上对中共建党的贡献,最后总结维经斯基首次访华的任务和使命完成情况.     

逻辑真与逻辑推理的有效性

真的概念在逻辑学研究中有着十分重要的地位.逻辑学的任务就是探寻逻辑真理.从对逻辑真和事实真的区分入手,正确认识和把握逻辑真理,探讨逻辑真与逻辑推理的有效性.     

心理学的概念教学

任何一门科学都有它的概念体系,概念是科学的框架基础.因而,在一门学科的教学中,基本概念的教学十分重要.由于心理现象复杂多样,中师生一接触心理学教材中许多复杂抽象的概念对这门学科就望而生畏.我针对这一问题,重视了概念教学,取得了较好的效果.一、抓住定义中的关键词语分析概念.心理学概念定义的关键词语,是表述概念的内涵,揭示概念所反映的事物本质的那些词语.在简单的概念中,定义的关键词语只有一个.对此,可以先举例,后揭示定     

论奎因对塔尔斯基等值图式T的误解

众所周知,在塔尔斯基的语义真理论当中有这么一个等值图式T:X是真的,当且仅当P.对此,奎因一方面认为,图式T能够刻画我们关于非语言的"真"之前理论的"符合式"理解的旨意;但是另一方面,奎因等人也认为图式T确切地表达了语言上的"真"谓词的一种"取消力",即"去引号之方法".其实,这是对塔尔斯基等值图式T的一种曲解,它实际上成了塔尔斯基等值图式T和关于"真的"表达的等值式M的合成品.