邓小平理论的逻辑起点研究之我见

关于邓小平理论的逻辑起点,有多种不同的观点,比如：社会主义的本质论、社会主义的初级阶段论、真理标准论。其实,一个单一的逻辑起点是很难统摄邓小平理论所涉及到的方方面面的,我们应该分别为邓小平理论所涉及到的不同方面找出不同的逻辑起点。     

信念-愿望-意图逻辑的哲学基础

从常识性心理学、心灵哲学和行为哲学的视角，系统探讨意图、信念、愿望、规划与Agent实践推理的关系，可得到如下主要观点：（1）意图既是潜在的行为影响者，又是行为控制者，它为进一步的实践推理和规划提供了重要的输入。（2）意图涉及承诺；规划揭示了“以实践推理为中心的承诺的重要属性”；资源受限Agent的规划通常是具有层级结构的局部规划；意图是规划和实践推理得以关联的关键因素。（3）规划支持协调，并能够扩大慎思对之后行为的影响。（4）意图不仅能够帮助实践推理确定选项的相关性和可接受性，而且还能够构建“权衡愿望-信念理由”的过程。     

时间图形的双重本原

对于康德的时间图形理论,海德格尔有两种不同解释：一是认为过去构成时间的本原,只有过去才是作为时间的时间;二是认为未来构成时间的本原,未来先行规定现在与过去的综合统一,只有未来才能提供时间图形的框架结构。文章阐明：本原分为定义本原与生成本原,过去构成时间图形的定义本原,未来构成时间图形的生成本原;语言是造成双重本原的终极原因,语言（此在）是对于时间的存在建构,语言的谓词功能建构时间的未来维度,语言的名词功能建构时间的过去维度。     

变元符号与演绎系统——兼论我国古代为何缺乏演绎系统的论述

中国古代逻辑思想没有进入演绎系统的阶段,究其原因,在很大程度上在于没有应用变元并发展出变元的概念。中国古代数学未能走出实用的领域,没有演绎系统化,因而未能走向理论的深度,原因类同。很难想像,在缺乏变元的情况下,数学会有当今的成就,逻辑学也不可能成为一门基础理论。     

自然语言语篇推理的形式化探究

不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。     

我国商业银行风险管理的现状及对策分析

银行作为金融机构的典型组织形式,它经营的是货币同时也是风险,无论是在哪个国家,银行业是否能稳定发展,都与着本国的国民经济乃至社会稳定都有着密切联系。随着社会经济不断发展,银行所面临的风险也就越来越复杂,尤其是本次次贷危机对美国一系列老牌银行的巨大冲击,从中使我们更加清晰的认识到了风险管理在银行中的重要性。风险管理能力的强弱,直接影响到银行自身的核心竞争力。为此,本文作者根据自身工作的多年经验,对当前我国商业银行风险管理的现状进行了剖析,并提出了自己的一些意见,仅供同行们的参考。     

数学存在的语言建构——结构主义的研究范式

伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉.结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义.集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向.     

论理性认识过程中的反思

反思是理性认识的必要环节 ,研究反思对于社会主义现代化建设实践具有重要意义。本文以黑格尔对反思的探讨为基础 ,运用唯物辩证法 ,系统地揭示了反思的定义、必然性、条件、过程、地位和功能     

柏拉图与康德：逻辑主义与直观主义之源

文章追溯逻辑主义与直观主义的哲学渊源．逻辑主义源于柏拉图：他提出了化数学为逻辑的思想；他的实在论、唯理论和分析方法，成为从逻辑演绎数学的技术性工作的哲学依据．直观主义源于康德：他提出了用时间、空间直观构造数学的思想；他的概念论、先验感性论和综合方法，成为用时间直机构造数学的技术性工作的哲学依据．