逻辑学是什么

1．所有的克里特岛人都说谎吗？——逻辑起源于理智的自我反省 1

1．1说谎者悖论及其他 4

1．1．1说谎者悖论 4

1．1．2芝诺悖论和归于不可能的证明 6

1．1．3普罗泰戈拉和“半费之讼” 7

1．1．4苏格拉底的“精神助产术” 9

1．1．5麦加拉派的疑难 10

1．2合同异、离坚白、白马非马 12

1．2．1 邓桥的“两可之说” 12

1．2．2 惠施的“历物之意” 13

1．2．3公孙龙和白马非马 17

1．2．4 《墨经》的逻辑学 19

1．3 逻辑的基本规律 21

1．3．1“存在的东西存在” 22

1．3．2“不可同世而立” 25

1．3．3排中律和二值原则 28

1．3．4 莱布尼兹和充足理由律 30

2．信仰是否需要得到理性的辩护和支持？——逻辑是关于推理和论证的科学 37

2．1什么是推理和论证？ 41

2．2命题分析和逻辑类型 43

2．2．1复合命题和命题逻辑 44

2．2．2直言命题和词项逻辑 47

2．2．3个体词、谓词和量化逻辑 50

2．2．4 推理的形式结构 52

2．3由前提“安全地”过渡到结论 55

2．4．1被省略的前提和假定 60

2．4 日常思维中的推理和论证 60

2．4．2语义预设和语用预设 63

3．上帝能够创造一块他自己举不起来的石头吗？——命题逻辑 68

3．1红了樱桃，绿了芭蕉：联言命题 71

3．2或为玉碎，或为瓦全：选言命题 73

3．3锲而不舍，金石可镂：假言命题 76

3．3．1充分条件假言命题及其推理 77

3．3．2必要条件假言命题及其推理 79

3．3．3 充分必要条件假言推理 81

3．4并非价廉物美：负命题 82

3．5常用的几种复合命题推理 84

3．6真值联结词 真值形式 重言式 89

3．7模态命题及其推理 96

3．8命题逻辑知识的综合应用 99

4．你说诳，卖国贼是说诳的，所以你是卖国贼？——词项逻辑 103

4．1所有的金子都是闪光的：直言命题 106

4．1．1直言命题的结构和类型 107

4．1．2直言命题间的对当关系 110

4．1．3直言命题中词项的周延性 115

4．2从单个前提出发：直接推理 116

4．2．1对当关系推理 116

4．2．2换质法 118

4．2．3换位法 119

4．2．4换质位法 120

4．3从两个前提出发：三段论 122

4．3．1直言三段论的定义和结构 122

4．3．2直言三段论的一般规则 125

4．3．3直言三段论的省略形式 130

4．3．4直言三段论知识的综合应用 132

5．织女爱每一个爱牛郎的人？——谓词逻辑 137

5．1 对于新的命题分析方法的需要 140

5．2个体词、谓词、量词和公式 143

5．3自然语言中量化命题的符号化 147

5．3．1直言命题的符号化 147

5．3．2关系命题的符号化 150

5．3．3关系推理的符号化 152

5．4模型和赋值 普遍有效式 153

5．5二元关系的逻辑性质和排序问题 156

6．爱做归纳的火鸡被送上餐桌，怪谁？——归纳逻辑 162

6．1从枚举事例中抽取结论 165

6．2．1因果关系的特点 167

6．2探求事物间的因果关系 167

6．2．2求同法 169

6．2．3求异法 171

6．2．4求同求异并用法 173

6．2．5 共变法 173

6．2．6剩余法 174

6．2．7 求因果联系方法的综合应用 175

6．3能近取譬，举一反三 179

6．3．1类比推理 179

6．3．2比较方法 182

6．4从假说演绎出观察结论 184

6．5事件、样本和推测 186

6．5．1抽样统计方法 186

6．5．2谨防“精确”数字陷阱 189

6．6归纳方法是合理的吗？ 195

7．如何使你的概念更清晰，思维更敏锐，论证更严密？——批判性思维 202

7．1定义理论 205

7．1．1定义及其作用 205

7．1．2定义的种类 207

7．1．3 定义的规则 211

7．2论证理论 216

7．2．1把一切送上理智的法庭 216

7．2．2识别复杂论证的结构 217

7．2．3对已有论证作出评价 221

7．2．4建构你自己的论证 225

7．3谬误理论 227

7．3．1形式谬误 228

7．3．2非形式谬误 230

8．共同为现代科学大厦奠基——逻辑学的地位 235

8．1从逻辑推导出全部数学？ 237

8．1．1逻辑主义 238

8．1．2形式主义 242

8．1．3直觉主义 244

8．2 让哲学走向严格和精确 246

8．2．1逻辑对于哲学的特殊重要性 246

8．2．2哲学对于逻辑的重要性 249

8．3语言学中的逻辑 251

8．4计算机、人工智能与逻辑 253

结语 257

阅读书目 259