本书在经典数理错误逻辑、模糊数理错误逻辑、辩证数理错误逻辑的基础上，为描述错误传递、转化的方式和规律而建立了六个转化联结词——相似转化联结词、增加转化联结词、分解转化联结词、毁灭转化联结词、置换转化联结词、单位转化联结词及其相应的逆转化联结词，阐述它们自身、相互之间及其与外延联结词、内涵联结词、个体联结词的运算规律，介绍错误命题逻辑的概念及其联结词、真值表、逻辑范式和有效的推理方法，以及数理错误谓词逻辑的概念及其参数、个体词、量词、谓词等的语意结构、语意解释、联结词、真值表、逻辑范式和有效的推理形式及各种判定方法。
本书可作为高等院校数学、哲学、管理及相关专业的高年级本科生和研究生教材或教学参考书，也可供相关领域科技工作者阅读参考。
样章试读
目录
- 第1章 数理逻辑简介
§1.1 现代逻辑的基本理论
§1.2 数理逻辑的产生
§1.3 数理逻辑的内容
§1.4 数理逻辑史
§1.5 数理逻辑的发展
§1.6 逻辑演算
§1.7 数理逻辑研究现状
§1.8 辩证逻辑的形式化
§1.9 错误逻辑体系
1.9.1 错误逻辑符号体系
1.9.2 错误集合
1.9.3 数理错误命题逻辑
1.9.4 错误逻辑转化联结词与外延联结词的关系
1.9.5 错误逻辑转化联结词与内涵联结词的关系
1.9.6 错误谓词逻辑
1.9.7 错误逻辑的应用
第2章 错误集
§2.1 错误集简介
2.1.1 错误集的概念及分类
2.1.2 错误集的运算及其规律
§2.2 错误集合的变换
2.2.1 变换的定义
2.2.2 变换的运算
2.2.3 变换的类型及其运算律
2.2.4 变换与错误的消除
§2.3 经典错误集
2.3.1 经典错误的概念
2.3.2 经典错误集的分类
2.3.3 经典错误集的运算及其规律
§2.4 模糊错误集
2.4.1 模糊错误集的概念
2.4.2 模糊错误集的运算及其规律
2.4.3 具有临界点的错误集
§2.5 多元错误集
2.5.1 问题的提出
2.5.2 二元错误集
2.5.3 变换的类型及其运算规律
第3章 错误逻辑转化联结词
§3.1 错误逻辑相似转化联结词
3.1.1 基本概念
3.1.2 基本运算
3.1.3 错误逻辑相似转化联结词的概念
3.1.4 错误逻辑论域相似转化联结词的性质
3.1.5 错误逻辑事物相似转化联结词的性质
3.1.6 错误逻辑特性相似转化联结词的性质
3.1.7 错误逻辑卒间相似转化联结词的性质
3.1.8 错误逻辑量值相似转化联结词的性质
3.1.9 错误逻辑错误值相似转化联结词的性质
3.1.10 错误逻辑规则相似转化联结词的性质
3.1.11 错误逻辑函数相似转化联结词的性质
3.1.12 错误逻辑时间相似转化联结词的性质
3.1.13 错误逻辑全面相似转化联结词
§3.2 错误逻辑分解转化联结词
3.2.1 错误逻辑分解转化联结词的概念
3.2.2 错误逻辑论域分解转化词
3.2.3 错误逻辑事物分解转化联结词
3.2.4 错误逻辑卒间分解转化联结词
3.2.5 错误逻辑特性分解转化联结词
3.2.6 错误逻辑量值分解转化联结词
3.2.7 错误逻辑错误值分解转化联结词
3.2.8 错误逻辑函数分解转化联结词
3.2.9 错误逻辑时间分解转化联结词
3.2.10 错误逻辑规则分解转化联结词
3.2.11 错误逻辑全部分解转化词
§3 3错误逻辑置换转化联结词
3.3.1 错误逻辑置换转化联结词的概念
3.3.2 错误逻辑论域置换转化联结词的性质
3.3.3 错误逻辑事物置换转化联结词
§3.4 错误逻辑增加转化联结词
3.4.1 错误逻辑增加转化联结词的概念
3.4.2 错误逻辑错误值增加转化联结词的增加原则
3.4.3 错误逻辑错误值增加转化联结词的性质
§3.5 错误逻辑毁灭转化联结词
3.5.1 错误逻辑毁灭转化联结词的概念
3.5.2 毁灭原则
3.5.3 毁灭方式
3.5.4 毁灭层次
3.5.5 错误逻辑论域毁灭转化联结词Th的特性
3.5.6 错误逻辑事物毁灭转化联结词
3.5.7 错误逻辑特性毁灭转化联结词
3.5.8 错误逻辑产生转化联结词
第4章 数理错误命题逻辑
§4.1 错误逻辑命题概念
§4.2 原子命题
§4.3 基本运算
§4.4 复合命题
4.4.1 原子命题
4.4.2 错误逻辑复合命题
§4.5 错误逻辑推理的基本规则
4.5.1 公理集合
4.5.2 推理规则
§4.6 错误逻辑命题范式
第5章 错误谓词逻辑
§5.1 错误谓词逻辑的形式
5.1.1 错误谓词逻辑概念
5.1.2 错误谓词逻辑主词、谓词和量词
5.1.3 错误谓词逻辑命题的常项、变项、命题函项和量化式
§5.2 错误谓词逻辑形式语言
5.2.1 谓词逻辑个体符号
5.2.2 错误谓词逻辑个体符号
5.2.3 错误谓词逻辑项符号
5.2.4 错误谓词逻辑公式符号
§5.3 错误谓词逻辑表达式的语意解释
参考文献
京公网安备 11010102004214号