集合论多宇宙观与形式主义

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:cheney0105
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数学对象的实在性问题一直是数学哲学中争论的焦点。作为二十世纪数学基础三大流派之一的形式主义常常被认为是反实在论的;而新近颇受瞩目的多宇宙观则似乎应持有实在论立场。本文试图论证,形式主义的要义或许在于形式系统以及元数学,因此经过某种重构后的形式主义在本体论上可以是中立的;另一面,多宇宙观中的核心概念则可视为理想元,因而多宇宙观可以纳入到这一新的形式主义框架中;进而,这两者的结合可以支持、推动当前的数学实践甚至创造新的数学实践形式。
其他文献
我国目前还不富裕,更要在消费方面讲究效益。什么是消费效益?如何认识消费效益的意义?等等,《论消费效益》一文分析了这些问题,并且指出对生活消费,不论是个人的还是集团的都
作为现阶段及未来很长一段时间内我国主流的电力生产形式,火力发电生产过程很容易出现管道与阀门振动情况,严重的振动不仅会危害管道与阀门,还可能直接影响整个系统的运行稳
主要针对人文关怀在急诊科轮转新护士中的应用价值进行了探究,旨在为后期的新护士培养工作提供可靠参考依据。方法从我院急诊科新入职的护理人员中随机选取50名作为本次研究
由于大型汽车制造厂的生产线发展速度越来越快,需要在生产线上平行制造多种汽车,因此,对于汽车生产厂家来说,透明度和可重复跟踪则变得越来越重要。
<正>多元文化音乐教育,作为中国高校音乐教育改革的时代主题,当前与其相关的各项研究和活动开展得如火如荼。但是,在诸多研究中,专事其中人文问题研究的凤毛麟角。高校音乐教
<正>在现代音乐教育中,无论是初等教育还是高等教育,音乐科技都越来越多地得以应用。价格不菲的电声乐器在小学的音乐教室中已常常出现;计算机和宽带也成为现代音乐教育中不
行政复议,是解决行政争议的主要途径之一。我国的行政复议虽然早已实行,与行政诉讼法配套的行政复议条例也已经颁布,但对行政复议制度的研究却处于滞后状态。本文对行政复议
张节原名张国威,是安徽知名的爱国民主人士,党和人民忠实的朋友。他同所有爱国者一样,在与黑暗和专制的斗争中,能顺应时代的大潮,投向光明。 1892年,张节出生于宿松县凤凰镇
目的探讨EIink平衡训练仪在脑卒中患者恢复中的应用效果。方法选择2018年11月至2019年12月天津中医药大学附属武清中医院接诊的60例脑卒中患者,根据干预方式不同分为两组,各3
目前,机械制造生产厂商始终面临着用户需求随时变化的市场竞争压力,这就要求企业不断加快新产品的设计、研发及投放市场的时间。现在,机械制造生产厂商可借助于机电一体化的设计