【摘 要】
：
Richard Heck and John Burgess have shown that Frege's Basic Law Ⅴ is consistent with predicative comprehension and that the resulting theory interprets Robinso
【机 构】
：
Department of Philosophy, Peking University, Beijing 100871, China
【出 处】
：
Special Theme:Frege,Logic & Philosophy
论文部分内容阅读
Richard Heck and John Burgess have shown that Frege's Basic Law Ⅴ is consistent with predicative comprehension and that the resulting theory interprets Robinson Arithmetic.There are also many other ways to keep Frege from being contradictory.This paper shows that Basic is also consistent with positive comprehension and that the resulting theory also interprets Robinson Arithmetic.In addition,the theory of positive Frege provides a new understanding of Dummett's "indefinitely extensible concepts."
其他文献
近年来,天津市财政局着眼财税工作实际,认真贯彻习总书记“考察识别干部、功夫下在平时”的指示要求,结合绩效管理,狠抓平时考核,在转变工作效能、引领科学发展、强化队伍管
为了保证矿工的生命安全,促进煤矿的安全生产,对安全通风方面的工作,要进行重点的风险管控,通过采取隐患排查的防范措施,对通风事故进行有效地预防.因此需要从多个方面进行优
本文系统总结了工程项目成本管理与控制所存在的主要问题,明确了成本管理与控制的原则,提出了解决成本管理问题的一些有效途径及方法,对于工程项目成本管理与控制具有一定的
随着经济的发展,我国的建筑行业也蓬勃发展,作为建筑的一部分,建筑暖通中的管道安装也相当重要,由于其施工较难所以应特别注意.基于此,本文分析了建筑暖通工程中管道安装施工
世界经济一体化不断深化,中国经济日益融入全球经济之中.由美国次贷危机引发的全球性金融风暴,使以美元为主的国际货币体系受到严重冲击.在此次危机中,中国也受到一定程度的
现阶段的国家建设、事业单位发展过程中,人力资源薪酬管理是比较核心的组成部分,同时具有一定的敏感性,继续按照固定的路线、标准来操作,并不能取得预期效果,还会造成新的挑
一“老圃能开冬花,结春实”rn1883年夏历2月25日清晨,国学大师、新儒学一代宗师马一浮先生,在浙江上虞长塘乡后庄村出世了.马一浮先生乳名锡名,幼名福田,后更名马浮,字一浮,
改革开放以来,国家对财政上的工作越来越重视,在一定程度上,有了不同阶段的发展,但是,在目前的财政税收体制以及监督体制方面,仍然存在一些问题,特别是与国外一些国家相比的
在现代地下铁道运输中因具有运量大、安全、快捷等特点,将有效的减少地面交通和环境的污染,所以在未来的城市建设中地铁建设将是必不可少的项目,但因其建设中线路的局限性,列
地铁行车调度工作要坚决贯彻安全生产方针,将安全工作放在第一位,统一指挥,逐级负责,确保在运行过程中安全、高效.作为地铁运营生产组织“大脑”,控制中心在应对各类突发事件