论邓小平社会主义本质论的理论创新

邓小平的社会主义本质论是中国特色社会主义理论的一项重大的理论创新。其真实理论意蕴和理论创新在于：在坚持社会主义制度的前提下追问社会主义社会的二级本质,用唯物史观的哲学原理深刻地揭示了社会主义制度的功能性本质,在更深层次上回答了＂什么是社会主义,怎样建设社会主义＂这一根本问题,把对社会主义的认识提高到新的科学水平,构筑了当代社会主义理论的重要基石。     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

语境理论对英语语篇听力教学的启示

语境是影响话语理解的重要因素，语境和听力理解存在内在关联。不同的语境因素为英语语篇听力教学提供了教学方法的新渠道。为了提高学生的听力能力，培养学生的交际能力，教师在教学过程中需要认真运用语境理论。     

《中国少数民族文艺理论集成》刘禹锡部分注释误漏举正

《中国少数民族文艺理论集成》是同类著作中内容最丰富的资料汇编。但在从编选体例至具体注释等方面却存在各种误漏。对该书匈奴族后裔刘禹锡部分注释中12处明显误漏作出举正:"失于野"、"汩于浮";"八音与政相通,而文章与时高下";"崔、蔡";"跨跞";"卢、杜""朔风"、"零雨";"不试故艺";"休上人"、"约法师";"支、许之契";"甸服"之"服";"酱蒙药楮";"华绝足"。     

论“三个代表”重要思想的提出

江泽民“三个代表”的重要思想是在世界进入大转折、世界社会主义出现大曲折、中国工人阶级地位发生新变化、中国社会主义建设进入新时期、中华民族处于伟大复兴的新起点、中国共产党的建设步入新阶段的历史背景下提出的；先后经过初步提出、进一步丰富和全面阐述三个阶段；“三个代表”重要思想的提出标准着江泽民党建理论的成熟，体现了江泽民建设党的理论与建设国家的理论的统一，丰富和发展了马克思主义的党建理论。     

五行传统与中国式奇幻的世界结构——以《吕氏春秋》为起点的历时考察

从五行说发展的历史来看,它是逐渐走向神秘主义的。《吕氏春秋》时期是五行说发展的一个结点,五行说的神秘性在吕书中已经昭然若现,五行的奇幻色彩亦随之凸显。在当下语境下,五行奇幻在向传统回归的过程中,吸收传统五行思想的同时对传统五行奇幻既有继承也有发展,形成了具有新时代特色的五行奇幻文学。     

中学数学教师认识和处理新教材的若干思考

在新一轮的数学课程改革过程中,数学教师对新教材的认识和处理存在着偏差与缺陷,主要表现在新教材对教师的要求偏高,数学教师"内隐理论"的制约以及评价机制改革的滞后等.我们只有用新教材理念培训数学教师,建构新评价机制,推广有效的实验方法与成果以及提高教师的反思教学能力,改革才会成功.     

陈云延安时期党建理论及其现实意义

延安时期,陈云发表了许多有关党建方面的重要讲话和文章,在关于党的思想建设、组织建设和作风建设等方面,提出了许多符合实际、切中时弊的理论观点和解决问题的有效办法,极大地丰富了毛泽东思想关于党建方面的理论。这些理论,对于新世纪加强我党建设,仍然具有很强的指导意义。     

Computational empiricism

I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the same theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in the philosophy of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism.The term computational empiricism was suggested to me in conversation at a philosophy conference in Venice, Italy in June 1991 by someone whose name I have unfortunately forgotten. It seemed to capture perfectly the set of techniques I had described in my talk there, and I have since adopted it. I thank the originator of this term, whoever he is.