【摘 要】
：
逻辑的形式化是对自然语言推理的程式化、模式化、符号化,其实质是精确化、抽象化.抽象化到一定界限,它会脱离自然语言实际.实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑
论文部分内容阅读
逻辑的形式化是对自然语言推理的程式化、模式化、符号化,其实质是精确化、抽象化.抽象化到一定界限,它会脱离自然语言实际.实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论,都是抽象化、形式化的结果.要消除这些悖论,摆脱形式化的困境,就要由抽象回到具体,回归自然语言,研究自然语言概念、命题及推理的具体用法.
其他文献
16、17世纪耶稣会保教权下的葡萄牙王室因各方因素导致日本传教的葡萄牙耶稣会因传教经费问题陷入困境。
云计算的安全问题是云计算技术的核心问题之一。近年来，针对云计算中用户访问的安全问题提出了多个安全认证方案。但是，这些方案大都存在安全漏洞、流程复杂等缺陷，因此不适用于
摘要：苏轼不仅是一代文豪，更是一个具有宏阔哲理思想和学说的思想大家，正是通过对性命之理的阐扬与体味，对水的特殊哲学观照，来获取柔外中刚、睿智圆融的生命智慧。他直道而行又善处人生，坚韧刚毅又洒脱飘逸，这种人格精神和魅力，使他能够游弋于现实人生和审美化的艺术人生之中，诗意地栖居。 关键词：苏轼;人格精神; 哲学内涵 一、穷理尽性、性命自得——睿智圆融的生命境界 “余以为知命者，必尽人事，然后理足
摘要：本文介绍高校图书馆的现状，阐述了高校图书馆开展信息服务的优势，提出提高高校图书馆信息服务水平的措施。如何在改革开放大潮中坚持和发展下去，走出困境，提高自身发展、自我完善的能力，其有效途径是创办高校图书馆的信息服务业。 关键词：高校图书馆;信息服务;优势;对策 高校既是信息的生产者，又是信息的利用者，既为本校服务，又对社会开放，依靠学校本身具有的强大科研力量、先进实验设备和完善的文献信息资
摘要：中国历史文化悠久、源远流长。文博类电视节目的兴起根源在于人类文化遗产保护理念的觉醒。随着中央电视台《国家宝藏》等的热播，电视文博节目又重新回到了中国观众的视野，引起了荧屏内外热切的关注，同时也将随着观众知识水平与审美趣味的提高而更具市场，此类节目的模式形态正随着时代的进步而更加多样。 关键词：文博类节目;创新;策略 引言 文化类节目以文化知识为传播内容，注重节目的原创性。其宗旨是向大众
随着当代科学技术的飞速发展,有些学者提出马克思主义认识论已过时、落伍了,并认为指导我们探索世界的科学应是认知科学.本文从几个方面对马克思主义认识论和认知科学进行比
软件工程经历了几十年的发展，总结了许多优秀的软件开发方法。针对目前软件需求的发展趋势，采用基于UML的面向对象的建模方法对应用系统的开发过程进行建模，在很大程度上加强了
梅清晚期的时候,绝大多数的作品都是描绘黄山奇景。他笔下的黄山险峻峭拔,奇松坚韧不拔,烟云似见飞见。本文通过介绍梅清所画黄山的作品,分析他笔下黄山的独特风格、用笔手法
为了研究地铁大直径盾构穿越北京机场高架桥的风险控制技术,通过数值模拟软件建立大直径盾构穿越机场高架桥有限元模型;对比分析不同的桥梁加固方案,得出最优的加固措施,并通
随着移动互联网、物联网、大数据等新兴互联网技术与应用的兴起，互联网的边界与环境正在发生显著的变化，改变了以往网络连接、数据存放、流动和交互的方式。针对这些新的复杂的