【摘 要】
：
对于现代逻辑的运用是分析哲学的一大特征。分析哲学与现代逻辑甚至具有共同的起源：不仅分析哲学与现代逻辑的奠基者是同一批人，他们曾面对的还是同样的问题，并为此开发出我们所
【基金项目】
：
教育部人文社会科学研究青年项目——“当代集合论哲学及其对数学基础研究的影响”(13YJCZH226);复旦大学新进青年教师科研起步项目;复旦大学青年教师科研能力提升项目资助
论文部分内容阅读
对于现代逻辑的运用是分析哲学的一大特征。分析哲学与现代逻辑甚至具有共同的起源：不仅分析哲学与现代逻辑的奠基者是同一批人，他们曾面对的还是同样的问题，并为此开发出我们所熟知的研究形态。然而，分析哲学和现代逻辑（尤其是数理逻辑）后来的发展似乎走上了不同的道路。笔者则希望论证当代数理逻辑研究仍然保留了分析哲学解决问题的形态——语言分析——的主要特征。论证主要基于两则案例分析，一个是对埃米尔·波斯特（Emil Post）关于可计算性理论的开创性工作，另一个是佩尔·马丁–洛夫（Per Marti
其他文献
【正】 儒家思想是绵延两千余年的中国封建社会的统治思想.它牢笼百代,涵盖万端,渗透在政治、经济、文化等各个领域,消融在人们的思想、感情、行为之中.特别是它的伦理、道德
AutoCAD具有完善的图形绘制和编辑功能，但缺少属性信息和图层压盖显示功能，制图信息量少，制图效率较低且地图不够美观。本文探讨在AutoCAD和CorelDraw环境中土地利用图的制作方
档案的建立和发展是人类智慧的结晶,档案记载了人类社会的发展历史,它存储了社会历史文化的发展知识和经验,为人类文化的进步提供了重要的依据,档案信息赋予了档案独特的文化
本文通过对磷生物学利用率的评定及其影响因素的阐述,指出了在实际生产中应充分应用磷生物学利用率体系,来配制满足猪对有效磷需要量的日粮.
由于设计及施工等方面的原因,山西晋煤天源化工有限公司合成氨装置75t/h三废混燃炉投用后运行一直不太稳定,存在引风机能力不足、除尘器除尘效果差、燃烧炉及组合式除尘器出
【正】革命现代京剧《龙江颂》并不属于'八大样板戏'之内。1967年5月25日《人民日报》的社论《革命文艺的优秀样板戏》里提到的样板戏是这几部'首都舞台上正在上
众所周知，哥德尔是一位实在论者。然而，他在构造主义数学方面也有着精深的研究和重要的工作。例如，哥德尔的否定性翻译和《辩证法》翻译。这些方法在现今的数理逻辑研究，尤其是证
植酸是一种广泛存在于植物籽实的有机络合物。它常和二价或三价阳离子结合形成不溶性盐，也可以和蛋白质络合从而降低蛋白质的生物利用率，它还可降低胃蛋白酶、胰蛋白酶和α－淀粉
通过戊二醛法将3-硝基酪氨酸与卵白蛋白（OVA）偶联，制备人工抗原，并用作免疫抗原。用紫外扫描法和聚丙烯酰胺电泳法对其进行鉴定，用BCA法测定二者结合物的质量体积分数，并测得结合物
工业遗产是人类活动和工业文明的一个发展历程,也是一个城市在一个社会阶段发展的记忆,更是这个城市的历史见证,总之,它对这个城市有着特别重要的意义。然而,随着社会的不断