浅述安瑟尔谟的上帝存在的论证

上帝是否存在以及上帝的存在证明是西方神学家和大多数哲学家所关注的问题。自西方中世纪以来,神学家和哲学家如奥古斯丁、波依修斯、托马斯.阿奎那、邓.司各脱以及近代的笛卡尔、康德,现代的有罗素、巴特、哈茨霍恩、希克等,都有论述,作为"经院哲学之父"的安瑟尔谟也不例外。     

党的理论创新历程：实践品格、世界眼光和时代精神的统一

马克思主义的创始人一再申明，马克思主义并没有结束真理，而是开辟了认识真理的道路。以马克思主义为指导的中国共产党，在领导革命、建设和改革的历程中，始终坚持解放思想、实事求是、与时俱进，把马克思主义的普遍原理和中国实际相结合，不断推进理论创新，形成了毛泽东思想、邓小平理论、“三个代表”重要思想和科学发展观等理论成果。     

说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把“自指代命题”从“自指命题”中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的“不可判定”命题,现在有3种不同的错误解释：是非不可分辨的命题（三值）、是非可分辨（二值）但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致“真理丧失说”和“数学丧失了确定性”,但还应充分肯定哥德尔的历史功绩。     

基于层次过滤模型的中文指代消解

针对现有的中文指代消解研究大多采用二元分类模型,容易出现消解正确率低的特征覆盖消解正确率高的特征以致模型指代划分错误的问题,提出了一种改进的层次过滤模型用于中文指代消解。该模型结合中文语义知识,在原模型中加入语义匹配层,该层通过引入Web语义知识很好地弥补了中文语义知识库较小的不足,并针对中文的特点对原模型的待消解项识别层进行相应的修改使之更加适合中文指代消解。将上述模型与两类基准系统在ACE2005中文语料上进行5种测评,结果表明,所提出模型的F平均值分别高于两类基准系统约4%和9%。     

从“三个有利于”到“三个代表”——浅论理论创新过程中的一贯性

“是否有利于发展社会主义社会的生产力,是否有利于增强社会主义国家的综合国力,是否有利于提高人民的生活水平”(简称“三个有利于”)是邓小平同志提出的评判各方面工作是非得失的标准。江泽民同志提出的“三个代表”重要思想是对“三个有利于”的理论创新。文章论述了两者在本质上是相通的、一致的,既体现了马克思主义在实践中不断发展真理的理论开放性,又体现了马克思主义在理论创新过程中的一贯性。     

泰勒科学管理的价值剖析

管理理论较为系统的建立是在19世纪末20世纪初。这个阶段形成的管理理论称为“科学管理理论”。泰勒的科学管理思想集古典管理思想发展之大成，是将整个19世纪在英、美两国产生、发展起来的东西加以综合而形成的一整套思想。它是管理发展史上的一个转折点，同时它又是一个较为完整的管理思想体系。在基本理论的基础上深入探讨泰勒科学管理的价值。     

视频检索技术中"人物"语义的提取方法

视频检索技术中如何利用视频中出现的“人物”提取有用的语义信息,是值得研究的课题。文章首先提出视频检索技术中“有效人物”的约束条件,然后利用肤色模型确定人脸区域、采用基于PCA/ICA特征和SVM分类的人脸检测方法实现人脸检测,通过“有效人物”的语义人脸概率模板(SFPT)获取视频中的语义人脸,最后利用“对象模型库”建立的人脸特征与高层语义的关联,实现“人物语义”的提取。     

逻辑元语言问题

“元语言”原是现代逻辑哲学中的概念,塔尔斯基和卡尔纳普分别从语义学(semantics)和语形(syntax)的角度将它与对象语言区分开来。波普尔提出语言中的自我涉及(autonomous)问题,蒯因提出“语义上行”说,戴维森把关于真理的形式理论应用于自然语言的意义理论,这些均给语言学研究带来方法论上的启迪：     

基于细胞元的语义特征造型研究

在语义特征造型领域中的特征定义及特征描述基础上，利用B-rep、CSG和FDT的混合模型表示实体模型，并引入参数化的设计方法，提出了基于细胞元的语义特征造型的思想，从而使形状特征可以根据需求进行调整．针对当前特征造型系统中存在的缺陷，为建立新一代的特征造型理论和方法，进一步研究了基于细胞元模型形状特征的修改操作，并实际应用到自主开发的计算机辅助工业造型系统(HUSTCAIDS)中．     

基于统计语义方法的文本分类

本分类是指在给定的分类体系下，根据本的内容自动地确定本所属的类别。与当前的本分类技术相比，统计语义方法描述了语义元的相互关系，定义了语义元间的亲和力、语义元集的松散度等。基于上述定义，给出了一种选取关键词集的方法，并用所获得的关键词集构造了关键词集树，完成了映射类别未知的本的词集到关键词集树的分类过程。     

对话性的流变——从苏格拉底到巴赫金

在西方哲学史上,对话性影响深远,其流变历经五阶段：第一阶段指“苏格拉底对话”——通过对话探寻真理,这是一种辩证法对话。第二阶段是“梅尼普讽刺”,它以喜剧手法戏拟现实,“非圣无法”、“疾虚妄”,是一种文学性对话,也是对辩证法的变异运用。辩证法的内在思想对话构成对话性流变的第三阶段,康德和黑格尔的辩证法是其代表。第四阶段涉及新型对话关系问题的提出。布伯论述了对话的“我——你”关系问题,将对话性的研究提升至新水平。第五阶段始于20世纪初,巴赫金视“对话”为一种语言哲学方法,认为对话无处不在,并指出开放式的“复调对话”是对话的最高形式,从而全新地发展了对话性。     

英语修辞格中词语异常搭配及其语义功能

从通感、矛盾修饰法、移就和轭式搭配角度,分析了英语修辞格中与语义相关的词语异常搭配。说明这些创造性搭配以辞格为依托,突破语言常规限制,却符合逻辑范畴,具有很强的语义功能。语言变异中异常搭配有意造成“突出”,具有注意价值和联想功能,是用来加强语言传递效果的有效手段。语用目的明显,认知过程精简,会诱使读者透过其正常指代,寻找言外之意,具有特殊的修辞功能。     

真理:寻求存在的真实世界

传统符合论真理观寻求超感性的“真实世界”却导致了“真实世界”的虚无。尼采以颠倒的思维方式实现了真理由理性倾向向感性倾向的转变，但尼采仍囿于认识论的领域中探索真理。所以，对真理的研究应该从认识论的探索深化到本体论的考察。反思真理的本体性根基是当务之急。真理是存在的真理，真理的本质是自由。真理是寻求存在的真实世界，这也是马克思主义哲学的应有之义。     

中国学生英语写作中人称代词衔接功能的对比研究

人称指代作为一种语篇衔接的手段，主要由人称代词来体现。文章通过利用统计和语料库方法对比分析了中国英语学习者语料库和本族语学习者语料库中人称指代的使用情况，发现中国学生英语写作中人称指代的使用与本族语学习者有很大的差异。差异主要体现在中国学生英语写作中过多使用衔接能力很弱的第一、二人称代词而过少使用衔接能力很强的第三入称代词。造成差异的原因可能是文化的差异、母语的影响和缺乏文体意识等。最后讨论了基于本研究对英语教学的启示。     

八项质量管理原则在银行业的应用

2000版ISO 9000族标准的颁布，丰富了质量管理的思想内涵，为服务行业的质量管理工作提供了操作性强的质量管理模式。作为2000版ISO9000族标准理论基础的八项质量管理原则，是在“21世纪是质量的世纪”这个大背景下提出来的，贯穿于ISO 9000族标准的四个核心标准之中(ISO 9000、ISO 9001、ISO 9004、ISO 19011)，为2000版ISO 9000族标准的普及提供了思想保证。中国银行业应积极倡导八项质量管理原则，迎接“入世”挑战。     

RDAQAS中问句相似度计算方法研究

在受限领域自动应答系统(RDAQAS)中，以“知网”和领域本体库为基础，计算目标问句和问句语料库中问句的相似度，从中寻找最相近问句，最终提取答案的方式，是一种很实用的自动应答实现模式．文中介绍了金融领域本体库、问句语料库等语义资源的构建方法，提出了基于关键词空间向量模型和基于语义概念空间向量模型的问句相似度计算方法，并对其实现过程进行了详细描述，最后给出了两种方法的具体的问句相似度计算对比实验实例．     

基于概念格的语义Web服务匹配研究

以本体论和概念格理论为基础，提出一种基于语义Web 服务相似度的功能匹配方法；根据该方法实现了一个原型系统，为语义Web服务查找匹配提 供了一种可行的解决方案.     

Web服务语义安全供求策略研究

目前,Web服务安全供求策略的表示与匹配是句法层次的,通过比较策略在结构和词法上的相似性来确定其兼容性,容易导致错误的匹配结果.为此,提出了基于语义思想来表示和匹配Web服务安全供求策略的方法.通过构造一个一般性的安全本体,提出了Web服务语义安全供求策略的定义方法和匹配算法,将策略的匹配问题转化成语义概念的包含推理问题.理论分析和实验结果表明,本文提出的方法能使策略内容包含必要的语义信息,可有效提高匹配结果的准确性,克服句法级方法存在的不足,同时也能在一定程度上简化策略的定义与管理,从而为Web服务环境下的安全供求策略表示与匹配问题提供了一个更为有效的解决方案.     

英汉基本颜色词“红”的认知语义

以认知语言学的原型理论、隐喻、转喻为基础,分析了英汉语言中基本颜色词“红”的认知语义共性及差异。人类共通的认知方式是形成其语义共性的主要原因,英汉民族不同的社会文化因素造成了“红”在两种语言中的语义差异。     

基于概念格的语义Web服务匹配研究

以本体论和概念格理论为基础，提出一种基于语义Web 服务相似度的功能匹配方法；根据该方法实现了一个原型系统，为语义Web服务查找匹配提 供了一种可行的解决方案.