Opening book details…
Can I read 逻辑学导论 on EtoBox?
逻辑学导论 by 陈波著, Chen Bo zhu, 陈波, 1957- is a book available to read on EtoBox.
What is 逻辑学导论 about?
1 (p1): 第一章 逻辑是关于推理和论证的科学 1 (p1-1): 第一节 “逻辑”的词源和词义 1 (p1-1-1): 一、“逻辑”的古希腊词源 4 (p1-1-2): 二、逻辑学的历史与现状 7 (p1-1-3): 三、逻辑学的对象:推理和论证 9 (p1-2): 第二节 命题分析和逻辑类型 9 (p1-2-1): 一、语句、命题、陈述、判断与真值 11 (p1-2-2): 二、复合命题和命题逻辑 13 (p1-2-3): 三、直言命题和词项逻辑 14 (p1-2-4): 四、个体词、谓词和量化逻辑 16 (p1-2-5): 五、变异逻辑、扩充逻辑和元逻辑 18 (p1-3): 第三节 推理形式及其有效性 18 (p1-3-1): 一、推理的形式结构 20 (p1-3-2): 二、推理形式的有效性 22 (p1-3-3): 三、日常思维中的推理和论证 24 (p1-4): 第四节 逻辑学和理性精神 25 (p1-4-1): 一、同一律 27 (p1-4-2): 二、矛盾律 30 (p1-4-3): 三、排中律 31 (p1-4-4): 四、充足理由律 34 (p1-5): 思考题 34 (p1-6): 练习题 39 (p2): 第二章 命题逻辑 39 (p2-1): 第一节 日常联结词和复合命题 39 (p2-1-1): 一、简单命题和复合命题 40 (p2-1-2): 二、联言命题 41 (p2-1-3): 三、选言命题 44 (p2-1-4): 四、假言命题 48 (p2-1-5): 五、负命题 48 (p2-2): 第二节 真值联结词 真值形式 48 (p2-2-1): 一、从日常联结词到真值联结词 50 (p2-2-2): 二、真值形式 指派与赋值 52 (p2-2-3): 三、否定 53 (p2-2-4): 四、合取 53 (p2-2-5): 五、析取 55 (p2-2-6): 六、蕴涵 58 (p2-2-7): 七、等值 58 (p2-2-8): 八、自然语言中复合命题的符号化 60 (p2-3): 第三节 重言式及其判定方法 60 (p2-3-1): 一、重言式 62 (p2-3-2): 二、真值表方法 67 (p2-3-3): 三、归谬赋值法 71 (p2-3-4): 四、树形图方法 75 (p2-4): 第四节 重言蕴涵式 重言等值式 75 (p2-4-1): 一、推理的形式结构 重言蕴涵式 78 (p2-4-2): 二、重言等值式 置换规则 80 (p2-5): 第五节 命题逻辑的自然推理 81 (p2-5-1): 一、PN推演规则 85 (p2-5-2): 二、PN定理及其证明 92 (p2-5-3): 三、PN有前提推演 95 (p2-6): 第六节 命题逻辑的扩充系统——广义模态逻辑 95 (p2-6-1): 一、模态词的种
- Author
- 陈波著, Chen Bo zhu, 陈波, 1957-
- Publisher
- 北京:中国人民大学出版社
- Published
- 2006
- Language
- ZH
- ISBN
- 9787300065069
- Subjects
- Philosophy, Humanities
More by 陈波著, Chen Bo zhu, 陈波, 1957-
Browse all works by 陈波著, Chen Bo zhu, 陈波, 1957-