Mathematical logic as a form of philosophy

来源 :2014年南开数理逻辑研讨会 | 被引量 : 0次 | 上传用户:shiwuxin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  We navigate the history of philosophy,focus mostly on the so called linguistic turn of modern philosophy.We will also retrospect the development of modern logic,especially the clarification of various concepts.We point out that modern logic and analytic philosophy have the same origin,and we argue that they still share the same fundamental methodology and even the same questions.We propose that philosophers should put more eyes on mathematical logic and mathematicians may do a better job when philosophical concern is borne in their mind.
其他文献
克拉玛依石化公司Ⅰ套常减压装置的腐蚀问题是关系公司能否安全生产和达标的重要方面,有针对性地解决蒸馏装置的腐蚀问题具有十分重要意义。本文通过对克拉玛依石化公司加工
  Classic epistemic logic focuses on propositional knowledge(knowing that p).However,various kinds of knowledge are used in everyday life,which suggest non-st
会议
  根据向家坝水电站主要工程地质条件、存在的地质问题和工程建设实践,系统介绍了大坝坝基、地下洞室群、高边坡、沉井群和原状坡的岩土处理技术,提出了相关经验总结。
  众所周知,利用图灵机人们能够为自然数上的可计算性下一个精确的定义。然而,当我们在更高的类型上(如实数上)谈论算法和可计算性时,事情就不那么简单了。例如,两个有代表性的
会议
  岩石高边坡稳定性是水电站建设能否顺利进行的关键问题之一。锦屏一级水电站左岸边坡地应力高、断层裂隙发育、岩体卸荷深度大,地质条件十分复杂,边坡在施工期和运行期的稳
会议
  向家坝水电站左岸人工边坡高陡,规模巨大,全长1530m,边坡最大高度约300m.依据边坡岩体特征,以磨刀溪为界,大体可分为2段,磨刀溪上游段主要为T33岩组边坡(局部为T32-6岩组
会议
学位
  针对锦屏一级水电站左岸边坡突出的稳定性问题,结合微震监测技术,研究了边坡预警框架、微震预警功能、多元信息融合判据,构建边坡稳定性安全预警体系,提出锦屏一级水电站左岸
会议
  布仑口-公格尔水电站地处昆仑山腹地,在强烈的构造运动作用下致使引水发电洞前段存在高地温现象,局部岩温达100多摄氏度,给工程施工带来了巨大的困难和挑战.结合工程特点通
会议
  汶川“5.12”地震后至今,岷江流域频发震后次生灾害,主要次生灾害为山体滑坡、河道淤积和泥石流.本文结合岷江流域汶川至映秀段几个水电站的灾后修复工程,介绍了“5.12”地