【摘 要】
：
逻辑和数学之间的联系是异常紧密的。出现于弗雷格、罗素、哥德尔和塔斯基著作中的经典逻辑,其主要目的并不是给出判断一个统一的说明,也不是为了处理自然语言中的量词问题,
论文部分内容阅读
逻辑和数学之间的联系是异常紧密的。出现于弗雷格、罗素、哥德尔和塔斯基著作中的经典逻辑,其主要目的并不是给出判断一个统一的说明,也不是为了处理自然语言中的量词问题,也不是为了消除自然语言的模糊性,它的目的是数学性的。从演算和它的严格性的发展,到集合论的悖论,逻辑的目的在于概念的澄清,是使得在数学中的演绎有效的形式变得明确。这就决定了自现代逻辑诞生的那一天起,逻辑便和数学产生了千丝万缕的联系,问题在于如何确切地说明逻辑和数学是怎样的一种联系。
其他文献
美国、欧盟等世界主要经济体经济复苏乏力甚至有陷入二次衰退的风险。自1975年中泰两国建交以来,中泰经贸关系在货物贸易、服务贸易、双边投资等方面都取得了空前、长足的发
POCT(point of caretesting)作为检验医学中最具革命性的新领域越来越受到人们的关注和重视。本文简要介绍了POCT的产生背景、特点、技术、应用、管理、控制及发展前景。
运用文献法对国内外第二语言学习策略进行了梳理,对其内涵、分类、实证研究及学习策略培训方法进行了详细地综述。这对第二语言教授者、学习者,第二语言学习策略研究者都给予
提高专业学位研究生的就业能力是专业学位研究生培养的重要目标之一。基于积极心理学的相关理论,本文探讨了专业学位研究生自我职业管理与就业能力的关系,以及实习旺盛感的中
在分析空间数据库中长事务的基础上提出一种基于中间件技术的多策略长事务并发控制方法,较好地解决了空间数据库中并发控制的问题,有效地提高了空间数据库的性能,而且实现方
针对后装压缩式垃圾车上增加翻料机构的要求提出了一种解决液压系统改装的原理方案.
<正> 例1,男性,60岁。患慢性肺心病10余年,曾多次住院治疗,末次住院时病人高度浮肿,化验血浆总蛋白45g/L,白蛋白20g/L,经分析病人有明显的蛋白质缺乏,即静脉滴注水解蛋白250m
随着我国社会的不断发展以及经济和科技的不断提高我国化工企业的数量也在不断的增加。对于其他企业来说,化工企业在进行生产的过程当中存在着很多的安全和风险,想要做好化工
作为提升国家软实力的重要手段,文化产业已经被列入我国发展战略中,而通过高新技术创新和应用来推动我国文化产业新业态的培育和发展,也受到人们越来越多的关注和重视。本文
近几年来中国房地产业发展迅速,规模逐年扩大,房地产繁荣导致的部分地区商品住房价格高居不下、房价泡沫等影响,因此,政府需要加强调控和引导,借用市场手段和必要的行政手段