【摘 要】
：
数学究竟是一门纯演绎科学还是一门经验科学,抑或是"拟经验科学",对数学的学科性质的这一鉴定一直以来都是数学哲学家们所关注的中心论题.本文立足于模型论的方法即从语形和
【机 构】
：
山西大学科学技术哲学研究中心教授,山西大学科学技术哲学研究中心硕士研究生
论文部分内容阅读
数学究竟是一门纯演绎科学还是一门经验科学,抑或是"拟经验科学",对数学的学科性质的这一鉴定一直以来都是数学哲学家们所关注的中心论题.本文立足于模型论的方法即从语形和语义的关系这一崭新视角来重新审视数学的本质.一方面,通过语形学的研究说明数学有着严格的演绎性;另一方面,对语义学中语义的模型解释方法的探讨表明数学同时也渗透有现实的经验性.通过对语形和语义的融合阐释了数学既不是一门"纯演绎"科学,也不只是一门"经验科学","演绎和经验共同结合
其他文献
程益春教授认为黄褐斑病因病机主要是肝气郁结、淤血内停，治疗上以疏肝解郁、活血化瘀为法。灵活运用柴胡解郁消斑汤加减，疗效显著。
分析了神木县资源型经济的优势和劣势,提出了资源型经济转型的必要性和迫切性,进一步探讨了以优势产业为依托,统筹兼顾,协调区域经济社会发展思路和对策。
毛泽东所开创的"工农武装割据"的斗争道路,在将马克思主义理论与中国革命具体实际相结合的斗争中,以一系列的实践机制和精神风貌,使中国共产党人的革命精神发生两次历史性的
近年来,四旋翼无人机由于其灵活性,紧凑的尺寸,低成本被广泛应用于军事,民用和科研等领域,越来越多的人开始利用四旋翼无人机研究无人机飞行控制系统。目前市面上常见的四旋
我国加入WTO后，农业将面临全新的发展环境，怀化作为内陆山区的于个农业大市，如何抓住机遇，迎接挑战，加速实现向农业强市的转变，这是摆在我们面前的重大课题。
随着国内宏观经济进入新阶段,消费逐渐取代投资和出口成为拉动经济增长的主力。消费金融是指向消费者提供以消费为目的的信用贷款的新型金融服务,有利于消费者的资金融通,将
目的探讨大黄联合新斯的明足三里封闭治疗危重病患者中毒性肠麻痹的临床效果。方法将30例中毒性肠麻痹患者随机分为对照组15例和治疗组15例,治疗组在应用大黄的同时给予新斯
外来务工人员面对流入城市的有限选择,往往会因不约而同地择居方式而带来聚居性结果,并随着他们的不断流入,逐步在城市当中形成了一些异质性的社区。本文利用大样本的社会调
智能车与四旋翼飞行器相融合的导航避障系统的设计是以MK60FX512VLQ15微控制器作为智能车控制单元,STM32F767IGT作为飞行平台图像处理单元。系统首先通过四旋翼飞行器上红外
针对四旋翼无人机在风扰下实现轨迹的准确跟踪问题,提出了一种基于扩张观测器的双幂次滑模趋近率控制器(ESO-DSMC)。首先建立了带有内部扰动的动力学模型,同时将风切变模型和