高等职业院校思想政治课教学方法改革探究

高等学校思想政治课作为高校教学任务的一个重要环节,在大学生人生观、价值观形成过程中发挥思政教育主渠道、主阵地的作用,作者根据自己多年的教学实践经验,针对思政课教学当前现状,探讨思政课教学方法改革的相应措施,更好地培养学生的创造性思维和提高课堂教学效果。     

戴伊克的宏观结构理论在自动文摘中的运用

文章探析了荷兰学者冯·戴伊克（Teun A.van Dijk）的宏观结构理论在网络评论文自动文摘中的运用,主要论述了“删除、选择、概括、组编与归总”4条宏观规则在计算机上的形式化.     

符号的本质及其对人类的意义——对卡西尔《人论》的解读

符号是形式和意义规约的联系.符号的本质在于它的形式化,包括语言、艺术、神话、宗教等的形式化.符号对人类的意义包括两个方面,对文化的开创和对文化的重建.     

有关PAR在数学算法之中的应用探析

目前在高中课堂中,算法的应用也比较多,本文主要提出PAR作为高中阶段对算法学习的基础平台,对素数及多项式两个经典数学问题通过PAR形式化推导进行实现,说明PAR具有较好的程序设计及数学语言的透明性,其算法简单,容易理解,很大程度上也保证了算法的正确性,通过理论和试验表明,PAR是一种数学算法学习的有效平台.     

形式化、公理化无法摆脱科学理论错误

我从悖论与改错思维法的角度 ,得到一个与歌德尔不完备性定理类似的结论 :“任何形式化、公理化的理论 ,均无法摆脱科学理论上的错误”。它属存在性定理。从古代、现代、新真空观三个事例说明 ,一些重要科学理论的形成、改错与发展 ,与形式公理化方法不相关。这也说明 ,不宜过于强调“形式化、公理化”方法。———这将为科学创新 ,开辟更为广阔的空间。     

判决中不同意见公开议题之再研究

判决中的不同意见公开制度起源于英美法系国家，而为传统大陆法系国家所反对，这是由于两者在制度类型上的差异所致。在我国，公布不同意见有较大的现实意义：可以克服合议庭评议过程流于形式化，有助于强化法官责任制，增强法院审判活动的公开性和透明度，提高司法的权威和公信力。     

辩证逻辑的现代发展及述评

本文对上世纪60年代以来国内外辩证逻辑形式化的主要成果,作了一简要的述评,以利于学术界了解目前研究的进展情况,促进21世纪辩证逻辑形式化的研究.     

逻辑学研究

正[主持人语]学术文化贵在多元,"独立之精神,自由之思想",道出了学术发展的精髓,也是我们应当坚守的原则,甚至是底线。本期发表的两篇文章,体现了我们的这种思考。桂起权教授偏爱辩证逻辑,长期从事这方面的研究,他在《从逻辑哲学看辩证逻辑的形式化》一文中,依然热情地为辩证逻辑"鼓"与"呼"。我们期待,辩证逻辑研究者们拿出更具实质性的研究成果,使辩证     

中文理解对欧洲语言形式理论的解构

中文的理解对欧洲语言形式理论的命题性、复杂性、增生性、客观性和唯理性进行了解构,由此对语言形式理论的普遍性展示了不同的视角。汉语功能句型的丰富实例表明,形式化只是语言理解的工具而非目的,形式化具有文化的维度。在形式化的分析之上,人类语言还有更高的理解原则。     

“吐纳英华,莫非情性”——“文体”与情性关系解读

文体思想是古代文论的研究核心。本文基于传统文体思想研究现状的不足，以刘勰《文心雕龙》为中心，从“文体”概念三层面清理了“文体”概念的形式化误读问题，提出“文体”概念非仅涉及文学的艺术形相，实与情性具有两面一体的统合性关系，且在二者关系之中，情性是第一位的，故传统文体思想在肯定“文体”的本体性地位的同时，有效遏制了形式主义文风的泛滥，并因其对“文体”与情性关系的深刻理解，开出了“言少意多”、“意在言外”的审美思路。