成功加入购物车
库存未阅书
龚启荣 著 / 电子工业出版社 / 2009-03 / 平装
售价 ¥ 30.00 7.9折
定价 ¥38.00
品相 九品
优惠 满包邮
延迟发货说明
上书时间2023-10-08
卖家超过10天未登录
当代形式逻辑引论
《当代形式逻辑引论》原创性地研究并清晰而准确地阐述了概念、命题、逻辑定理、逻辑证明,以及在各方面的应用。作为真正的逻辑科学的传统形式逻辑源远流长,具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想,向人类认识世界、改造世界提供效能卓著的从已知获取新知的工具。
龚启荣,江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员,东亚国际符号学会会员,贵州省社科联黍员、贵州省科协第四届委员,贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长,任贵州大学逻辑学教授、学术带头人、逻辑学研究生点主持人、领衔导师,任责州人民武装学院督导和逻辑学教授。发表论著EntailmentLogic——ADevelopmenofTradItionalLogicOurTimes(J)(第八届国际逻辑、科学哲学和科学方法讨论会论文集,莫斯科科学出版社1987年)、EntailmentLogicAndKrlowledgeRepresentation(J)(《符号逻辑杂志》,美国,1992年第1期第57卷),Objee—tivityLogicisReBesPLogicInstrumentofKnowl-edgeRepresentation(J)(《符号逻辑会刊》,美国,2007年第3期第13卷)、OrthodoxMathematicalLogicisNotaReasoningTheor(J)(《符号逻辑会刊》,美国,2007年第3期第13卷)、《形式逻辑导引》(M)(贵州人民出版社1995年),《逻辑斯谛——又称“数理逻辑”的二值数学》(M)(贵州教育出版社1998年)、《逻辑学》(M)(贵州人民出版社2005年)、《当代形式逻辑基础》(M)(贵州教育出版社2006年)等100多篇(部)。完成国家电子工业部、教育部和省级科研课题10余项。曾10余次受国际重要逻辑学术会议邀请并发表论文。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。
引言一、逻辑科学在现代科学中的地位二、传统形式逻辑与数理逻辑三、当代形式逻辑语义学、语构学、语用学四、当代形式逻辑的研究领域、哲学思想和理论观点第1篇客观世界的逻辑结构和逻辑规律第1章当代形式逻辑语义学基础(1)——客观世界的项和事件1.1客观世界的集1.1.1对象、个体与集1.1.2集的共仅属性1.1.3集的性质1.1.4集的分类1.1.5集与集之间的关系1.2客观世界的N目组、N目组集和N元关系1.3客观世界的N元函数关系1.3.1映射1.3.2n元函数关系1.4客观世界的项(TERM)1.4.1个体变元1.4.2n元函数的变值1.4.3项的定义1.4.4项的分类1.5客观世界的原子事件1.5.1闭原子事件及其有无值1.5.2开原子事件及其划分1.6客观世界的真值函数关系与纯真值复合事件1.6.1真值函数关系1.6.2真值表1.6.3纯真值联结关系1.6.4纯真值复合事件1.7客观世界基本的非纯真值联结关系——充分条件关系及其两个独立性1.7.1充分条件关系与必然关系同义1.7.2充分条件事件的定义及充分条件关系的两个独立性1.8客观世界的导出的非纯真值联结关系和非纯真值复合事件1.8.1必要条件关系和必要条件事件1.8.2约合关系和约合事件1.8.3尽举相容选择关系和尽举相容选择事件1.8.4尽举反相容选择关系和尽举反相容选择事件1.8.5尽举不相容选择关系和尽举不相容选择事件1.8.6充分必要条件关系和充分必要条件事件1.9客观世界的事件第2章当代形式逻辑语义学基础(2)——客观世界的逻辑结构和逻辑规律2.1客观世界的逻辑结构2.2客观世界逻辑规律的种类2.3客观世界的逻辑定律2.3.1客观世界的事件逻辑定律2.3.2客观世界的项逻辑定律2.4客观世界的逻辑法则2.4.1客观世界的事件逻辑法则2.4.2客观世界的项逻辑法则第3章逻辑规律是客观世界的规律3.1逻辑规律概述3.2逻辑规律不是思维自身的规律3.3逻辑规律不是符号自身的规律3.4逻辑规律是且只能是客观世界的规律第2篇逻辑思考概念第4章逻辑思考概述4.1逻辑思考的定义4.2逻辑思考的内容4.3逻辑思考的形式化4.4逻辑思考、思考对象、语言载体的关系第5章概念5.1概念的概述5.2当代形式逻辑关于概念的内涵和外延5.2.1概念的外延5.2.2概念的内涵5.3概念的种类5.3.1实概念空概念5.3.2普遍概念单独概念5.3.3集合概念非集合概念5.3.4正概念负概念5.3.5性质概念和关系概念5.4当代形式逻辑关于2元关系概念5.4.1何谓2元关系概念5.4.22元关系的性质5.5概念间的关系5.5.1全同关系5.5.2种属关系5.5.3属种关系5.5.4交叉关系5.5.5全异关系5.6划分5.6.1何谓划分5.6.2划分的种类5.6.3划分的规则5.7概念的限制和概括5.7.1概念的限制5.7.2概念的概括第3篇命题第6章原子命题纯真值复合命题6.1命题的概述6.1.1何谓命题6.1.2命题的真值6.1.3命题的分类6.2原子命题6.2.1闭原子命题6.2.2开原子命题6.2.31元原子命题和多元原子命题6.2.4原子命题的真值6.3纯真值复合命题6.3.1基本的纯真值复合命题6.3.2导出的纯真值复合命题6.3.3多重纯真值复合命题6.4重言式的判定方法6.4.1真值表方法6.4.2归谬赋值法6.5纯真值复合命题的否定命题及其恒等命题第7章非纯真值复合命题7.1基本的非纯真值复合命题——充分条件假言命题7.1.1何谓充分条件假言命题7.1.2充分条件假言命题前后件真假关系的特征7.2导出的非纯真值复合命题(1)——必要条件假言命题、充分必要条件假言命题7.2.1必要条件假言命题7.2.2充分必要条件假言命题7.3导出的非纯真值复合命题(2)——尽举选言命题、约合命题7.3.1尽举选言命题7.3.2约合命题7.4非纯真值复合命题的否定命题及其恒等命题7.4.1充分条件假言命题的否定命题及其恒等命题7.4.2必要条件假言命题的否定命题及其恒等命题7.4.3充分必要条件假言命题的否定命题及其恒等命题7.4.4尽举相容选言命题的否定命题及其恒等命题7.4.5尽举反相容选言命题的否定命题及其恒等命题7.4.6尽举不相容选言命题的否定命题及其恒等命题7.4.7约合命题的否定命题及其恒等命题7.5外延命题和内涵命题7.5.1外延命题7.5.2内涵命题7.6下定义和定义7.6.1下定义和定义7.6.2如何鉴别一命题是否定义7.6.3表述定义的自然语句句型7.7复合命题的自然语言载体第4篇逻辑定理第8章推理和导出8.1逻辑定理概述8.1.1命题逻辑和名词逻辑8.1.2推理和推理式8.1.3导出和导出式8.2常见的命题逻辑推理8.2.1假言推理8.2.2尽举选言推理8.2.3充分条件假言联锁推理8.2.4充分条件假言联言推理8.2.5二难推理8.2.6归谬推理8.2.7假言易位推理8.3常见的命题逻辑导出8.4关于“必然”、“可能”的推理8.4.1上反对关系推理8.4.2下反对关系推理8.4.3矛盾关系推理8.4.4差等关系推理8.4.5关于“实然”与“必然”、“可能”的推理8.5归纳规则类比规则8.5.1不完全归纳规则8.5.2类比规则第9章非推导逻辑定理9.1不矛盾定理9.1.1何谓不矛盾定理9.1.2不矛盾定理的运用9.2排中定理9.2.1何谓排中定理9.2.2排中定理的运用第5篇传统形式逻辑直言命题及其推导理论简介第10章传统形式逻辑直言命题10.1传统直言命题概述10.1.1什么是直言命题10.1.2直言命题的种类10.2AEIO的真假情况10.3AEIO的真假关系10.4AEIO的主词和宾词的周延性问题10.5直言命题的否定命题及其恒等命题第11章传统形式逻辑直言命题推导11.1传统直言命题对当关系推导11.1.1以sAp或其否定命题﹁(sAp)为前提的四种推导11.1.2以sEp或其否定命题﹁(sEp)为前提的四种推导11.1.3以sIp或其否定﹁(sIp)为前提的四种推导11.1.4以sOp或其否定命题﹁(sOp)为前提的四种推导11.2传统直言命题变形推导11.2.1换质推导11.2.2换位推导11.2.3换质位推导11.3传统直言三段论11.3.1三段论的概述11.3.2三段论的规则11.3.3三段论的格与式11.3.4三段论的省略式第6篇逻辑证明及其认识论意义第12章逻辑证明与证实12.1几个有关概念12.2证明的定义12.3几种常见的证明方法12.3.1反证法12.3.2侧证法12.3.3正证法12.3.4一般归纳法12.3.5归谬法第13章逻辑证明的认识论意义13.1证实的定义13.2已证明的结论是否已证实13.3结论对前提来说是否新知第7篇对逻辑科学发展的进一步研究第14章对传统形式逻辑读物中一些问题的讨论14.1传统形式逻辑概念理论中存在的问题14.1.1关于概念的定义至今仍不能自圆其说14.1.2有些概念种类划分不合理14.1.3“概念不明确”是一种自相矛盾或者模棱两可的提法14.1.4值得推敲的其他问题14.2对纯真值有效式的分析14.2.1对应于传统命题逻辑推理式的纯真值有效式14.2.2对应于传统命题逻辑导出式的纯真值有效式14.2.3作为蕴涵怪论的纯真值重言式14.3关于流行的传统形式逻辑读物中命题逻辑推理式的几点讨论14.3.1所谓反三段论14.3.2所谓选言推理式﹁A∧(A∨B)→B等14.3.3真值表方法不是命题逻辑推理式有效性的判定方法14.4传统形式逻辑直言命题的当代形式逻辑剖析14.4.1传统直言命题理论中存在的问题14.4.2当代形式逻辑对传统直言命题理论问题的解决14.4.3传统直言命题和与之相应的外延命题、内涵命题之间的区别14.5传统形式逻辑直接推理、间接推理的当代形式逻辑剖析14.5.1关于传统直接推理14.5.2关于传统三段论14.6在逻辑理论上本著作与现行传统形式逻辑读本的比较第15章关于逻辑证明哲学意义的深入探讨15.1伽利略的功勋15.2伽利略的证明纳入当代形式逻辑15.3关于推理及其前提的一些分析15.4证明的一般前提的形成和证实15.5简要结语第16章当代形式逻辑基础理论在军事管理中的应用研究实例16.1概念理论知识在军事管理中的应用实例16.2命题理论知识在军事管理中的应用实例16.3逻辑定理在军事管理中的应用实例16.4逻辑证明在军事管理中的应用实例结语逻辑科学的定义后记参考文献
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30