自然语言的形式化

本文阐明了自然语言形式化是人工智能领域实现“人机对话”的关键,介绍了与自然语言形式化相关的主要理论并选取了三个典型的个案进行剖析。     

走出作业形式化的误区

针对学生常规作业所存在的作业完成场域、作业设计目标、作业完成主体的错误认知,教师需要通过拓宽作业完成场域、精准设定作业设计思路、培养学生自主管理能力等举措,走出作业形式化误区,让作业真正促进学生发展.     

悖论的定义及其形式化

"什么是悖论"其实就是悖论定义问题,始终是悖论研究的一个重要问题,对这个问题的回答在某种程度上决定了研究的方向和深度。以张建军的"三要素"表征的悖论定义是现有研究成果的典型代表,国内的一些著名逻辑学者都在这个问题上发表了各自的看法。通过对这些看法的比较研究,提出一个更合理的悖论定义,并予以形式化。     

提高语文教师素养 让课堂走出形式化误区

新一轮基础教育课程改革非常重视学科教学的有效性,但语文课堂教学形式化、绝对化、片面化依旧严重,许多语文教师深感迷惑,不知在教学理念众说纷纭的今天何去何从。语文教师的综合素养是决定课堂质量、教学质量、学生发展水平的关键因素。本文旨在吸取众家之长,通过冷静的观察、科学的方法、客观的分析、综合的评价,以积极的探索和有效的策略,来提高语文教师素养,让课堂走出形式化误区。     

数学形式化与非形式化的研究综述

《普通高中数学课程标准（实验）》课程基本理念中的第七条是强调本质，注意适度形式化。形式化是数学的基本特征之一．在数学教学中，学习形式化的表达是一项基本要求，但是不能只限于形式化的表达，要强调对数学本质的认识，否则会将生动活泼的数学思维活动淹没在形式化的海洋里。数学的现代发展也表明，全盘形式化是不可能的。因此，高中数学课程应该返璞归真，努力揭示数学概念、法则、结论的发展过程和本质。数学课程要讲逻辑推理，更要讲道理，通过典型例子的分析和学生自主探索活动，使学生理解数学概念、结论逐步形成的过程，体会蕴涵在其中的思想方法，追寻数学发展的历史足迹，把数学的学术形态转化为学生易于接受的教育形态。这一课程基本理念一经提出，有关高中数学形式化与非形式化的一系列问题便成为我们高中数学教师研究的重点问题。     

墨家逻辑与亚里士多德逻辑的形式化和非形式化问题

非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化.形式化注重精确性、系统性,但也比较远离现实生活;而非形式化则紧密联系日常语言,但也有明显缺陷.当前逻辑学发展既要注重形式化研究,也要注重非形式化研究.     

论类比推理形式化

类比推理形式化尽管显示出丰富多样的形式,但并未形成一种较为明确的定义.本文在考察这些类比推理形式化之后,指出类比推理形式化始终无法与经验相关的心理内容扯断联系.这是因为类比推理的经验依赖性和主体依赖性特征所致.一种合理的类比推理形式化应当尽可能的刻画类比推理这些性质.这一点只能通过弱化经典逻辑以及现代逻辑的形式化概念才...     

论证的语言

本文从非形式逻辑视角,通过对论证语言研究历程的粗略分析,指出了形式语言的局限性,语言的意义和功能,语言对论证的干扰,认为好的论证需要好的语言。     

真值表:从自然语言到形式语言的桥梁

逻辑科学、语言科学和计算机科学日益发展,对自然语言进行精密的逻辑分析的要求越来越高。对复杂的自然语言语句采用直观的形式化方法面临着困境。本文在自然语言形式化过程中引入真值表法,在实例运用、可行性与必要性、运用步骤等方面作了探讨,以期对自然语言作出更为精确可靠的形式化。     

弗雷格构造“概念文字”缘由、意义与历史价值

由于自然语言在表达上的模糊与歧义,无法保证逻辑推理形式的准确性,造成了逻辑学与其他学科边界的模糊,弗雷格产生了构造一套纯思维形式语言的想法。他模仿算术语言构造"概念文字",避免了主词谓词的区分,消除了自然语言的模糊性,对命题逻辑与谓词逻辑进行形式化,分别构造了公理系统。"概念文字"实现传统逻辑向现代逻辑的华丽转身,促成了语言哲学和分析哲学的诞生。     

法律理性化的悖论——韦伯法律社会学意义上的考察

韦伯的理解社会学采取了“价值无涉”的学术立场,利用其独特的社会行动、理想类型等学术概念,对西方法律的理性化进行了从实质到形式、从不合理到合理的单一描述,但是,韦伯理论遭到了理论和事实的质疑,单一的形式化和合理化掩盖了法律理性化的内在悖论。在立法上和司法上,法律的理性化具有规则和价值、形式和实质的二律背反,这说明了法治是形式合理与实质合理的内在统一,这对于中国法治的形成具有重要的启示意义。     

基于规则挖掘的事故诱因属性的形式化与建模

交通事故的诱发因素包括人为、车辆本身、道路、环境等因素,对于已经存在的交通事故数据采用科学的分析方法进行整理、归集,对事故数据库的大量源数据进行合理的属性取舍与必要的形式化,建立有效数据挖掘模型,对于后期的关联规则挖掘具有重要的意义。     

对法律逻辑学形式化定位的否定性思考

在近现代的法学研究和法律实践的过程中，法律的逻辑性问题受到了普遍的关注，从而促使了法律逻辑学的产生。然而，由于对法律逻辑的性质、特点、研究对象等问题存在着不同的认识，关于法律逻辑学的定位问题成为建构科学的法律逻辑学体系，促进法律逻辑学发展急需解决的首要问题。本文主要从我国法律逻辑学发展的历史和对法律逻辑形式化的局限性分析的角度，对法律逻辑学形式化定位予以否定性思考。     

传统BLP模型的Z规范

安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据.     

逻辑和语言研究的交叉互动

逻辑和语言的研究分为句法、语义和语用几个领域。在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。这些理论自上世纪下半叶诞生起就呈现出逻辑和语言研究的交叉互动：尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新。     

文学类写作教学悖论困境探析

文学类写作教学质量难以提高的因素是多方面的。文学的虚构性是一种不可求证的感情图景;从习作者的个人知识的积累上看,相当分量的知识不是老师可以传授的;从教学的特性上看,教学要求老师关注普遍性而创作讲究的是发挥创作者的个性,教与学之间势必产生冲突;还有检验教与学的标准的宽泛性所引发的争议从而导致学生学习积极性的降低等等,这些因素能否妥善解决和写作教学质量能否提高是密切相关的。     

走出语言理论研究的困境——对《通化师范学院学报》开辟“语言理论”专栏的祝贺和期盼

从这期开始,本栏目名称更名为＂语言理论研究＂。本栏目主要发表语言理论方面的特色论文,兼顾语言其他领域的论文。这期最有历史意义的文章是80多岁的著名语言学家、中国人民大学胡明扬教授对＂语言理论研究＂这个特色栏目开设的祝贺和期盼。他从历史到现实提出：要正确认识和重视语言理论在中国语言研究中的价值。北京师范大学王庆博士的论文,回顾王力等对语言理论的重视态度,也给人启发。通化师范学院王洪杰副教授的论文,对20世纪汉字规范化做了历史考察。东北师范大学胡雪婵研究生和胡晓研教授抓住＂被X＂的被动结构中＂X＂从及物动词向其他词类扩散带来的特殊语用现象进行分析,可以启发人们探讨语言发展理论。     

《王昭君》的两难选择

《王昭君》的创作是特定时期的产物,充满了复杂的两难选择。主要表现为悲剧题材转为喜剧题材的悖论和两难,以及孙芙人、姜夫人的人生追求所形成的主体追求的悖论与两难。导致两难选择的原因是这部作品既要体现历史性,又要体现现代性;既要体现政治意图。又要体现作者的主体意识。     

走出教师专业自主性困境的思考

教师专业化是世界教师教育发展的趋势和潮流,也是我国教师教育改革所探讨的热点问题之一。然而,当前教师专业化的理论研究和实践都遇到了很多困境,包括目的困境、权力困境、制度困境等。教师专业自主是教师实现专业化的前提,本文主要分析我国教师的专业自主性困境,亦即教师权力困境的形成原因,并试图从教育行政部门、学校和教师三个方面探索走出这一困境的途径。     

课程知识抉择中的“两难”困境与出路

知识价值问题是课程抉择的一个重大问题。长期以来,人们踯躅于科学与人文、实用与教养的二难选择,只有处理好科学知识与人文知识、教养知识与实用知识在课程中的关系,才能对基础教育的课程设计有所帮助。