【摘 要】
：
类型论是罗素为解决逻辑悖论而构造的一个重要理论,它以恶性循环原则为前提,其核心思想是不把类当实体看,其总体思想是任一函项必定属于一定的类型和阶.类型论提供了一种对悖
论文部分内容阅读
类型论是罗素为解决逻辑悖论而构造的一个重要理论,它以恶性循环原则为前提,其核心思想是不把类当实体看,其总体思想是任一函项必定属于一定的类型和阶.类型论提供了一种对悖论的统一的解决办法,其排除悖论的实质是把引起悖论的表达式归于'无意义'.类型论本身并不完善,引来了争论,争论的焦点首先是可化归性公理,其次是恶性循环原则,引起争论的实质是在类的实在性问题上实在论和唯名论的对立.类型论尽管在总体上不那么令人满意,但它给逻辑和哲学都带来了重大的影响,这种影响是积极的.
其他文献
机电提灌在农业增产和抗旱排涝中发挥了十分重要的作用，不但可以促进农村经济的发展，还有助于提高人们的生活水平。但当前，我国不少丘陵地区的机电提灌存在很多问题，如机械设备老
15年前,福建在全国率先开展了以＂明晰产权、放活经营权、落实处置权、确保收益权＂为主要内容的集体林权制度改革。历经15年的探索,福建林改释放出强大的生产力,让荒山育成＂绿山＂
未来是生态圈之间的竞争,任何一家企业都很难做到全行业、全产业链覆盖,追求一家独大将成为历史'生态圈'概念近两年在各种场合的出现频率不断升高,尤其是互联网企业
通过对广西地区高速公路绿化特点的分析，提出了广西地区高速公路绿化树种选择的原则和不同绿化区域绿化的目的；并提出了广西地区高速公路绿化采用的适宜树种，并对植物选择中存在
“鲁迅与当代中国文化”学术讨论会纪要肖惟今年１０月１９日，青岛市现代文学研究会在青岛大学举行了鲁迅先生逝世６０周年纪念会暨“鲁迅与当代中国文化”学术讨论会。与会者一致认为，鲁迅
针对延长气田储层本身物性,低孔、低渗、低压气层较多,必须进行压裂改造作业,减小钻井过程中对地层污染,保证压裂作业施工正常,射孔作业起着相当重要的作用,本研究通过优化模
类型论是罗素为解决逻辑悖论而构造的一个重要理论,它以恶性循环原则为前提,其核心思想是不把类当实体看,其总体思想是任一函项必定属于一定的类型和阶.类型论提供了一种对悖
随着社会经济的快速发展,建筑企业规模和数量都在与日俱增,要想在激烈的市场竞争中站稳脚跟,建立完善的内部会计控制体系对建筑施工企业的发展具有重要意义。本文描述了施工
目的构建数字化、智能化的体检自助信息管理系统,达到优化流程、节约待检时间及人力资源的目的。方法收集相关信息需求,联合软件开发人员共同设计体检自动信息管理软件,并运