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