【摘 要】
：
《数学原理》（Principia Mathematica）是罗素和怀特海的著作,也是早期分析哲学的基石,它的公理系统与《数学原则》（Principles of Mathematics）的公理系统不同。通过研究罗素如何
【机 构】
：
加拿大阿尔伯特大学哲学系,北京师范大学哲学学院
【基金项目】
：
国家社科基金一般项目“相对论的一阶逻辑基础研究”（14BZX078）资助.感谢阿尔伯特大学逻辑读书组的成员以及项目组成员艾伦·黑森、杰夫·佩尔蒂埃、安德鲁·特德和哈桑·马苏德各方面的帮助.尼古拉斯·格里芬在伯特兰·罗素档案馆指点我找到“使用的定理列表”文件.
论文部分内容阅读
《数学原理》（Principia Mathematica）是罗素和怀特海的著作,也是早期分析哲学的基石,它的公理系统与《数学原则》（Principles of Mathematics）的公理系统不同。通过研究罗素如何在《数学原理》中找到证明方法的过程,可以发现经典命题逻辑公理形式化证明的一般方法。《数学原理》改变了《数学原则》中的初始命题,带来了新的证明,一些定理和引理随着论题的发展而被删除了,但《数学原则》中尽量多的结果还是被保留下来。《数学原理》中的命题逻辑系统是一个逐步演化的结果。
其他文献
据成都市房管局消息，从即日起全市将推出和谐物管“品牌年”活动，评选出成都市首批品牌物业服务企业。活动中，全市将开展物业服务企业知名度、满意度调查，同时启动物业服务品牌个
业主张先生是企业高管，和太太结婚20周年纪念日将至，他希望能给太太一份惊喜，工作繁忙的他希望得到金地物业“荣尚荟”的专业帮助。接到请求后，荣尚荟管家协助张先生制定合适的旅
【正】 赵树理是一位深受人民爱戴的农民作家.说他是农民作家,不仅因为他出身于农民家庭,还因为他毕生始终深切地关怀着广大农民的疾苦,关心着他们的生产和生活,喊出了他们的
做过泥瓦匠，当过小学教师，会篆刻，喜品茶，长期读《小说月报》，这些是张一民的写照。在业界，科瑞物业的品牌打造总与变革创新息息相关：联合重组，“借鸡生蛋”实现资质跨越升级；管作分离
【正】 我国是世界文明发达最早的国家之一,从春私战国到宋的一千五百年左右,一直都处于世界科学发展的领先地位。但是,从宋以后的十五世纪开始,我国古代科学的发展却不断衰
莱奥那多·达·芬奇(Leonardoda Vinci1452——1519),欧洲文艺复兴时期的伟大画家,自然科学家;恩格斯称之为一个巨人时代的巨人,生于意大利佛罗伦萨附近的芬奇镇。19
马克思"两个决不会"揭示了人类社会发展的客观规律,表明资本主义和社会主义在时间和空间上长期并存的客观事实,从而为构建人类命运共同体创造了条件。构建人类命运共同体是应
【正】 本世纪的第一道曙光投射到祖国大地来的时候,一位天之骄子呱呱堕地了.他与新世纪同年,相挈相长.遗憾的是,他只经历六十八个春秋就谢世永辞了,不能与二十世纪同享百年.
【正】 管制,是我国刑罚中的主刑之一。剥夺政治权利,是刑罚中的一种附加刑,也可以独立适用。缓刑,不是一种独立的刑罚,它不能离开有期徒刑或者拘役而独立存在。缓刑是我国刑
为了使图像分割效果稳定和提高分割算法的普适性,提出了一种利用多线索动态融合进行图像分割的方法,该方法首先将图像中的颜色信息、纹理信息、空间信息、边界信息融合到一个条件随机场模型中,用于图像分割;然后在对特定图像进行分割时,由于该模型能够利用用户在分割前标定的前景和背景信息来建立一种衡量概率分布估计可靠性的标准,并可通过该标准来组合条件随机场中的相关能量项,使它们能够根据图像的内在属性进行动态融合,