论麦金森定理及其等价命题

麦金森定理在模态逻辑中扮演了举足轻重的作用。利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理的一个很简单的语法证明。一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价。另一方面,麦金森定理本身清晰地提示了分裂对的两个最典型的实例,这在不完全性度的研究中是不可忽视的。     

试论“中国近现代史纲要”课教学有效性的提升

“中国近现代史纲要”课程在“两课”教学中具有重要的地位和价值。如何在有限的教学时限内提高其教学的有效性是其重要任务。可从保持完整性和增强学术性两方面着手进行探索与寻求突破。     

全面唤醒 自由激扬 终身发展——南京师大附中主体性生命教育的追求

作为对主体性生命教育的价值追求,南京师大附中以全面唤醒关爱意识、以心驱行为其教育机制,以自由激扬青春激情、倚情促慧为其教育策略,以规划幸福生涯、谋求终生发展为其教育取向,在以人为本、回归教育的本然道路上充满生命的劳绩和诗意。     

教育是对生命和谐的不懈追求——池田大作生命化教育思想初探

教育是最具生命的事业，它不仅关注生命的发展，也基于生命的追求。人既有自然生命的属性，也具有价值生命的属性。池田大作的教育思想是一个博大精深、倡导生命化教育的思想体系，他主张教育要关注生命的完整性；要凸现生命的更动性；要张扬生命的独特性。只有这样，教育才能体现一个人双重生命的存在，才能达到个体生命的和谐发展。