方以智与道家经典《庄子》

方以智处世事多变之秋,早年有"经世"的抱负,但后来人生历经坎坷,思想也为之一变。方以智仿庄子之藏身别路而逃禅,会通儒、释、道,编撰《药地炮庄》,对道家经典《庄子》进行阐释、利用和改造,形成自己的哲学特质。方以智对道家经典《庄子》展开评述,一面以儒炮《庄》,一面归《庄》于《易》,认为释、道、儒三教可以合一。     

晏子廉政思想的实践性特征

晏子在劝谏景公的过程中,形成了自己丰富的廉政思想,尤为难能可贵的是,晏子能够做到律人先律己,使其廉政思想具有鲜明的"节俭力行"的实践性特征。所谓实践性特征,就是晏子的廉政思想来源于其行政实践,同时又规范、指导其行政实践。它包含自律性、为民性、榜样性等内容,只有严于律己、"节俭力行",不汲汲于物欲的追求,才能廉政为民、勤政为民,才能在某种程度上遏制君主无限制的奢靡欲望,在潜移默化中为其他大臣树立可供效法的榜样。但是,如果没有外在制度的约束,单凭个人的力量,只能起一时的作用。既要强化廉政意识的教育,又要建立完备的廉政制度,才是廉政建设的必由之路,这就是晏子廉政思想的实践性特征给予我们的启示。     

荆楚名宿韩高超道长小传北大核心SSCI

韩高超,俗名韩宏道,湖北省武汉市武昌区鲇鱼套人,为当代著名高道,在道教音乐、斋醮科仪方面均有很深的造诣。目前,关于韩高超道长生平的文献资料,记述比较全面的主要有两种：一种是韩高超道长撰写的自述性文章《我与长春观》（刊载于《武汉文史资料》杂志）,一种是武汉市地方志编纂委员会编写的人物传记《韩高超》。     

登天台山北大核心SSCI

悟真求道谒天台,破壁高飞展素淮。崇山千仞足下始,百折向前心不徊。     

强化敏感性人格特质对两性亲密关系的影响:成人依恋类型的中介作用

采用奖惩敏感性人格量表(SPSRQ)、亲密关系体验量表(ECR)和爱情三角理论量表(TLS)调查558名正处于恋爱阶段的大学生,探索成人依恋类型在强化敏感性人格特质与两性亲密关系之间的中介作用。研究结果显示惩罚敏感性通过回避依恋影响亲密、激情和承诺;奖励敏感性和惩罚敏感性都可通过焦虑依恋影响亲密和激情,这表明成人依恋类型是强化敏感性人格特质影响两性亲密关系的重要中介因素。     

相干逻辑关系语义的推理解释

关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。     

弘扬传统家训文化 培育当代优秀家风——“中国传统家训文化与优秀家风建设”国际学术研讨会纪要

<正>2015年4月10日至12日,由中国伦理学会、江苏师范大学伦理学与德育研究中心、中国人民大学伦理学与道德建设研究中心主办,国家社科基金重大招标项目"中国传统家训文献资料整理与优秀家风研究"课题组承办的"中国传统家训文化与优秀家风建设"国际学术研讨会在历史文化名城徐州举行。来自中国大陆以及韩国、德国、日本和港澳台地区的97位学者参加了会议,会议收到论文45篇。会议采用大会主题发言与分组讨论相结合的     

景教与聂斯脱利派的辩正

景教因为是聂斯脱利派（Nestorians）传入中国,一直被视为异端。我人固因耶稣基督因景教传入中国为荣,终因聂斯脱利（Nestorius）是异端,而耿耿于怀。今由东西双方教会负责人加以澄清,该是多么重要的事!中间一段“误解”云者就是指聂斯脱利派,后辈的教会负责人不好意思指前辈的错误,只能说“误解”耳。     

《道德经》中的"德"概念与中国形而上学伦理学

《道德经》(非竹简本)中的“德”概念从生成论方面来看,是一个相对于道的特殊性概念,相对于万物的普遍性概念,因而是一个共相的具体和具体的共相相统一的概念,它位于超越的实在和感性事物之间;《道德经》中的“德”概念从认识论方面来看,是“谷神”实现的原理,是一个精神生活的形而上原理;《道德经》中的“德”概念在道德实践上主要是“得”和“舍”相平衡的原理。《道德经》通过“德”概念使得个体价值指向一个形而上的、具有无限利益的生存领域,从而具有提升现实的人格的意义。     

概称句词项逻辑的树图判定算法

概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。