刘少奇两种教育制度思想发展的内在逻辑——以天津半工半读教育发展为参照

学术界对刘少奇的两种教育制度思想已从多方面进行了研究 ,取得很多成果。但对他的两种教育制度思想深化发展的内在逻辑却研究不足。文章以当时刘少奇非常关心的天津半工半读教育发展为参照 ,从天津半工半读教育发展与刘少奇两种教育制度思想发展变化的互动关系中 ,探求刘少奇的两种教育制度思想发展的内在逻辑     

谈鲁迅小说中的逻辑问题

本文运用演绎逻辑、归纳逻辑和辩证逻辑的基本方法 ,对鲁迅小说中的逻辑问题进行分析 ,得到一些有益的结论     

试论制约人工智能发展的逻辑问题

基于目前阻碍人工智能发展的各种因素 ,提出了人工智能发展中的逻辑问题 :非确定性推理、形象思维和常识问题。指出这些逻辑问题是制约人工智能发展的瓶颈。从理论上对这些问题进行了分析和探讨     

用次协调逻辑的思想认识矛盾问题

逻辑矛盾、辨证矛盾和悖论究竟是不是三类性质不同的矛盾 ?这个问题一直是我国逻辑学界争论的一个焦点 ,至今尚未取得共识。本文试图用次协调逻辑的思想重新认识思维领域中的矛盾问题     

论概念间的外延关系在普通逻辑中的地位

普通逻辑对概念的研究是从思维形式的角度进行的。对概念之间的关系的研究，主要从外延上看其有无重合之处，分为相容关系和不相容关系，具体表现为：同一关系、真包合关系、真包含于关系、交叉关系、全异关系。本文用欧拉图表示上述概念间的外延关系。并通过揭示概念间的外延关系对概念、判断、推理等各种思维形式所起的作用，来论证它在普通逻辑理论体系中占有十分重要的地位。     

究竟由谁掌握生育的权利？

问：五个月前，我和房主张彦签订了《定金协议》，约定张彦将其名下110平方米的房屋．以64万元的价格卖给我。双方约定定金为5万元，预付房款45万元（含定金），余款待我取得房产证后5日内由贷款银行直接划入张彦账户。如我反悔则不返还定金，若张彦反悔则双倍返还定金。当天，张彦把房及有关资料给我，我也将45万元支付给张彦。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

《红楼梦》中《癞头僧嘲甄士隐诗》的语篇纯理功能试析

本文以Halliday的系统功能语法为理论工具,尝试对《红楼梦》中《癞头僧嘲甄士隐诗》的五个英译本进行逻辑语义关系、主位结构和衔接系统的对比分析,以展示在翻译中考虑语篇纯理功能的重要性。     

公有制经济主体地位的逻辑反思:前提还是结果

受经典作家的理论影响,我们始终强调公有制经济的主体地位,但这是一个伪命题.在市场经济体制下,公有制经济与民营经济、外资经济都是平等的市场主体,不存在主次贵贱之分,如果有主次之分,只能是市场公平竞争的结果,而不是前提.决策者应当顺应市场逻辑,放弃主体地位提法,遵循市场法则,唯此才有利于资源的优化配置.     

斯洛文尼亚语中的逻辑因素——作为时态与体态的施行性

1955年,奥斯汀提出了他的施行式理论("言与行理论")。在比英语拥有更丰富、更歧异的词法的斯洛文尼亚语中,发现(甚至可以说发明)施行性的道路是截然不同的。而且在原则上,这对讲其它多种斯拉夫语的人们来说也是如此。首先,本文介绍了一位斯洛文尼亚19世纪的语言学家斯克拉贝(Stanislav Skrabec,1844～1918)的对于这个理论的贡献。之后,我们解释了他在什么样的基础上发起了一场关于斯洛文尼亚语中完成式现在时与未完成现在时的使用差异的争论。