重指:元语言的一种属性——从悖论和哥德尔不完全性定理说起

语义悖论和哥德尔不完全性定理都和语言符号的重指有关系。重指是不同层阶语言之间的循环指称。避免重指需要在对象语言和元语言之间进行无限分层,但语言的单位和规则是有限的,元语言的层阶不允许是无限的,否则会造成无限的单位和规则。元语言的层阶划分必须有限,这是一种协调原则,这样就必然产生循环指称或重指。重指是元语言符号系统的一种性质,是悖论和形式系统不完全性得以存在的语言学条件。复杂的语言符号系统一方面促进了复杂的思维活动,另一方面也因为重指的存在使高层面的演绎推理活动存在不一致性或不完全性。     

类型相配与类型贴合

类型论的诞生源于对数学基础和逻辑理论中悖论问题的解决。上世纪六十年代末,美国逻辑学家蒙太格开创了将类型论应用于自然语言语义分析的研究方向。有关的研讨在语言学界产生了较大影响,黄师哲提出的语义类型相配论就是用类型论方法研究汉语形名结构问题的一个有益尝试。但是从类型论的角度审视,语义类型相配论除了具有仅仅适用于解释合取类形名结构的局限外,它在逻辑应用于自然语言领域的一些基本概念的理解上也存在一定偏差。     

元语言否定歧义说商榷——对以"不"为否定载体的汉语元语言否定的考察

元语言否定到底是否如Horn所言为否定的歧义?汉语元语言否定要用"不是",这似乎从跨语言的角度证实了Horn的歧义说,而实际情况并非如此.通过对汉语元语言否定的考察,发现"不是"并非汉语元语言否定特有的形式标记,"是"在此只不过是一个焦点标记.这证明Horn的元语言否定歧义论有问题,元语言否定不存在专门的形式标记.     

关于EFL课堂元语言的界定

从元语言的普遍性特征出发,EFL课堂中基于教学内容的语言为元语言,是描写和解释语言的语言、具有自然语言形式的人工语言、突显语篇特征的语言及兼顾语言知识和能力的语言。这不仅是元语言研究的重要课题,而且有助于外语课堂教学理论与实践的发展。     

论语言哲学的建构分析

自然语言（或日常语言）是自然形成的符号系统,不可能是完备的,但自然语言是最初始的元语言,认识活动不可能绕开自然语言。哲学需要一种建立在自然语言基础上的元语言。语言哲学不应该仅仅局限于对哲学命题的解构分析,更应该展开元语言的建构分析,即通过转换等语言结构分析程序建构出反映认识范畴的表达式。比如概念分类和整体切分作为不同的认识范畴,通过日常语言学派的词语用法分析不容易区分开,通过转换分析建构出表达式,可以有效地得到区分,相关的外延扩大和限制问题也能得到解释。语言哲学建构分析既要预先关注哲学中的认识范畴,也需要掌握语言结构分析程序。语言哲学和语言学应该有更深层次的结合。     

评现代西方学者对说谎者悖论的解决

说谎者悖论既是历史上最古老的悖论，又是最典型的语义悖论，被逻辑学者们普遍认为是在研究语义悖论时所致力要攻克的对象。本世纪以来，解决悖论成了逻辑学界的一大热门课题，继罗素提出用分支类型论来解决说谎者等语义悖论之后，又出现了许多新的方案。这些方案对逻辑学等科学的发展都作出了重大的贡献，但是，对说谎者悖论的解决都是不成功的，因为他们都未抓住说谎者悖论的实质问题。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

汉语量化表达式的单调推理

对自然语言量化表达式的语义分析可以从不同的角度进行,而量词的语义性质是量化表达式语义研究的基础,它在某种程度上制约着表达式的语义.因此对自然语言量词的语义性质进行分析和形式刻画是语言逻辑的一个重要内容.广义量词理论借用数学的单调性概念对英语量词的语义性质进行分析,得到了许多重要成果.汉语作为一种自然语言,有其自身特点,但也有与英语类似的语义性质.我们可以尝试从单调性定义出发,分析各种汉语量词的语义特征,然后运用集合运算证明它们的单调性,根据得出的结论分析汉语量化表达式的左元单调推理和右元单调推理,从而刻画出汉语量化表达式之间的语义关系.     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

说谎者类型悖论的自然破解————基于布里丹的语义封闭逻辑

布里丹基于指号的语义封闭理论认为,任何命题都必须以指号的方式存在,任何以指号方式存在的命题都有两种意谓,即心灵之内的意谓和心灵之外的意谓。但仅仅通过命题的意谓不能决定其真值条件,必须考虑相关的指代;而命题的真值条件由命题中各词项的联合指代决定。以此为基础,并借助纯粹的自然语言,布里丹为说谎者类型悖论的破解提供了一种具有逻辑一致性的自然破解方案。这一方案无须对对象语言与元语言进行明确区分,而仅仅需要对以自然语言表达的悖论语句进行常规的逻辑分析,这种分析方法更贴近人们的日常思维模式。     

学习而思维与先天思维语言观——从谓词与逻辑词习得谈起

杰里.福德关于先天思维语言的观点在语言哲学及心理语言学等相关领域引发了激烈争论。克里斯蒂夫.维格认为,自然语言能够比先天认知资源提供更加丰富的概念系统,因为自然语言的逻辑名词的意义是在应用中获得的。与谓词不同,逻辑/形式名词可以不通过先天表征作为中介而习得。自然语言可能比先天表征系统的逻辑结构大一些。通过学习自然语言和扩大先天表征系统,有可能进一步完善思维能力。     

"形式蕴涵"方案能解决蕴涵怪论问题吗

近年来,有学者以罗素的"形式蕴涵"为工具,对化解蕴涵怪论反例的进路又作了积极而有益的探索.但仔细分析其化解过程及方法,实难说取得了预期的成功.因为形式蕴涵在根子上就无法解决蕴涵怪论问题.蕴涵怪论的根源不在于逻辑的形式化语言,而在于实质蕴涵与日常"若,则"句差异过大的矛盾.     

法治悖论的哲学反思———以马克思早期悖论观为视角

在当代中国社会的法治建设进程中,法治悖论困扰着关于法治的理论认识与现实运行.本文运用马克思早期著作《1844年经济学哲学手稿》中表述的悖论观,展开对法治悖论的哲学反思.首先将法治悖论划分为形式逻辑层面的法治悖论与认识论层面的法治悖论,进一步分析法治悖论产生的逻辑学原因与认识论原因,以及法治悖论的逻辑学原因与认识论原因之间的内在联系,特别指出法治悖论在认识论上的启示意义,最后提出对待当代中国法治悖论的应有态度与解决之道,即应当从人的自由本质之价值元点设定出发,坚持形式法治与实质法治的辩证统一,通过法治的社会实践活动不断化解法治悖论,促进社会的发展进步与人的自由全面发展.     

“矛盾人”论——兼谈“斯密悖论”

“斯密悖论”至今仍没有得以解决；“矛盾人”观点在探讨人自身矛盾显著特征的基础上，揭示了“斯密悖论”产生的社会历史根源及其方法论缺陷；通过对人所具有的自然性与社会性、感性与理牲、善与恶、义与利等具体矛盾形式的分析研究，进一步阐明了“斯密悖论”产生的理论和方法论原因，并试图以“矛盾人”解答所谓的“斯密悖论”。     

期望状态价值准则的提出与主要决策悖论的消解

自从伯努里(Daniel Bernoulli,1738)提出圣彼得堡悖论以来,传统的期望货币价值(EMV)准则遭到了颠覆,期望效用价值(EUV)准则逐步得到确立,并在风险与不确定性决策领域长期居于主导地位。然而,EUV准则并不是一个完善的准则,不能很好地对超级圣彼得堡悖论、阿莱悖论以及Ellsberg悖论进行解释,这是比较令人失望的。结合历史分析与逻辑分析,本文提出,在风险与不确定性决策问题中,人们所关心的不是货币价值,也不是效用价值,而是状态价值。在状态量化、状态-收益函数插值等方面进行论述的基础上,对主要的决策悖论问题进行了演算,结果表明,本文提出的期望状态价值(ESV)能够成功地同时消解圣彼得堡悖论、超级圣彼得堡悖论、阿莱悖论以及Ellsberg悖论,显示了相对于EMV准则以及EUV准则的ESV准则具有新鲜的生命力,为管理过程中的决策问题提供一条新思路。     

形式语义学的历史渊源和理论框架

传统语义学认为自然语言不适合进行形式分析 ,蒙太古 (Montague)等人开创的形式语义学一反传统 ,提出“英语也是形式语言”。形式语义学的主要观点来源于逻辑学、模型理论和语言哲学 ,其基本理论框架包括广义量词、函项结构、范畴语法和组合原则等。形式语义学近年来在国外影响很大 ,本文主要介绍其起源和经典理论的基本框架     

确证悖论的认识论解

确证悖论的构造过程表明,它本质上是关于信念（假说）合理接受的认识论悖论;对其解悖史的系统考察可揭示各类代表性方案均明显依赖某些认识论因素。在充分挖掘确证悖论之认识论意蕴基础上,可通过修改主流方案所默认的逻辑上的确证等值条件,在认识论上消解确证悖论,并对这一消解给予有力辩护。     

论语言符号的内在象似性

国内外研究表明,不同的语言之间均在一定程度上存在语音、语义、功能等形式上的象似性。语言符号具有内在象似性,是不同语种群体之间交际活动得以进行的条件。从语言的起源及其演化来看,语言符号的内在象似性不仅客观存在,而且是语言竞争演化的趋势,其根本决定因素在于语言是人类认知的产物,人类认知的共性决定了语言符号的内在象似性。     

Zeno佯谬与量子Zeno效应浅析

由Zeno佯谬引出的量子Zeno效应是现代量子物理学中的一个有趣而又令人费解的问题,本文通过对Zeno佯谬以及量子Zeno效应的论证分析,探讨了在普通时间和Zeno时间层面上所表现出来的有限与无限问题.