【摘 要】
：
<正> 早在1917年Nicod就提出了他的独条原始命题,以取代罗素的五条。罗素在《P.M.》再版的引论里采用了尼氏的独条,把它当作数理逻辑的最后基础。国内资料很不完全,笔者不知2
论文部分内容阅读
<正> 早在1917年Nicod就提出了他的独条原始命题,以取代罗素的五条。罗素在《P.M.》再版的引论里采用了尼氏的独条,把它当作数理逻辑的最后基础。国内资料很不完全,笔者不知20年代以后各国学者对于独条有无新的评价,就我自己来说,在过去的五、六十年中一直相信它,几乎认为它是“天经地义”。最近作了仔细检查,发觉颇有问题,特写此文以就教于同志们。起点公理之外,还要有规则才能进行推论。被公允为‘原始’的,不外乎代替规则和推论
其他文献
在锅炉、压力容器和压力管道的检验中,裂纹问题及其预防处理方法的重要性是根据客观条件而来的。锅炉、压力容器和压力管道经常处于高温、高压的环境中,所以如果出现裂纹问题
<正> 注古人诗不易,注山谷诗尤难。因为他读书广博,用事深密,诗有历古人六七作的。幸任渊、史容、史温早已为它作注,其中任注较胜,为读者扫除了不少障碍。但离今人对作注的要
5月28H,十三届全国人大三次会议通过了《中华人民共和国民法典》。这是新中国第一部以法典命名的法律,开创了我国法典编纂立法的先河,具有里程碑意义。民法典也是推进全面依
文章通过分析高校财务信息化管理的现状,对高校财务信息化建设策略进行了思考,认为应从组织架构、制度、人才、基础设施、规划和技术标准等几个方面,建立和完善符合时代要求
<正> 印度的集装箱制造商目前正面临着一场艰难的价格竞争。国内有一种普遍而尖锐的观点,认为具有优势的中国制箱业的快速发展可能导致中国供应商垄断箱价。印度制箱业本身有
近年来,我国的起重机械的应用越来越广泛。起重机空间防撞系统通过建立统一坐标系,以及空间函数运算,得出潜在的空间干涉冲突,并提供避让操作提示。这种空间防撞系统具备主动
伴着和煦的春风，中国煤炭丁业协会第二届理事会第五次会议于4月2日在上海召开。中国煤炭工业协会会长范维唐、中国煤炭工业协会第一副会长濮洪九、国家煤矿安全监察局副局长彭
[摘要]高等职业教育的职业性和实践性特点决定了职业学院的专业教师不仅必须具备教师的基本能力和素质，还必须有丰富的现代新型知识和实践能力，既能讲课又能指导实训，操作突出强调教师的实践教学能力。“双师型”“三能型”教师队伍，教师的实践教学状况能力要求往往具有代表意义，熟悉相关职业领域内的生产一线或工作现场掌握相关职业领域内的成熟技术和管理规范，有丰富的实践经验和处理现场复杂问题的能力，并具备相关的操作
企业管理信息化是国民经济信息化的基础,是当前推进国民经济信息化的重中之重。随着全球化经济的发展,提高我国企业管理信息化水平尤显重要。文章通过对企业管理信息化建设的