对谓词逻辑在人工智能科学中应用的分析

谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.     

关于“教育形态”问题的辨析与探讨

教育形态是由教育基本要素所构成的教育系统在不同时空背景下变化的组织形式,也是教育理念的历史再现和教育思想的现实表现。通过对教育形态相关问题的研究和探讨,明确教育形态的概念和分类标准,理清制度化教育、形式化教育与正规化教育的关系等,对于教育理论和教育实践具有重要意义。     

中国企业文化建设亟需走出五大误区

冯兵旺在《河北学刊》2006年第1期巾撰文指出：中国企业文化建设存在五大误区：①企业文化政工化。由于固有的丁作习惯，许多企业无意中夸大了企业文化中思想政治工作的内涵，甚至将企业文化等同于思想教育，使企业文化呈现出政工化倾向，即脱离企业工作，将企业文化“浮”在思想教育的层面上。②企业文化形式化。有的企业在文化建设中只专注于外观而轻视了内涵，只偏重于形式因素而忽略了内容因素，形成企业文化形式化倾向，即将企业文化建设停留在“虚”的层面上。这种“虚化”现象的具体表现为：将企业文化口号化，把企业文化等同于文体活动，热心于企业文化的外在形式，而忽视了企业文化的人性化、价值观和企业的行为方式等核心内涵。     

雅克·克莱恩的哲学成就

作为胡塞尔和海德格尔的学生,雅克· 克莱恩对一些重要问题的理解完全超越了他的两位著名导师.但由于他本人近乎偏执地排斥学术名声和被人追随,因此其在学术界显得那样的默默无闻.雅克·克莱恩将一生都奉献给了学术,他关注于概念的形式化问题,将研究的示范对象定位于“数”,认为“数”享有对古代和现代知识理论的理解力的优先性,追溯了符号数字概念的非凡力量,揭示了一种哲学上的“不可理解性”,并将这种“不可理解性”与在规则的“契约”基础上归属于它的意义相关联,完成了在“数”的概念化中的革命.     

法律形式化与法律权威的生成

法律形式化意味着确证法律权威的原则,它要求制定规范严谨、体系完整和谐的法律,要求行政权与司法权相分离,要求严格的司法程序主义。遵循法律形式化在法的运行过程中的要求,才能确证法律的高度权威性,建立现代化的法制。     

2005:辩证逻辑正在向深度和广度拓进--国内若干流派重要观点解读

全国辩证逻辑2005年学术研讨会于11月6日～8日在桂林召开。综观本次学术研讨会的研讨情况可以看出,我国辩证逻辑的新进展,主要从以下几方面展开:辩证逻辑与悖论研究的关系,辩证逻辑与科学方法论,辩证逻辑与中医理论,辩证逻辑形式化。辩证逻辑学界的思想火花闪烁不断,这标志着在2005年,辩证逻辑研究正在向深度和广度拓进。     

基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

小区党支部实体会运作的生动实践

“支部建在连上”是建党建军的一项基本原则和制度。近年来,各地纷纷开展“支部建在小区上”工作,小区党支部成为党组织领导基层治理的一个重要抓手,在疫情联防联控中小区党支部发挥了“硬核”力量。但在日常生活中,我们发现小区党支部仍存在虚化、老龄化、形式化等问题,小区党支部的作用没有得到充分体现。     

落日情节的漂浮与戏谑智性的敞开——知青文学研究之四

20世纪 90年代出现了一些不同于以往主流知青文学的知青叙述 ,这将是本文的分析对象。全文主要分两个部分 :第一重点讨论蒋韵、林白、李锐等 90年代前半期的知青题材写作 ,考察的焦点是他们共有的独特的时间意识 ;第二节主要围绕王小波的《黄金时代》展开 ,我们将看到此部作品对中国文化精神结构的革新性意义