【摘 要】
:
逻辑主义认为数学是逻辑的一部分,但是要清楚地界定这一论题的涵义并不容易。因为该论题是否成立以及在何种范围内成立涉及诸多相关问题。例如,就弗雷格而言,这是一个与一阶和二
论文部分内容阅读
逻辑主义认为数学是逻辑的一部分,但是要清楚地界定这一论题的涵义并不容易。因为该论题是否成立以及在何种范围内成立涉及诸多相关问题。例如,就弗雷格而言,这是一个与一阶和二阶逻辑有关的问题;就罗素和怀特海而言,这是一个与类型论有关的问题;就策梅洛和富兰克林而言,这是一个与集合论有关的问题。而如果仅从一阶和二阶逻辑的观点考察逻辑主义的最小预设和它的逻辑后承,或许能够获知对逻辑主义更清晰和精确的理解。
其他文献
着重介绍了东京地铁建设过程中严谨的规划设计、先进的施工技术、现代化的运营管理系统、完备的防灾减灾措施以及注重细节的人性化设计,对我国城市轨道交通建设提供参考与借
<正>1.溶蚀速度的试验及计算 碳酸盐岩的溶蚀速度常被用来比较不同地区的溶蚀强度。由于它们的计算方法不同,争论也多。目前应用最多的是柯贝尔(Corbel 1959)提出的水硬度计
从扁果绞股蓝(Gynostemma compressum X. X. Chen et D. R. Liang)中分离出四个皂甙,经光谱及化学方法鉴定了它们的化学结构,分别命名为扁果绞股蓝皂甙Ⅰ~Ⅳ(gycomoside Ⅰ~Ⅳ)
<正>一、两国议会的主要特点自1955年开始,丹麦采用一院制议会制度,议会由179名议员组成,任期4年。但与其他北欧国家不同的是,丹麦议会很少能任期届满,自1971年以来,平均每届
昨天,中国消费者协会发布《农村集贸市场调查体验“回头看”报告》。通过对2018年调查体验得分排名相对靠后的60个农村集贸市场开展“回头看”的体验调查,结果并不令人乐观,多数
建筑工程中水泥混凝土的广泛应用,同时对水泥混凝土的质量要求也越来越高,水泥是水泥混凝土中的重要组成部分,因此我们应该重视对水泥质量的检测。本文从人员、材料、设备、
概述了近十年来美国LOVA发射药发展特点、水平和今后的动向。预计在20世纪最后几年将大量装备应用LOVA发射药。
超高分子量聚乙烯(UHMWPE)无纬布是制作软质防弹衣的主要材料。首先通过实验研究了UHMWPE无纬布在准静态载荷下的拉伸、面内剪切和冲压式剪切特性。实验表明,UHMWPE无纬布在准静
数学教育应该从数学史中吸取养料,来丰富数学的教与学。基于数学史与数学教学关系国际研究小组(HPM)研究的启示以及对数学教育现代化的认识,把数学史作为数学教育现代化研究的
内分泌系统发生的肿瘤可以分成两个主要类型,即内分泌和神经内分泌肿瘤。内分泌肿瘤包括甲状腺滤泡和肾上腺皮质起源的肿瘤。神经内分泌肿瘤能够再进一步分为两个亚群:神经外