经典逻辑导论

导言1 写给学生/1 写给教师/2
**部分命题逻辑
第1章命题与论证6 命题/6 论证/7 论证形式/8 小结/10 进阶读物/10 习题/10 第2章联结词与论证形式13 合取与析取/13 条件句与双向条件句/15 否定/16 一种形式的语言/17 更多论证形式/19 小结/20 习题/21 第3章真值表24 真值表/24 论证形式的真值表/29 如何快速找到赋值/30 小结/33 习题/33
第4章命题逻辑的树37 树背后的理念/38 树的生成规则/40 为何树方法可行/46 小结/49 进阶读物/50 习题/50 第5章含混性与二值原则52 含混性难题/52 候选方案/53 关于二值原则的其他难题/56 进阶读物/57 习题/58 第6章条件句60 实质蕴含悖论/60 真与可断定性/61 可能性/62 相干性/66 进阶读物/67 习题/67 第7章自然演绎69 合取、蕴含与析取/69 否定/72 进阶读物/74 习题/75
第二部分谓词逻辑
第8章谓词、名字和量词78 名字与谓词/78 量词/80 翻译/83 小结/84 习题/84 第9章谓词逻辑的模型88 论域与外延/88 量词/91 构造模型/94 何时有穷论域够用/98 小结/98 习题/99 第10章谓词逻辑的树102 量词的树规则/102 开放的树/105 为何树方法可行/110 进阶读物/113 习题/113 第11章等词与函项116 等词/116 对常见量词的翻译/119 函项/120 小结/123 习题/124 第12章确定描述语127 罗素的解决方案/127 局限性/131 进阶读物/131 习题/132 第13章有的事物不存在134 存在隐含与谓词/134 存在隐含与名字/135 模型/136 树规则/137 局限性/139 进阶读物/140 习题/141 第14章谓词是什么143 一个论证/143 晦暗语境/144 进阶读物/146 习题/146 第15章逻辑是什么148 逻辑乃替换下无反例/148 逻辑乃必然保真/149 进阶读物/150 参考文献152 译后记154