序言 1
目录 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