数理逻辑的发展及未来趋向     

王力钢 《安庆师范学院学报(社会科学版)》2010,29(11):48-51

近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。  相似文献   

爱当兵的儿子     

王力钢 《家庭教育》1995,(3)

我儿子爱兵器,爱到什么程度呢?早上醒来第一句话就问:爸爸坦克车怎么开好。才6岁的小孩,开口T—16、米格—29,闭口M—16,AK—47,与兵器有血缘关系似的,其实儿子爱兵,与大人有关。他爷爷当过海军。晚饭后,临睡前总是给孙子讲大海的故事,我这个爸爸从小就长在军营里,更是着迷于《兵器知识》、《舰船知识》、《航空知识》等等,看见那威武的军舰、坦克、先进的飞机等图片总是给儿子讲这是什么那是什么。加上电视上的《军事天地》是我们全  相似文献   

一种基于模态语境的分析性刻画新方案     

王力钢 《西南师范大学学报(人文社会科学版)》2011,(4):94-98

在借鉴前人,特别是蒯因与周北海对分析性的研究成果的基础上,提出了一个分析性刻画的新方案：在普通外延性逻辑语言的基础上再引进模态语组＂必然地＂及相关可能世界解释,在这种强化的语言中,就可以通过两个谓词的外延间在所有相关可能世界内的必然同一关系（即同义）而刻画分析性。这种做法既满足了蒯因要对分析性做严格外延化处理的要求,又能有效避免周北海先生的弱化结论。  相似文献   

墨辩逻辑的独特性     

王力钢 《荆州师范学院学报》2002,25(3):87-89

通过细致分析，本指出墨辩逻辑具有不同于其他逻辑传统特别是亚氏三段论的逻辑特质，其主要表现在：墨辩强烈的实用功利目的，决定了其朴素思维的直观性、综合性，这使得墨辩使用了一种独特的类推论证方法；而实用性的要求、类推方法的使用、古汉字系统的特殊性、墨家学说的影响等诸种因素交织在一起，相互作用，使得墨辩形成注重表达式内涵，强调思维实际内容的逻辑特质。  相似文献   

实现世界观和方法论上的对接——《马克思主义哲学原理》课贯彻“三个代表”思想的认识取向与内容选择     

严恒江  支运春  余显礼  李恬  王力钢 《思想教育研究》2004,(2):40-43

马克思主义哲学是辩证唯物主义和历史唯物主义 ,是关于自然知识、社会知识和思维知识的概括和总结 ,是无产阶级科学的世界观和方法论 ,因此 ,在《马克思主义哲学原理》课中贯彻党的“十六大”精神 ,特别是“三个代表”重要思想 ,要紧紧抓住并充分体现自身学科特色 ,这就是实现在世界观和方法论上的对接。1.马克思主义哲学关于实践的观点 ,要求我们在贯彻“三个代表”思想中 ,突出“指导”两个字马克思主义哲学在哲学史上第一次确立了科学的实践观 ,并把它作为自己的首要的、基本的观点 ,作为自己理论体系的核心。马克思主义哲学从物质实践活…  相似文献