谈鲁迅小说中的逻辑问题

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

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

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

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

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

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

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

发展乡村旅游业的几点思考--以浮梁县瑶里镇为例

本文以浮梁县瑶里镇发展乡村旅游业的实践为例,研究分析了市场经济条件下乡村旅游业发展的必备内因、外部条件以及面临的困惑难题,并从创新体制、机制的角度,就一些共性问题提出了对策性建议.     

社会发展动力：决定论？合力论？

关于社会发展的动力有很多种理论 ,特别是马克思的决定论和恩格斯的合力论给人们认识社会发展的动力提供了一个新的视角 ,但现在看来 ,仍有不足 ,就是忽略了精神性动力的强大作用而过多强调物质性动力的首要作用 ,从而陷入一定困境 ,本文认为精神性动力应和物质性动力一样 ,成为社会发展的主导性动力 ,建立一个双重的动力合力决定论。     

逻辑演算与形式化方法

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

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

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

论基于政府主导战略的江西红色旅游总体布局

红色旅游是典型政府主导型的旅游发展形式.江西红色旅游的空间形态和总体结构,在遵循"三色旅游"协调发展、区域旅游合作、交通区位依托、资源依托市场导向相结合、适度有序开发等原则的基础上,按照以井冈山为龙头,以南昌和赣州为集散中心,以井冈山、瑞金和南昌为支点的思路,建设井冈山、南昌、瑞金、萍乡、上饶、九江六大红色旅游区的构想展开布局构架,是基于政府主导战略的生产力布局和发展模式.按照这一总体布局,配套建设湘鄂赣、赣浙沪、"中央苏区"三大红色旅游协作区,井冈山、南昌、瑞金、安源、上饶集中营、弋阳、于都、三湾、秋收起义爆发地、小平小道等10个红色旅游经典景区,启动建设并开放25个红色旅游景区,组合红色旅游专题和多色旅游互动两条线路,是促进江西红色旅游全面发展的战略性举措.     

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

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