悖论与塔斯基真理定义

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

论塔斯基的语义性真概念

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

论塔斯基的语义性真概念

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

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

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

真值定义与非真值定义--兼论逻辑概念的定义中所存在的问题

逻辑概念的定义中存在着严重的定义不清的问题。造成这个问题的原因在于下定义时,无视或不顾概念所反映的事物客观存在着的截然相反的两种状态或不尽相同的多种状态,而只是考虑了其中的一种状态。为此,本文主张区别真值定义和非真值定义:在下定义时,应该首先采用非真值定义,在一般定义上对概念予以界定;如果需要,再采用真值定义,对概念的正确与否予以区别,从而保证所下的定义能够如实、全面地反映概念的各种情况。     

传统逻辑与现代逻辑的定义理论比较

首先，本文通过分析以亚里士多德和康德为代表的传统定义理论，总结出了它们的四个特点，指出：由于传统理论限于从认识论的角度研究定义问题，它提出的定义类型是不全面的，应用范围有限。其次，分析了罗素、怀特海和卡尔纳普的定义理论，讨论了现代逻辑在定义理论方面的新贡献，据此总结出现代定义理论的四个特点。最后，本文对传统定义理论与现代定义理论作了比较和综合，提出了一种新的定义分类理论，涵盖了１２种定义方式，并讨论了分类的完备性。     

语言构造机制的逻辑语义学研究

自然语言的计算机信息处理要求电脑对人脑构造或理解语言的机制进行模拟,这种模拟首先需要逻辑语义学对语言构造机制的先期研究。简言之,语言构造机制显示出两个特征：1.有穷多的词条作为出发点;2.依据有穷多规则去构造和理解无穷多的语句。多年来,逻辑语义学各分支不同程度地描述了语言构造机制的两个特征,但对其中特征1的刻画却不充分,而语言学对此却有不俗的表现。于是逻辑语义学和语言学形成互补局面,“互补”产生了组合范畴语法CCG。本文揭示了CCG对语言构造机制两个特征的兼容并举,从而展示逻辑语义学在理论上对电脑模拟人脑构造语言机制工作的指导作用。     

关于逻辑语义学的句法系统

逻辑语义学的核心任务是探索自然语言语义的组合原则。逻辑语义学认为,语义不是孤立的,语义与句法之间具有同构关系,采取什么样的句法理论往往决定了语义系统的本质和刻画精度。在过去近半个世纪时间里,逻辑语义学家越来越关注如何吸纳和借鉴当代句法学的理论成就为己所用。Heim和Kratzer等人在生成树上构造的语义系统、Steedman在CCG框架下进行的词汇主义转换以及我们对助动词有的讨论都是这方面有益的尝试。     

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

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

汉语词汇语义学的重建与完善

20 0 4年 6月 2 6日至 2 8日 ,由中国语言学会和香港大学中文系联合主办、宁夏大学人文学院承办的中国语言学会第十二届学术年会暨第二届国际中国语文学术研讨会在银川隆重召开。香港科技大学丁邦新教授、北京师范大学王宁教授、中央民族大学戴庆厦教授、东京大学平山久雄教授、中国社会科学院沈家煊教授在大会上作了精彩的学术报告。大会会务组和宁夏大学学术期刊中心将五位教授的报告录音整理成文 ,摘要刊发 ,以飨读者。王宁、戴庆厦、平山久雄、沈家煊四位教授的整理稿已经本人审阅修改 ;丁邦新教授的整理稿因暂时无法联系 ,未经本人审阅 ,不当之处由整理者负责     

后蒙塔古语义学的理论发展——兼评福克斯和拉平的内涵语义学

在简述后蒙塔古内涵语义学基本特征的基础上,通过概述福克斯和拉平的内涵语义学思想,尤其是通过强调他们对蒙塔古内涵语义学主要局限性的一种根本性修正和整体的重新设计,从而描述了当代内涵语义学理论发展的最新趋势以及语义学理论发展的内在关联。     

哲学的逻辑表达与逻辑的哲学分析--从概念、定义与命题理论看莱布尼兹的逻辑哲学观

本文重点阐述了莱布尼兹的逻辑哲学思想,分析了他的逻辑学对他的形而上学的意义,指出了泛逻辑主义解释的局限,探讨了他的概念理论、定义理论和命题理论的基本内容及其对逻辑哲学的贡献.     

逻辑学、语言学与信息科学--论自然语言逻辑的学科性质

本文在解释何谓自然语言逻辑的基础上,从“自然语言逻辑是逻辑学和语言学交互作用的产物”和“自然语言逻辑是逻辑学顺应信息时代发展的产物”两个方面,来论述逻辑学与语言学和信息科学的关系和自然语言逻辑的学科性质,并对自然语言逻辑的研究概况作一简明的描述。     

非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑全能的控制。     

非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息，但是却不会得出“任意结论”。SI仍有完全逻辑全能，但是在一定程度上实现了对逻辑全能的控制。     

从真理的本质特性看逻辑真理与事实真理

本文通过真理本质特性的认识来分析逻辑真理和事实真理的实质内涵,阐述逻辑真理与事实真理之间区分的相对性和对客观事物规律反映的一致性。