1、逻辑逻辑从三段论到不完全性从三段论到不完全性定理定理(熊明熊明)演讲人202x-11-1101第第1章推陈出新：逻辑的力量章推陈出新：逻辑的力量one第1章推陈出新：逻辑的力量1.1经验与理智1.2推理有效性1.3逻辑大事记02第第2章难产归纳：确证的悖论章难产归纳：确证的悖论one第2章难产归纳：确证的悖论2.1亨佩尔悖论2.2古德曼悖论2.3归纳的穷途03第第3章演绎初成：词项的推理章演绎初成：词项的推理one第3章演绎初成：词项的推理3.1主项与谓项3.2量项与联项3.3直接的推理04第第4章逻辑典范：三段论理论章逻辑典范：三段论理论one第4章逻辑典范：三段论理论4.1三段论系统4.2
2、证明三段论4.3公理化思想05第第5章形式无情：命题与公式章形式无情：命题与公式one第5章形式无情：命题与公式5.1命题的联结5.2公式的构成5.3命题的形式06第第6章组合有意：公式的真假章组合有意：公式的真假one第6章组合有意：公式的真假6.1构造真值表6.2公式的赋值6.3等价的变形07第第7章大法无机：能行的方法章大法无机：能行的方法one第7章大法无机：能行的方法7.1判定有效性7.2解析树方法7.3能行可判定08第第8章一言九鼎：反解真值表章一言九鼎：反解真值表one第8章一言九鼎：反解真值表8.1骑士与无赖8.2三思而后言8.3反解真值表09第第9章机关之算：逻辑代数化章机关
3、之算：逻辑代数化one第9章机关之算：逻辑代数化9.1有逻辑的门9.2线路图设计9.3思维的代数10第第10章解牛之术：一阶语言说章解牛之术：一阶语言说one第10章解牛之术：一阶语言说10.1简单本有形10.2造化一阶语10.3自由与约束11第第11章触事而真：模型与满足章触事而真：模型与满足one第11章触事而真：模型与满足11.1初试真与假11.2模型与指派11.3满足与真假12第第12章迷途知返：半可判定性章迷途知返：半可判定性one第12章迷途知返：半可判定性12.1再论有效性12.2又用解析树12.3半能行判定13第第13章逻辑链条：证明的初感章逻辑链条：证明的初感one第13章逻
4、辑链条：证明的初感13.1证明的规则13.2联结词规则13.3量词的规则14第第14章应有尽有：完全性定理章应有尽有：完全性定理one第14章应有尽有：完全性定理14.1间接的证明14.2证明的策略14.3健全与完全15第第15章求全责备：模型与理论章求全责备：模型与理论one第15章求全责备：模型与理论15.1相等之符号15.2模型的理论15.3完备公理化16第第16章神机妙算：图灵可计算章神机妙算：图灵可计算one第16章神机妙算：图灵可计算16.1图灵机模型16.2可计算函数16.3不可计算性17第第17章数不胜数：公理化算术章数不胜数：公理化算术one第17章数不胜数：公理化算术17.1算术的语言17.2皮亚诺公理17.3完全的片段18第第18章天外有天：哥德尔定理章天外有天：哥德尔定理one第18章天外有天：哥德尔定理18.1不可完全性18.2一致性问题18.3大是者大非19参考文献参考文献one参考文献20索引索引one索引 感谢聆听感谢聆听
