论自然科学研究客观性的属人性质

思维的逻辑化过程是与自然结构稳定性把握平行的过程,这个过程是在人对自然的实践中逐渐发展起来的,它决定了自然科学研究中的客观性具有属人性质,其构成的知识也是如此。     

基于形式化技术的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,本文采用一种形式化技术——有穷状态机来描述电梯系统的规格说明,有穷状态机技术准确、无歧义,可以正确地描述一个系统。     

以政治建设破解新农村建设的困局

当前新农村建设陷入了"形式化"困境.其根源在于缺乏政治建设的跟进.要破解新农村建设的困局,必须把政治建设纳入到新农村建设的议题当中,着力调整与完善与农村社会相对应的基层政治体制、政府运行机制以及以农民权利为中心的政治关系.新农村建设应该包括五大建设:政治建设、经济建设、社会建设、文化建设和生态建设,而政治建设是新农村建设的重要保障和前提.政治建设的根本目标是还权于民,其所面临的重要任务是调整中央与地方、国家与农民、城市与农村的关系.     

词语同义关系的模糊矩阵描述

从模糊数学的视角来看,语言中词语之间的同义关系是一种模糊关系,可以用模糊相似矩阵予以形式化的描述.矩阵描述的前提是对同义词之间的相似程度进行量化.在量化过程中,采用相似性科学中的有关方法,并以义素分析法为中介,可以精确计算出同义词之间相似程度的具体数值.     

中小学教师视野中的教案检查问题

对北京房山、密云中小学的352名教师的问卷调查和25名教师的访谈中发现,中小学教师认为教案检查存在问题.问题一方面表现为教案检查标准的形式化和统一化,一方面表现为教案检查方式缺少反馈和激励.这些问题增加了教师的无效劳动,给教师带来不必要的负担,不利于教师教学水平的提高,也造成教师对管理的反感.从教师的角度来说,制定区分性的教案检查标准,探索注重反馈和激励的教案检查方式是解决问题的关键.     

弗雷格的实质蕴涵思想与现代逻辑的选择

弗雷格提出实质蕴涵思想的最初依据实际上也是蕴涵命题前后件之间的相关性,他所引以为据的"如果太阳现在已经升起,那么天空乌云密布"并不是毫无条件联系的假言命题,他是由这种相关性经过抽象论证而过渡到了实质蕴涵的,但他的论证并不是逻辑有效的.弗雷格的思想对现代逻辑以至于现代哲学的影响是巨大的.罗素把实质蕴涵的思想明确地贯穿于他的逻辑体系并且还提出了一个关于实质蕴涵的形式化定义,由此,实质蕴涵的意义完全成了一种人为的规定,它不仅不能正确处理自然语言中的假言命题,而且也不能正确处理自然语言中的假言推理.判断一个条件句的真值最主要还是要看该条件句的前件和后件之间有没有条件和结果的关联.判定条件语句真假的复杂性要求判定者必须具备超出形式逻辑范围的知识.     

语境的形式化研究

语境是语言交际的重要因素 ,信息技术不断发展 ,计算机处理自然语言 ,必须对语境形式化。本文从计算语用学和人工智能的角度出发 ,对语境的形式化研究进行了综述。计算语用学的目的是建立自然语言理解系统 ,而人工智能研究语境形式化主要解决知识普遍性的问题。从第 2节到第 4节 ,文章从理论背景 ,研究方法和逻辑表征方式三个方面综述McCarthy(1987) ,Perrault和Allen(1980 ) ,Bunt(2 0 0 0 )对语境进行的形式化研究 ,比较它们的不同和相同之处 ,为语境的形式化提供可借鉴的方法和理论。     

预设理论的形式化研究

文章探讨了学者们普遍关注的与预设相关的问题,并重点讨论了盖士达的潜预设理论,即潜预设理论的形式化定义及系统定义,从形式化角度重新审视预设理论的发展.最后本文指出了该理论的优势与不足,希冀引起人们对该理论更深层次的思考,为预设理论的深入研究提供了建设性思路.     

改进审稿制度,促进学术水平的提高

审稿制度对学术水平有重要影响,专家审稿比编辑审稿更符合学术规范的要求,建立匿名审稿制度、完善审稿制度中的形式化规范和提高实质性审查水平对促进学术水平的提高很有必要.