当代形式逻辑引论
点此进入淘宝搜索页搜索分類: 图书,哲学/宗教,哲学,逻辑学,
作者： 龚启荣等著
出 版 社： 电子工业出版社
出版时间： 2009-3-1字数：版次： 1页数： 272印刷时间：开本： 16开印次： 1纸张：I S B N ： 9787121084157包装： 平装内容简介
作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知获取新知的工具。《当代形式逻辑引论》原创性地研究并清晰而准确地阐述了概念、命题、逻辑定理、逻辑证明，以及在各方面的应用。
作者简介
龚启荣，江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员，东亚国际符号学会会员，贵州省社科联黍员、贵州省科协第四届委员，贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长，任贵州大学逻辑学教授、学术带头人、逻辑学研究生点主持人、领衔导师，任责州人民武装学院督导和逻辑学教授。发表论著Entailment Logic——A Developmen of TradItion al Logic Our Times（J）（第八届国际逻辑、科学哲学和科学方法讨论会论文集，莫斯科科学出版社1987年）、Entailment LogicAnd Krlowledge Representation（J）（《符号逻辑杂志》，美国，1992年第1期第57卷），Objee—tivity Logic is Re BesPLogic Instrument of Knowl-edge Representation（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、Orthodox Mathematical Logic is Not a Reasoning Theor（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、《形式逻辑导引》（M）（贵州人民出版社1995年），《逻辑斯谛——又称“数理逻辑”的二值数学》（M）（贵州教育出版社1998年）、《逻辑学》（M）（贵州人民出版社2005年）、《当代形式逻辑基础》（M）（贵州教育出版社2006年）等100多篇（部）。完成国家电子工业部、教育部和省级科研课题10余项。曾10余次受国际重要逻辑学术会议邀请并发表论文。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。
目录
引言
一、逻辑科学在现代科学中的地位
二、传统形式逻辑与数理逻辑
三、当代形式逻辑语义学、语构学、语用学
四、当代形式逻辑的研究领域、哲学思想和理论观点
第1篇 客观世界的逻辑结构和逻辑规律
第1章 当代形式逻辑语义学基础（1）——客观世界的项和事件
1.1 客观世界的集
1.2 客观世界的N目组、N目组集和N元关系
1.3 客观世界的N元函数关系
1.4 客观世界的项（TERM）
1.5 客观世界的原子事件
1.6 客观世界的真值函数关系与纯真值复合事件
1.7 客观世界基本的非纯真值联结关系——充分条件关系及其两个独立性
1.8客观世界的导出的非纯真值联结关系和非纯真值复合事件
1.9 客观世界的事件
第2章 当代形式逻辑语义学基础（2）——客观世界的逻辑结构和逻辑规律
2.1 客观世界的逻辑结构
2.2 客观世界逻辑规律的种类
2.3 客观世界的逻辑定律
2.4 客观世界的逻辑法则
第3章 逻辑规律是客观世界的规律
3.1 逻辑规律概述
3.2 逻辑规律不是思维自身的规律
3.3 逻辑规律不是符号自身的规律
3.4 逻辑规律是且只能是客观世界的规律
第2篇 逻辑思考 概念
第4章 逻辑思考概述
4.1 逻辑思考的定义
4.2 逻辑思考的内容
4.3 逻辑思考的形式化
4.4 逻辑思考、思考对象、语言载体的关系
第5章 概念
第3篇 命题
第6章 原子命题 纯真值复合命题
第7章 非纯真值复合命题
第4篇 逻辑定理
第8章 推理和导出
第9章 非推导逻辑定理
第5篇 传统形式逻辑直言命题及其推导理论简介
第10章 传统形式逻辑直言命题
第11章 传统形式逻辑直言命题推导
第6篇 逻辑证明及其认识论意义
第12章 逻辑证明与证实
第13章 逻辑证明的认识论意义
第7篇 对逻辑科学发展的进一步研究
第14章 对传统形式逻辑读物中一些问题的讨论
第15章 关于逻辑证明哲学意义的深入探讨
第16章 当代形式逻辑基础理论在军事管理中的应用研究实例
结语 逻辑科学的定义
后记
参考文献
书摘插图
第1篇 客观世界的逻辑结构和逻辑规律
第1章 当代形式逻辑语义学基础（1）——客观世界的项和事件
1.1客观世界的集
1.1.1对象、个休与集
对象就是可以对之思考的一切。实物是对象，性质、关系也是对象；物质是对象，意识也是对象。意识只不过是人脑这个高度发展了的实物的属性，一经产生，也便可以对之思考。然而，尽管如此，正在进行的思考却不可能以自身为思考对象。这个事实称为思考的不自返律。当然，某个思考一经完成，另起的思考便可以以之为对象。
在思考时不对之进行分解的单个对象称为个体。譬如，当人们在做各种不同的思考而分别以银河系、地球、大兴安岭森林、一棵树、一个细胞、一个分子、一个原子、一个电子等为不对之进行分解的单个对象时，银河系、地球、大兴安岭森林、一棵树、一个细胞、一个分子、一个原子、一个电子等，就分别是个体。通常以斜体小写拉丁字母e、右上角加撇e或右下角加下标e，i（i为自然数）表示个体。人们在讨论问题时，不可能从嘴里喷出一个个体月亮，也不可能在纸面上放上一个个体国家，而只能使用表示个体月亮或国家的符号。在当代形式逻辑语义学的范围内，使用符号只不过是手段，讨论为符号所指称的个体才是目的。宇宙在结构层次上没有最小的不可再分的起点，然而，人们对宇宙结构层次的认识却必须有也只能有一个起点。个体就是当代形式逻辑语义学研究宇宙的结构层次的起点。
……
