图书介绍
逻辑学导论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载
- 陈波著 著
- 出版社： 北京：中国人民大学出版社
- ISBN：7300044468
- 出版时间：2003
- 标注页数：333页
- 文件大小：16MB
- 文件页数：354页
- 主题词：
PDF下载
下载说明
逻辑学导论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 逻辑是关于推理和论证的科学1
第一节 “逻辑”的词源和词义1
一、“逻辑”的古希腊词源1
二、逻辑学的历史与现状4
第二节推理、论证的定义和种类7
第三节命题分析和逻辑类型9
一、语句、命题、陈述、判断与真值9
二、复合命题和命题逻辑10
三、直言命题和词项逻辑13
四、个体词、谓词和量化逻辑14
五、变异逻辑、应用逻辑和元逻辑16
第四节推理形式及其有效性18
一、推理的形式结构18
二、推理形式的有效性19
三、日常思维中的推理和论证22
第五节逻辑学和理性精神24
一、同一律24
二、矛盾律26
三、排中律27
四、充足理由律28
本章提要31
思考题32
练习题32
第二章 命题逻辑37
第一节日常联结词和复合命题37
一、简单命题和复合命题37
二、联言命题38
三、选言命题40
四、假言命题43
五、负命题46
第二节真值联结词真值形式47
一、从日常联结词到真值联结词47
二、真值形式指派与赋值49
三、否定51
四、合取51
五、析取52
六、蕴涵54
七、等值57
八、日常语言中复合命题的符号化57
第三节重言式及其判定方法59
一、重言式59
二、真值表方法61
三、归谬赋值法66
四、树形图方法70
第四节重言蕴涵式重言等值式73
一、推理的形式结构 重言蕴涵式73
二、重言等值式 置换规则76
第五节命题逻辑的自然推理78
一、PN推演规则79
二、PN定理及其证明83
三、PN有前提推演88
第六节命题逻辑的扩充系统——广义模态逻辑90
一、模态逻辑概述90
二、模态命题的真值条件92
三、模态逻辑系统TN94
第七节命题逻辑知识的综合应用97
本章提要101
思考题102
练习题103
第三章 词项逻辑112
第一节直言命题113
一、直言命题的结构和类型113
二、直言命题的主谓项关系117
三、直言命题间的对当关系120
四、直言命题中词项的周延性124
第二节直接推理126
一、换质法126
二、换位法127
三、换质位法127
四、对当关系推理128
第三节三段论131
一、三段论的定义 格与式131
二、三段论的一般规则和特殊规则134
三、三段论的还原与公理化142
四、三段论的非标准形式146
第四节直言命题的存在含义问题151
第五节文恩图解法156
第六节词项逻辑知识的综合应用159
本章提要161
思考题162
练习题162
第四章 谓词逻辑168
第一节个体词性质谓词量词170
一、个体词170
二、一元谓词和性质 原子公式171
三、量词和量化公式171
四、自然语言中性质命题的符号化173
第二节关系谓词、重叠量化和二元关系的性质176
一、关系谓词 量词的重叠 重叠量化式176
二、自然语言中关系命题的符号化178
三、二元关系的逻辑性质和排序问题179
第三节模型和赋值普遍有效式182
一、模型和赋值182
二、普遍有效式184
第四节普遍有效式的判定问题185
一、树形图方法185
二、证明非普遍有效性的方法190
第五节谓词逻辑的自然推理192
一、QN推理规则192
二、QN定理及其证明201
三、QN有前提推演204
第六节应用特例：摹状词分析206
本章提要211
思考题212
练习题213
第五章 归纳逻辑217
第一节什么是归纳推理？217
第二节简单枚举法220
一、什么是简单枚举法？220
二、变化形式：科学归纳法222
三、极限形式：完全归纳法223
第三节排除归纳法225
一、因果关系的特点225
二、求同法228
三、求异法230
四、求同求异并用法232
五、共变法233
六、剩余法234
第四节类比推理235
一、类比推理235
二、模拟方法238
三、比较方法239
第五节假说演绎法240
一、起点：问题和困境241
二、形成假说：溯因推理241
三、从假说推出观察结论243
四、验证假说：证实和证伪243
五、科学假说的评价标准244
第六节概率、统计推理245
一、基本概念245
二、概率的三种解释246
三、概率演算248
四、统计推理250
五、警惕“精确”数字陷阱251
第七节归纳方法是合理的吗？255
一、老归纳之谜：休谟问题及其回答255
二、新归纳之谜：绿蓝悖论及其解决258
第八节归纳逻辑的综合应用260
本章提要263
思考题264
练习题264
第六章 非形式逻辑273
第一节定义理论274
一、词项的内涵和外延274
二、定义的结构277
三、定义的种类277
四、定义的规则284
五、定义的作用287
第二节论证理论287
一、论证的识别288
二、论证的评价294
三、论证的建构298
第三节 谬误理论300
一、形式谬误301
二、非形式谬误302
本章提要311
思考题312
练习题312
附录形式化方法和形式系统321
第一节形式系统：语形学321
一、预备性研究321
二、构造形式系统322
三、元逻辑研究325
第二节形式系统：语义学328
参考书目331