关于辩证逻辑形式化问题

辩证逻辑的研究重心究竟是什么 ,这是关于辩证逻辑发展的一个关键问题。从 2 0世纪 80年代末开始 ,有人提出应当把研究重心放在对它的形式化上 ,并为此付出了不懈努力。但是 ,我认为在这门学科尚未完全成熟的情况下 ,谈论如何对它进行形式化为时尚早 ,并且形式化也不是判断辩证逻辑是否是逻辑的标准。现在建立辩证逻辑形式系统的条件还不成熟 ,目前的关键是要搞清楚辩证思维的内在结构和机制 ,然后才能考虑使用何种语言 (包括人工语言 )去刻画它     

从逻辑哲学看辩证逻辑的形式化

从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱的辩证逻辑兼有次协调逻辑、相干逻辑和模糊逻辑这样的形式特性。辩证逻辑形式化研究并非只有独一无二的表现形式,相反,它可以有多元化的进路。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

非形式逻辑形式化研究的三个问题

非形式逻辑的形式化研究秉持一种局部的形式化观,即非形式逻辑能够部分地被形式化,但不是全部。形式化研究亟需回应三个问题：第一个问题是如何确定形式化域,也就是明确形式化的研究对象。第二个问题是如何找到适格的形式化工具,使之能够适用于处理形式化域当中的研究对象。第三个问题是如何应用适格的形式化工具来展开具体的形式化研究。回答这三个问题是建构非形式逻辑形式化理论的基础。     

资源描述框架的形式化表示问题研究

资源描述框架(RDF)正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领域的重要课题。本文结合国内外关于RDF形式化表示的各种观点,提出了一种较为完整的RDF图形式化表示框架。     

基于Event-B的形式化建模关键技术研究

软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性,为软件系统的质量埋下了隐患。软件工程的实践表明,在开发过程中,错误发现得越早,修复得越早,付出的代价越小。为了确保软件的质量,可在软件开发的早期需求分析阶段,采用Event-B形式化方法描述软件的需求,并验证模型的正确性。以文件系统建模为例,该文讨论了如何利用Event-B方法,采用逐步精化的方式建立并验证模型,确保软件的正确性。     

论法律推理的形式化

法律推理的形式化,作为法理学研究中的一个重要内容,在国内一直饱受质疑.在系统分析国内外法律推理形式化研究不同特点的基础上,探索“形式理性”与“实质理性”相结合的途径,即基于语用推理的视角,从法律规范推理及适用推理两大方向进行面向法律实践的形式化研究.     

语境的形式化研究

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

粒的形式化表示研究

为了能为粒计算的粒提供一种统一的表示形式,分析了粒的对象、特征、关系及状态等4个基本要素,提出了基于数据层面的粒的四元组的形式化表示形式,即由对象集、特征集、关系集和约束集四元组组成。接着给出了几个特殊粒的表示形式,然后说明了该表示形式的统一性,并结合具体的例子进行了研究。该形式化表示形式能够很好地解决基于数据层面的粒的表示问题,有利于问题求解和粒计算理论的研究。     

邓小平哲学理论的逻辑体系

邓小平哲学理论是辩证唯物主义和历史唯物主义发展的新阶段。它以“解放思想,实事求是”为逻辑起点,以“社会主义社会的主要矛盾”为逻辑核心,以“社会主义的本质”为逻辑基石,以“社会主义的根本任务”为逻辑中枢,以“科学技术是第一生产力”、“社会主义改革开放”、“社会主义精神文明建设”为逻辑支柱,以“生产力标准”、“三个有利于”为逻辑终点,形成了一个相对独立的逻辑体系。     

对科研中机械地形式化的批判

本文对现代科学界一部分人在科研中机械地形式化这一现象提出批评 ,从哲学和科学史方面论证机械地形式化只能得出不真实的结果、会过早地结束科学体验的过程从而失去创新的机会等结论。希望青年学者能抵制这一流弊 ,养成严谨的科研作风 ,并在严谨的科研中作出创新。     

相对论的产生与形式化方法

相对论不只是物理学的一种进步，而且产生了极为广泛的影响。所以，探讨爱因斯坦应用的方法是十分必要的。本文通过对相对论之理论构造的分析，得知其方法为形式公理学。     

论先锋小说叙事模式的形式化

西方后现代主义文艺思潮对中国先锋小说叙事模式的影响是形式化。它主要表现在以下三个方面:(1)叙事视角由边缘人物承担;(2)叙事时间呈能指化倾向;(3)叙事结构符号化。先锋小说叙事模式形式化引起了中国小说美学的一次革命,其意义深远。     

过程工业故障诊断知识描述及形式化

本文根据智能工程技术，在开发过程工业集成化智能诊断软件系统的实践中，通过对过程工业故障诊断共性的分析，提出了过程工业故障诊断知识描述及形式化，研究了化工过程故障诊断浅知识模型和深知识模型的集成机制，以化工过程为例，用ＩＩＦＤＳ提供的面向对象知识表达方法，实现了一个诊断系统。     

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

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

日语教育视阈下句群的形式化和翻译

站在日语教育的视阈下,通过对日语句群的形式化研究和讨论,以话语表现理论（DRT）为基础,构建了日语句群形式描写的程序,在日语语篇形式化研究方面做出了有意义的积极的探索。同时,通过对日语句群汉日翻译的教学实例的研究,指出了句群在翻译教学中的重要性。     

新课程实施中应防止“形式化”走向

新课程改革是对我国传统课程的一次重大变革,所涉及的是从教学理念、教学方法、教学内容到教学评价等多方面的创新与改革。因此,在实施的过程中应重视出现的“形式化”的走向,在实践中逐步完善新课程的实施。     

论证逻辑:逻辑教学改革的一个可能方向

我国逻辑教学改革除了现行的三种实践模式外,论证逻辑是一个更现实的可能方向。逻辑教学改革至少应该是形式化逻辑和论证逻辑两条腿走路,这也正是逻辑教学现代化的必然要求：从现代生活实际出发;与现代知识水平相称;为现代人所能充分运用     

形式化的经济发展理论研究综述

形式化的经济发展理论是指那些用动态一般均衡分析框架来解释经济发展现象的模型。一般说来,经济发展现象包括:增长起飞,即人均产出由停滞到持续增长的转变;人口转型,即人口增长由快速到缓慢的转变;工业化,即生产技术从传统到现代的转变。本文对主要的形式化经济发展模型进行归纳总结,以期梳理出它们关于经济发展机制的基本看法。在形式化经济发展模型中,技术进步、人口转型和工业化被认为是增长起飞的三个基本机制;小孩质量替代小孩数量和消费品数量替代小孩数量是人口转型的两个基本机制;利润平均化则是工业化的基本机制。