课堂教学活动逻辑视角下的小学数学

人类活动都遵循一定的逻辑,课堂教学亦不例外。基于本真的课堂教学活动逻辑,让学生在数学课堂上自由想象,进而去构建对数学概念、规律的认识与理解,这是最符合小学生认知特点与数学发生逻辑的教学思路,应当成为数学教师认识数学课堂的最基本的观点。

从“知识逻辑”到“活动逻辑”:中小学音乐校本课程开发探析

中小学音乐校本课程的开发是基于学校中长期发展需要和师生主体的现实诉求而开展的,是以落实党和国家关于音乐学科的政策方针为导向,以培养具有合格音乐素养人才为指引,以统筹调配校内外多元主体的多种资源为支撑,中小学对音乐校本课程进行设计和实施的活动。在现代教育体制深化改革中,中小学音乐校本课程开发的逻辑遵循正从知识逐渐转向统筹教学关系、教育场景、教材文化的实践活动逻辑上来。具体可以从中小学音乐知识经验是迁移还是重构、课程体系是规范还是创新、开发方向是全面还是系统、开发范式是条框还是扁平等四个方面入手,对现阶段中小学音乐学科文本进行重新反思,寻找音乐校本课程开发的转变动因;可以从树牢教学目标、创新教学方法、优化教学关系等三个方面,探寻“知识”到“活动”的逻辑转变,寻找现阶段中小学校本课程开发的突破口;可以从开发主体的确定、开发目标的设计、开发内容的搜集、开发模式的设定等四个角度,以“活动逻辑”为基础有序衔接“知识逻辑”,寻找到中小学音乐校本课程开发转变的创新之路。

名师成长的活动逻辑——基于经典“引导者”的比较融通

闻名于启发引导的孔子和苏格拉底,是中西教育思想源头的经典性存在。从整体上把握他们作为“引导者”的角色意蕴,是深刻理解他们终成“万世师表”和“众师之师”的根本所在。这需要超越过往以工具思维和技术理性为基点的“有术无人”的认识局限,从“引导者”的主体性存在出发,对他们在启发引导活动中所秉持的身份、坚守的信仰、洞悉的机制三个层面,进行深入地阐发、比较与融通,可启示我们认识和把握名师成长的活动逻辑。

“全国报刊逻辑语言应用病例有奖征集活动”新闻发布会举行

5月25日，“全国报刊逻辑语言应用病例有奖征集活动”新闻发布会在中国社科院举行。此次活动由中国逻辑学会、中国语文现代化学会、中国编辑学会、中国语文报刊协会、中国文化报社、光明日报社（理论部）、中国逻辑与语言函授大学等八家单位共同主办。得到了教育部语言文字应用管理司、国家新闻出版总署报刊司的肯定和支持。教育部原副部长兼国家语委主任柳斌，中国编辑学会会长、国家新闻出版总署原副署长桂晓风，教育部语言文字应用管理司司长王登峰等出席会议并讲话。

基于时序逻辑的工作流建模与分析方法

提出了一种基于活动时序逻辑（TLA）的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个，TLA公式，对工作流模型性质的分析可以等价为对，TLA中两个公式之间是否存在蕴涵关系的检验，从而建立了一个工作流模型各层次分析统一框架。一个工作流建模和分析的实例验证了所提出方法的有效性，该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景。

论儿童精神的诗性逻辑

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

基于TLA的SaaS业务流程定制及验证机制研究

SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.

试论认识发展的抽象化趋势的实质

抽象化是人类认识发展的一种必然趋势。近现代的两次科学革命使认识的抽象化程度发生了两次质的飞跃。认识发展的抽象化趋势的实质在于： 认识抽象化的过程同时也是认识具体化的过程， 是认识不断接近客观事物本来面目的过程，

选题策划与编辑意识

选题策划与编辑意识周奇选题策划是编辑的基本职能。选题策划的优劣成败，与编辑的职业意识关系密切，这是因为编辑必须用编辑的眼光去审视世民，去捕捉信息，去思考问题，只有这样，才能成功地进行选题策划。选题策划有个方法问题，但策划方法与职业意识相比，是第二伍的...

刻画主体有智能的逻辑(英文)

本文提出两个标准来表示"一个主体有智能":该主体知道它的知识和它做过的活动。然后我们给出若干逻辑系统分别整体地、局部地和半局部地刻画上述标准。最后我们证明这些系统相对各自的语义是框架可靠和框架完全的。

知道一个行动的逻辑(英文)

以活动为认知对象的逻辑还没有系统地建立。本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。根据这些方法,我们分别提出四类刻画知道一个活动的逻辑系统和相应的语义,然后证明这些系统相对各自的语义是可靠和完全的。

骗取贷款罪的罪质与适用--以信用风险为核心的考察

骗取贷款罪在追诉标准的把握上存在着混乱,虽然2010年《关于公安机关管辖的刑事案件立案追诉标准的规定(二)》中做出了进一步的明确规定,但这些形式化标准仍存在规范本质导向不明确的问题,且争议颇多。2020年12月通过的《中华人民共和国刑法修正案(十一)》对该罪做了进一步修正,仍然没有解决该罪在实践与理论上的根本矛盾。问题关键在于明确骗取贷款罪的罪质,而既往相关理论多忽略了该罪所涉社会生活场域自身的运行逻辑。结合金融活动的运行逻辑,骗取贷款罪之罪质应以"信用风险"为核心加以理解,并进而经由这种风险逻辑解答其各种适用问题。例如当风险管理工具并未失效时,作为二次性规制手段的刑法就不应将相应的虚假行为评价为骗取贷款罪。重新将问题聚焦于金融信贷视域,以其运行逻辑明确骗取贷款罪的罪质并作为司法实践的指向标,是保证骗取贷款罪合理适用的重要前提。