【摘 要】
：
近百年来,数学家、逻辑学家们使用了公理集合论、类型论等方法多次重塑我们对逻辑悖论及其解决方案的理解。发现悖论与拯救悖论的过程对推动现代数学、分析哲学、语义学的发
论文部分内容阅读
近百年来,数学家、逻辑学家们使用了公理集合论、类型论等方法多次重塑我们对逻辑悖论及其解决方案的理解。发现悖论与拯救悖论的过程对推动现代数学、分析哲学、语义学的发展起到不可替代的作用。在本文中,笔者对一些逻辑悖论中的某些关键推理并没有如常规操作那样,刻意去解决或阻止;而是在分析悖论产生的过程中,探求其本质,找到悖论为我们所用的观点。如果采取更广义的逻辑和数学框架,逻辑悖论也能从“威胁论”重塑为一种极重要的资源,推动逻辑学科的发展,尤其是对高阶逻辑的应用。与类型论相比,一种无类型的集合论的目标是在不得到悖论的
其他文献
目的：探究急性出血性坏死性胰腺炎患者术后引流管护理的情况。方法选择2012年11月~2013年11月在我院接受治疗的出血性坏死性胰腺炎患者20例，对患者术后引流管进行护理，分析护理
目的探讨改良白内障超声乳化人工晶体植入联合隧道内小梁切除术、手法小切口白内障摘除人工晶体植入联合隧道内小梁切除术，治疗原发性闭角型青光眼合并白内障的两种术式效果。
专业镇是我国新时期小城镇发展的一种成功模式，是壮大县域经济的布孳途径，是县域中最具活力的经济新增长点。本文结合茂名市的实际分析了特色产业集群——专业镇的发展状况及存
原发性胆囊癌是胆道恶性肿瘤中最常见的肿瘤。因其恶性度较高，预后凶险，且不易早期发现，应受到临床医生的重视。本文回顾性分析我院近4年收治的原发性胆囊癌38例，旨在探讨其临床
随着胸腔镜技术的发展，手术日趋成熟，应用范围逐渐广泛，并且由于其创伤小、恢复快，住院时间短，为广大患者普遍接受。根据我院的具体情况，我们自1996年以来应用胸腔镜对42例肺大疱及
对牛顿法进行改进，把牛顿法和最速下降法结合，克服了牛顿法出现 Hesse 矩阵奇异或 Hesse 矩阵未必正定而导致算法失败的缺点。通过实例验证，结果证明，此种方法有更强的适用性。
中国-东盟的建立为国际商务应用型人才的培养与发展提供了广阔的平台与空间，同时也对国际商务应用型人才素质提出了新的挑战和新的要求。广西作为我国面向东盟的重要交通门户
举证责任最早源于古罗马时期，其与民事诉讼相伴而生，两者有同样源远流长的历史。1883年，德国学者尤里斯·乌格尔查在论文集《刑事诉讼导论》中将举证责任的含义作了“实质上
11月21日,2017年中南地区社科院院长联席会议在广州召开。中国社会科学院副院长张江、广东省副省长黄宁生出席开幕式并致辞。会议由广东省社会科学院院长王珺主持,中国社科院