逻辑学的发展PDF电子书下载

序言 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