赵震
- 作品数：6 被引量：3H指数：1
- 供职机构：北京大学哲学系更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教自然科学总论自动化与计算机技术电子电信更多>>
- 可以不失表达力而又避免说谎者悖论吗?被引量：1
- 2014年
- 为提出一个有效的解悖方案,我们可以建构一个逻辑LCQ,进而证明LCQ的可靠性和完全性,以及它与一阶逻辑之间的关系,从而证明LCQ的表达力并不比一阶逻辑的表达力弱。在此基础上,构造一个真理论TCQT,并证明TCQT的一致性。在TCQT中,通常的(T)模式的表达形式改变了,但是其本质并未改变。通过编码我们可以建构自指的句子和对角线定理,但是(T)模式并不能应用于编码名字,因此避免了说谎者悖论。(T)模式可以应用于特殊常项,但是根据语言的建构和推理规则,自指和对角线定理不成立,因此也避免了说谎者悖论。与此同时,塔尔斯基的(T)模式的本质被保留了。
- 赵震
- 关键词：说谎者悖论表达力
- 大学哲学教育如何回应当代社会的需求与挑战？--世界大学哲学系主任联席会议纪实被引量：2
- 2013年
- 2012年10月27日,作为北京大学哲学系百年系庆活动的重头戏之一,＂哲学教育与当代社会——世界大学哲学系主任联席会议＂在北京大学博雅国际酒店隆重召开。本次会议邀请了很多国内外著名高校的哲学系主任和一些国际知名的哲学家或哲学教授与会,大家围绕大学哲学教育展开了研讨。
- 陈波赵震李晽
- 关键词：哲学教育大学哲学系主任联席会社会
- 说谎者悖论的一个新解决方案的纲要
- 2012年
- 首先,本文在第二节中提出了谎者悖论所包含的一些问题,比如加强的说谎者悖论,Curry悖论,Yablo悖论,偶然的说谎者悖论,以及塔尔斯基的真不可定义性定理。其次,在第三节简单介绍了塔尔斯基的分层理论,并且指出了他方案的一个最大不足之处就是把一个真谓词分成了很多个个真谓词,这和我们的直观很不符合。之后在第四节介绍了我的一个解悖方案,并讨论了它的一些性质,比如可靠性,完全性,以及我的方案和塔尔斯基方案的区别。第五节说明了第二节中提到的一些问题在我的这个方案下如何处理。
- 赵震
- 关键词：说谎者悖论塔尔斯基解悖方案可靠性谓词
- 第一人称
- 2013年
- 本文考察了卡普兰、弗雷格和刘易斯等人的观点，对第一人称代词“我”分别从语义学刻画、自我概念以及它在信念、命题中所起的作用等方面做了深入分析。本文首先讨论了卡普兰等人关于“我”的语义学观点。对“我”的语义学说明的困难在于：“我”确定指称的方式似乎因人而异，每个人在使用“我”时都有其特殊的指称方式；即使如此，人们仍然能够相互交流和理解。作者同意卡普兰的观点：要通过描述“我”的使用方法而非寻找弗雷格式的涵义来刻画“我”的语义。人们使用“我”时都依赖于一个先在的自我概念。作者随后考察了笛卡尔、休谟等人关于“自我”的观点，批评笛卡尔的“主体”理解会导致唯我论和循环，而休谟的“漂浮”的“自我”则根本无法理解。作者赞同笛卡尔关于“我”是思想主体和身体共同构成的统一实体的观点。作者还批评了安斯康姆将“我”等同于笛卡尔式自我而“我”并非指称性表达式的观点，指出她无法解释为何可对包含“我”的句子做存在概括。随后，作者考察了刘易斯对“命题”、“可能世界”以及“自我”等的理解，指出：虽然在刘易斯和他之间有明显分歧，但他们都认为每个可能世界是唯一的，且都把其中一个可能世界视为现实世界，但在哪个可能世界是现实世界上却发生分歧。文章认为，我们每一个人都以一种特殊的方式把握“自我”，这种认识方式比任何纯粹的语言学描述更基本，它是我们使用第一人称的基础。
- S.克里普克赵震万美文陈波(校)
- 关键词：卡普兰弗雷格笛卡尔休谟
- 实在论及其竞争者:恢复我们的天真
- 2013年
- 实在论和各种牌号的反实在论——如唯心论、唯名论、工具主义、相对主义、非实在主义——之间争论的关键问题是:世界、真理、共相这些东西怎么可能一方面独立于我们而存在,另一方面却又能够为我们所知晓。争论聚焦于:我们关于世界的知识到底有多少是来自世界的,又有多少是来自于我们自身的,如何在发现与建构之间画一条明确的分界线。天真实在论注重形而上学与认识论的整合,以及独立性与认知可通达性之间的平衡,恰好占据了严格的实在论与松散的相对主义之间可供立足的中间地带。
- 苏珊.哈克赵震万美文
- 关键词：实在论反实在论
- 面向功耗空间分布的多电压优化高层次综合
- 集成电路特征尺寸的不断缩小，以及可移动计算设备和复杂微电子设备的广泛应用，使得低功耗设计逐渐成为深亚微米及纳米级集成电路计算机辅助设计的主流方向之一，而对于某些特殊电路来说甚至占据着主导地位。
电路的能耗和功耗...
- 赵震
- 关键词：集成电路计算机辅助设计低功耗设计纳米级集成电路
- 文献传递
