当代形式逻辑引论-哲学宗教-社会科学-太极之巅书单号

书刊介绍

当代形式逻辑引论目录

引言
一、逻辑科学在现代科学中的地位
二、传统形式逻辑与数理逻辑
三、当代形式逻辑语义学、语构学、语用学
四、当代形式逻辑的研究领域、哲学思想和理论观点
第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章当代形式逻辑基础理论在军事管理中的应用研究实例
结语逻辑科学的定义
后记
参考文献

当代形式逻辑引论内容简介

作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知获取新知的工具。《当代形式逻辑引论》原创性地研究并清晰而准确地阐述了概念、命题、逻辑定理、逻辑证明，以及在各方面的应用。

当代形式逻辑引论节选

《当代形式逻辑引论》原创性地研究并清晰而准确地阐述了概念、命题、逻辑定理、逻辑证明，以及在各方面的应用。作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知获取新知的工具。

当代形式逻辑引论作者简介

龚启荣，江西景德镇人。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-edgeRepresentation（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余次受国际重要逻辑学术会议邀请并发表论文。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。