非特设性——情境语义学解悖方案的重要特征

非特设性是衡量一个解悖方案是否成功的重要标志.但以往许多著名的解悖方案,包括罗素的类型论方案、塔尔斯基的语言层次理论、克里普克的真值间隙论方案,都因没有合理地解决非特设性问题而无法给出悖论问题的合理解释.美国著名逻辑学家巴威斯和艾切曼迪1987年提出的情境语义学解悖方案,则完全避免了特设性的不足,最终实现了说谎者悖论的合理解决,被看作成功地解决悖论问题的典范.     

悖论的语言结构:递归否定

悖论是逻辑学、基础数学、哲学、语言学中的重要问题,从根本上看是一个认识论问题,因此仅仅从人工语言的角度来认识悖论是不充分的,因为人工语言不能解决元语言这一根本问题。自然语言是最根本的元语言,悖论更需要从自然语言的角度来认识,尤其是从自然语言结构的递归性来认识。通常把悖论分成逻辑悖论(集合悖论)和语义悖论两大类,但这种分类界限并不严格。实际上这两类悖论从语言生成的角度看都具有递归否定的特点,因此可以用递归否定这一语言结构性质来统一语法悖论和语义悖论。罗素的类型论和塔尔斯基语义理论主要涉及产生悖论的层阶性质,不能概括悖论的递归否定性质。自然语言和形式语言都是从有限规则和有限符号到无限句子的系统,不可能避免层阶循环或递归,因此悖论的消除不可能通过类型论或元语言层阶来解决,考虑递归否定的性质是消除悖论的一个途径。     

再论说谎者悖论的消解

说谎者悖论是最典型的语义悖论,有广义和狭义之分,狭义的说谎者悖论是指基本形式的说谎者悖论,广义的说谎者悖论是指基本形式的的说谎者悖论和强化的说谎者悖论。本世纪初以来,解决悖论成了逻辑学界的一大热门课题,继罗素提出用分支类型论来解决说谎者等诘义悖论之后,又出现了许多方案。但是,对说谎者悖论的解决都是不成功的,因为它们都未抓住说谎者悖论的实质问题。本文针对说谎者悖论的实质问题,就说谎者悖论的消解作一番探讨     

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

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

逻辑悖论与固定点定理

罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案.无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型.在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果.     

罗素悖论研究进展

罗素悖论发现之后,包括罗素本人在内的众多学界精英都投入到了解决悖论的研究之中,产生了众多的解决悖论的方案,这种研究一直持续到21世纪的今天。即使在当下,关于罗素悖论的研究仍然是逻辑学界日久弥新的问题之一。从形式结构上看,罗素悖论涉及到两个关键的因素,即循环和否定。寇里悖论、沈有鼎悖论和等值悖论等给出了集合论悖论的不同形式结构,从而说明,循环和否定都不是构成集合论悖论的必要条件。莫绍揆、郑毓信、杜国平等人的研究结果证明,在保留概括原则和集合论基本定义的前提下,尝试通过修改经典二值逻辑系统、配以其他多值逻辑系统作为推理工具来避免悖论的方案是不可行的。这也恰恰可以说明,导致悖论的原因不在于逻辑系统,问题可能出在概括原则或者集合论的基本定义上。     

罗素悖论是否有解

19世纪下半叶,德国数学家康托尔提出了著名的集合理论。这一理论在数学界有着深刻的影响,其严密性得到广泛的认可。然而,1901年前后,英国哲学家、逻辑学家、数学家罗素提出了著名的罗素悖论,深深的动摇了康托尔的集合理论。为解决这一悖论,数学界、语言学界和哲学界纷纷展开了激烈的讨论,然而,迄今为止,仍然没有令人满意的完美解决方案。本文就以罗素悖论的解决问题为重点展开讨论,就不同时期关于罗素悖论解答的著名理论进行论述与分析,探讨隐藏在语言悖论后的哲学问题。     

类型相配与类型贴合

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

新逻辑主义的困境与二阶分层概括

由二阶概括公理与公理V所导致的悖论沉重地打击了弗雷格的逻辑主义。罗素的直谓方案和蒯因的分层方案分别可以看作是逻辑主义的延续。上世纪80年代兴起的新逻辑主义把皮亚诺算术建立在二阶概括公理与休谟原则的基础上。但是休谟原则遭到诸多质疑。赫克和博格斯证明了二阶直谓概括公理与公理V的一致性。然而,在遵循弗雷格关于"概念先于外延"这一哲学观点的前提下,不能从二阶直谓概括公理和公理V推出休谟原则。这种困境可以在蒯因分层方案的框架下得到解决。不仅可以证明二阶分层概括与公理V相对于蒯因NF的一致性,而且可以证明从二阶分层概括与公理V推出休谟原则。     

论罗素三个悖论的解决

解决悖论的可能的途径有两种,一种是特设的理论路线,一种是面向事物自身的非特设路线,但特设理论路线困难重重,而非特设路线的理论前景光明。由此,进一步可以对罗素的三个悖论进行真实意义上的解决,将这三个所谓悖论排除在可能的逻辑矛盾之外,从而将其从悖论的行列中去除。     

代位权行使效力的研究

关于代位权行使的效力, 有入库规则说、平等受偿说、优先受偿说等几种观点。从立法目的、法律功能、法律成本和效率、其他债权人利益的保护、中国司法解释的性质和来源来说, 中国应选择优先受偿说的观点, 赋予代位债权人优先受偿权, 建立代位权上优先受偿权的现代理念。     

论共同犯罪中止的认定标准

当前对于共同犯罪案件如何认定犯罪中止,司法机关在办理中是仁者见仁,法学人士在讨论研究中是智者见智。共同犯罪中止的认定,应以行为人自动停止犯罪并有效地阻止其他共犯利用其先前行为继续实施犯罪或防止危害结果的发生为标准。     

民国时期武术的科学化变革

作为现代武术发展史上的一个高峰,民国武术置身于当时人们追求＂科学＂的话语背景之中。以＂传统＂为特征的国术（武术）与当时的＂科学＂话语形成了较大的反差与抵牾。国术界要实现以武图强的远大抱负,国术的＂科学化＂问题首当其冲。鲁迅与陈铁生的论战围绕国术是否有提倡的必要展开,一方面为国术的科学化做了舆论上的铺垫,另一方面也促使国术界开始反思传统武术的痼疾。进而,国术界从理论和实践两个方面展开了国术科学化的改造,其实质是确立发展国术的合理性和合法性,为国术的进一步发展铺平了道路。     

行政机关违法设定许可的法律责任探析

对于行政许可违法的法律责任问题,人们往往是从行政许可实施违法的角度进行研究,而对于设定违法及其责任追究的探讨却相对薄弱。然而,行政许可设定一旦违法,其对相对人和社会公共利益的损害将会更大,因此,对许可设定的违法及其责任问题进行研究,以避免违法行政行为的发生,促进政府依法行政,不仅必要而且是非常有意义的。     

还本售房合同的法律效力分析

本文通过对案件的深刻剖析,论述了认定合同的依据、广告行为的效力、公司与股东的责任以及公司主体的混同等重要问题并提出了自己的观点。     

高校贫困生认定工作面面观

国家贫困生资助政策实施以来,对贫困生帮助很大,同时在实际运行中还存在着一些问题。本文提出贫困生认定工作仍需要进一步采取各种相关配套措施,以推动和保障贫困生资助工作更好地开展。     

论当代人文社科学术期刊编辑视野的转移

当代期刊编辑理论研究,已经逐渐淡化了对期刊本身的功能、基本属性,办刊特色等的讨论,因为编辑学的理论发展,已经解决了这些基本问题。对于人文社科学术理论刊物,现在更多的是在关注人文社会科学的编辑出版与全球化背境下当代人文社会科学发展的关联性;当代学术批评与编辑的选择性思维方式;当代学术期刊的编辑过程及编辑活动与学术评价的关系;当代网络化条件下的学术活动与编辑活动的关联研究等与文科期刊相关的更为重大的理论课题。     

提单之债的性质及其诉权的构造

在不签发提单的情况下,利他契约理论能很好地解释海上货物运输合同当事方的权利义务。但在签发提单的情况下,该理论就不敷使用。借助罗马法中的准契约理论,既能对提单下的义务转让进行合理解释,也能解决在实务中诉权的确定之难。     

从美国修订《1930年关税法》看我国外贸战略转型

2012年3月,美国参议院通过修订《1930年关税法》的法案,以便对中国、越南等“非市场经济国家”征收反补贴税。近几年,中美之间的贸易争端处于高发期,金融危机加剧了我国外贸出口中遭受的贸易摩擦。应尽快转变原有增长方式,提高产品附加值、降低对少数国家的路径依赖,开拓多元化市场、促进内外贸一体化,以实现我国外贸战略的转型升级。     

商自然人破产能力之承认与汇票持票人期前追索权的实现

根据我国现行对票据法的有权解释,商自然人可以作为汇票的付款人进行票据支付行为.但是我国新颁布的<破产法>仍然没有赋予商自然人以破产主体资格,这样势必造成商自然人作为汇票付款人.当其因经营不善等原因导致无力偿还到期债务时,汇票持票人期前追索权的行使遭遇阻碍的后果.因此赋予商自然人以破产主体资格,对于弥合法律之间衔接的漏洞.保证汇票持票人期前追索权的顺利实现,贯彻落实票据法的立法宗旨是十分必要和迫切的.