逻辑学的发展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