古汉语判断句的活用

古汉语教材普遍把因果复句中表示原因的非名词性谓语句称判断句的活用，认为判断句活用的标准首选要根据判断的本质特征，－谓语性质是名词性的，其次须参考判断句的表现形式和逻辑关系。     

不等式自动发现和判定程序agl2010的若干改进及应用

对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.     

三段论格式图的构建与运用

在具体的逻辑推演中,我们不妨从三段论每格所可能具有的有效式着手,构建三段论格式运用图。该图能迅速判定任一三段论式子是否有效,能就三段论的任一项而判定其所有可能式,同时也能从中探讨三段论有效式的组合规律。三段论格式图在实际的教学中也取得了良好的效果,即:既便于学生更直观地理解和掌握三段论的知识,也进一步丰富了形式逻辑的教学内容和方法。     

聋生对复句的掌握状况调查研究

本文对聋人学生的复句应用情况进行了调查,通过对就读于大专院校的聋生写作的1568个复句进行统计和分析,探讨聋生复句应用过程中各种错误类型产生的原因,揭示聋生习得汉语复句的特点,指出聋生掌握复句的重点与难点,并提出相应的教学策略,以期为聋生复句教学提供参考和借鉴。     

社会学制度主义的政治行动逻辑观——"适合性逻辑"探析

制度与个人行为之间的关系是新制度主义的核心问题,在西方历史上二者之关系曾出现过整体主义、神秘主义、自由主义和行为主义特征。新制度主义通过算计途径和文化途径解决二者关系,前者发展成为结果性逻辑和理性选择新制度主义,主张个人理性和集合制度;后者发展成为适合性逻辑和社会学制度主义,主张集体理性和整合制度。社会学制度主义者认为适合性逻辑是政治行动的基本逻辑,制度既适应环境和集体行为,也改造着环境和个人行为,是消极制度和积极制度的统一。社会秩序是制度分析中的突出主题。从适合性逻辑出发,培养有知识的公民和促进合作及发展社会资本是维持秩序的重要途径。     

论儿童精神的诗性逻辑

儿童的逻辑不同于成人世界中的概念性逻辑。儿童的逻辑汇入了并充盈着鲜明而强烈的感性色彩和浪漫主义审美意蕴的诗性精神。诗性的逻辑是展现儿童精神之特质的基本表达形式,也为人类理性精神插上了想像的翅膀。     

西方哲学发展的内在精神逻辑

西方哲学的发展经历了四种形态的变迁,分别是古代本体论哲学、近代认识论哲学、德国古典综合统一的哲学和现代"拒斥形而上学"的批判哲学。哲学形态发展的背后凸现的是人类精神发展的逻辑,展现了人类的客观精神→主观精神→主客观统一的精神→批判精神。这条主线体现了哲学的发展与人类精神的发展具有内在的逻辑一致性,是历史与逻辑相统一的精神表现。     

Pauli矩阵的若干性质及应用

以Pauli矩阵为工具，讨论Clifford代数、Dirac代数及量子逻辑门的有关性质     

常识推理基础逻辑系统M的完全性

对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г有穷，得到的典范模型有穷。这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。     

关于不等式2x/π＜sinx＜x,x∈(0,π/2)的四种证法

运用微分方法给出该不等式的四种证法：①中值定理证法；②单调性证法；③极值证法；④凸凹性证法。