论逻辑科学发展的高级阶段——辩证逻辑

普通逻辑是以普通思维形式及其规律为研究对象的。辩证逻辑是关于辩证思维形式及其规律的科学，与普通逻辑的研究对象有所不同，是逻辑科学发展的高级阶段。     

法律逻辑简论

法律逻辑是一门学科,有其独立的研究对象,是一门主要研究法律思维形式及其逻辑方法的科学,法律逻辑可归属于应用逻辑之列。法律逻辑的研究包括两个层次：逻辑在法律中的应用与系统化的法律逻辑。     

近十余年贵州普通逻辑研究概述

1980至1993年是贵州省逻辑工作者研究普通逻辑成果最多的时期，先后出版了一批教材和教参，发表了甘多篇论文。现将比较重要的观点归纳介绍于后：一、学科名称。有的同志赞成将“形式逻辑”，改为“普通逻辑”。使用“普通逻辑”这个名称，有助于人们把它既和真正的形式逻辑即数理逻辑区别开来，又和以辨证思维形式及其规律为研究对象的辩证逻辑区别开来。为了名符其实，有同志建议也可改称为形式逻辑与科学方法论。二、体系和内容。有的同志提出既要从符号化与概括现代语言材料两方面探索，又不能只局限于在这两方面。还要注意研究思想基本…     

关于普通逻辑学科体系的新构想

本文认为现行的普通逻辑著作，其内容不够完整，缺乏对思维过程的研究；其篇章纲目不清，结构也不尽合理。因而提出：应将知性思继过程的结构形式作为对象专门研究，并确定疑问是思维过程结构中的起始环节。推出了“疑问─—假设─—证明”这一过程结构。对现行普通逻辑体系进行相应调整，变为：思维规律、思维形式、思维过程、思维方法，共四编十八章。     

交际逻辑初论

本文对交际逻辑存在的必然性及其研究对象、类型等进行了探索性的论述，提出了交际思维、交际思维形式、交际逻辑等一系列新概念及其新论点，尝试开辟逻辑尤其是自然语言逻辑研究的新领域。     

关于“命题的否定”之教学探讨

逻辑是研究思维形式及其规律的一门基础学科,也是认识问题、研究问题不可缺少的工具.作为高中学生,学习一些基础逻辑知识是非常必要的.     

直言命题的运用并非纯逻辑的——评逻辑教材自身的逻辑矛盾

普通逻辑(或称形式逻辑、传统逻辑)所研究的命题形式(或称判断形式)之所以具有抽象的概括的与纯形式的性质,是因为逻辑学研究思维形式(或称思维的逻辑形式)时,要暂时撇开思维内容。而现行逻辑教材中,谈及“正确运用直言命题”时,却不顾这一特性,将命题的形式与命题的内容“相提并论”。既然逻辑学只研究逻辑问题,就不该涉足非逻辑问题;命题运用既涉及逻辑问题,也涉及非逻辑问题,就不能推给逻辑学去解决,否则,必然出现逻辑矛盾:逻辑学的研究对象只是思维形式,同时,它又不仅限于思维形式。     

黑格尔辩证逻辑的特征

黑格尔创立的辩证逻辑不同于形式逻辑。从思维形式上看,辩证逻辑是内容与形式相结合的一种思维形式;从思维规律上看,它是从对象的相互联系中,从对象的运动、变化、发展中,从其矛盾统一体中把握对象的思维形式。辩证逻辑之所以不同于形式逻辑,源于黑格尔对“概念”的辩证的分析和理解。     

真、奇、美——试论《雷雨》戏剧语言的修辞手法

语言是思维的物质外壳，思维是语言的思想内容，思维的规律是逻辑，语言的规律是语法；而语法是研究语言规律的科学，修辞则是研究语言表达效果规律的科学。“思维要与语言联系起来，才能做到语言人物化，即个性化”。要使人物语言更能收到动作性、抒情性及个性化的效果，就要充分调动各种修辞手法。本文就曹禺《雷雨》戏剧语言的修辞手法的丰富性、多样性及其产生的艺术效果进行探讨。     

略论统一的理论思维逻辑系统

<正> 从一定意义上可以说,逻辑学正在从单一学科逐步形成为由既相对独立又有内在联系的诸多学科组成的科学体系。这个体系包括若干基本逻辑分支和更多的应用逻辑分支。 抽象理论思维逻辑是辩证理论思维逻辑的子系统。所谓理论思维,就是人们在认识过程中借助于概念、范畴来描述或解释对象的思维过程。抽象理论思维是指以类概念及其体系揭示事物一般本质和稳定性规律的思维。抽象理论思维包括初级抽象理论思维(即传统的形式逻辑管辖的思维领域)和高级抽象理论思维(由标准符号逻辑管辖)。抽象理论思维逻辑是辩证理论思维逻辑的子系统,笔者认为有如下的理由。     

试析现代西方科学发展观的辩证性蕴含

在现代西方科学发展观中,逻辑与历史、理性与非理性、量变与质变、确定性与非确定性之间的关系问题,一直是其长期争论不休而又未能得到正确解决的一些重大而基本的问题,这是导致科学哲学各派之间和内部尖锐对立、其理论体系时髦周期缩短的主要原因．从而表明,唯物辩证法是现代科学发展观的基石,科学发展过程本身充满了丰富的辩证性内容,若硬将这一过程的某一方面加以夸大或绝对化,则势必会铲断科学生存与发展的内在根基。     

遥感信息模型与地理数学

从大量的遥感信息模型,地理图像信息模型的实践中,提出符合地理科学自身规律的非线性数学方法,解决了确定性与不确定性结合的宏观复杂性问题。从形式逻辑推理发展到辩证逻辑的计算,从抽象公式的计算发展到抽象思维与形象思维结合的、公式与图像结合的计算。提出了物理变量与地理参数的区别,从而开创了以地理科学为背景的数学研究,进而为发展地理数学奠定了基础。     

Compactness in fuzzy logic

Compactness in Pavelka’s fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

有限状态模糊思辨逻辑系统及其数学模型

在简单思辨逻辑系统基础上,提出了有限状态模糊思辨逻辑系统,建立了其数学模型。     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

扩展描述罗辑ALC~ 到谓词逻辑的转换研究初探

首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,对ALC 的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC 到谓词逻辑的转换,给出了描述逻辑ALC 到谓词逻辑的转换思想．     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

偏好语境下的序逻辑

为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.