《逻辑学的发展》求取 ⇩

序言1

第一章 发端3

第一节 有效性概念3

第二节 几何证明5

第三节 论辩的论证和形而上学的论证10

第四节 辩论术和诡辩术16

第五节 柏拉图和逻辑哲学23

第二章 亚里士多德的《工具论》31

第一节 《工具论》的内容31

第二节 《范畴篇》的学说和它的逻辑后果33

第三节 《论辩篇》43

第四节 亚里士多德关于意义和真值的理论58

第五节 一般陈述句的四种形式71

第六节 三段论学说86

第七节 亚里士多德的模态逻辑106

第八节 《分析篇》中的非三段论逻辑124

第九节 亚里士多德学派：德奥弗拉斯特129

第三章 麦加拉学派和斯多噶学派146

第一节 麦加拉学派的哲学和斯多噶学派逻辑的起源146

第二节 麦加拉学派和斯多噶学派的模态理论151

第三节 关于条件句性质的争论166

第四节 斯多噶学派关于意义和真值的理论179

第五节 斯多噶学派的推理图式体系206

第四章 罗马和中世纪的逻辑229

第一节 从西塞罗到鲍依修斯229

第二节 从阿尔琴到阿伯拉尔256

第三节 经院逻辑290

第四节 词项特性318

第五节 推论356

第五章 文艺复兴以后的逻辑384

第一节 人文主义和自然科学的兴起384

第二节 莱布尼茨的兴趣412

第三节 莱布尼茨的包含和被包含的演算432

第四节 从萨克里到汉密尔顿444

第五节 鲍尔查诺和穆勒460

第六章 数学抽象485

第一节 几何与公理学485

第二节 数和函数497

第三节 布尔和逻辑代数513

第四节 布尔代数以后的发展531

第五节 关系理论：德·摩根和皮尔斯540

第七章 数、集合和数列549

第一节 弗雷格和他的同时代人549

第二节 康托尔的集合论553

第三节 弗雷格论他的前辈558

第四节 弗雷格的自然数定义573

第五节 数列：狄德金和皮亚诺586

第八章 弗雷格的一般逻辑599

第一节 《概念文字》599

第二节 意义和所指：对象和函项617

第三节 《算术的基本规律》一书的逻辑629

第四节 弗雷格的成就638

第九章 弗雷格以后的形式发展642

第一节 各种符号系统642

第二节 表述方法：公理和规则656

第三节 自然推演和展开672

第四节 模态逻辑684

第五节 非正统逻辑简述707

第十章 弗雷格以后的逻辑哲学717

第一节 表达式、指示词和真值717

第二节 摹状词理论和各种指示词737

第三节 内涵性问题747

第四节 同一、函项和类767

第五节 必然性和语言779

第十一章 弗雷格以后的数理哲学807

第一节 集合论的悖论807

第二节 罗素的逻辑类型论813

第三节 布劳维尔的直觉主义831

第四节 希尔伯特的元数学纲领842

第十二章 演绎系统理论850

第一节 初等逻辑的元理论850

第二节 一般逻辑的元理论864

第三节 形式算术的不可完全性877

第四节 判定问题892

第五节 逻辑在科学中的地位907

参考书目选914

索引925

后记948