[英]威廉·涅尔 玛莎·涅尔 著  
《逻辑学的发展》  
张家龙 洪汉鼎 译 商务印书馆 1995年  
目录  
    序言  
    第一章 发端  
第一节 有效性概念  
第二节 几何证明  
第三节 论辩的论证和形而上学的论证  
第四节 辩论术和诡辩术  
第五节 柏拉图和逻辑哲学  
    第二章 亚里士多德的《工具论》  
第一节 《工具论》的内容  
第二节 《范畴篇》的学说和它的逻辑后果  
第三节 《论辩篇》  
第四节 亚里士多德关于意义和真值的理论  
第五节 一般陈述句的四种形式  
第六节 三段论学说  
第七节 亚里士多德的模态逻辑  
第八节 《分析篇》中的非三段论逻辑  
第九节 亚里士多德学派：德奥弗拉斯特  
    第三章 麦加拉学派和斯多葛学派  
第一节 麦加拉学派的哲学和斯多葛学派逻辑的起源  
第二节 麦加拉学派和斯多葛学派的模态理论  
第三节 关于条件句性质的争论  
第四节 斯多葛学派关于意义和真值的理论  
第五节 斯多葛学派的推理图式体系  
    第四章 罗马和中世纪的逻辑  
第一节 从西塞罗到鲍依修斯  
第二节 从阿尔琴到阿伯拉尔  
第三节 经院逻辑  
第四节 词项特性  
第五节 推论  
    第五章 文艺复兴以后的逻辑  
第一节 人文主义和自然科学的兴起  
第二节 莱布尼茨的兴趣  
第三节 莱布尼茨的包含和被包含的演算  
第四节 从萨克里到汉密尔顿  
第五节 鲍尔查诺和穆勒  
    第六章 数学抽象  
第一节 几何与公理学  
第二节 数和函数  
第三节 布尔和逻辑代数  
第四节 布尔代数以后的发展  
第五节 关系理论：德·摩根和皮尔斯  
    第七章 数、集合和数列  
第一节 弗雷格和他的同时代人  
第二节 康托尔的集合论  
第三节 弗雷格论他的前辈  
第四节 弗雷格的自然数定义  
第五节 数列：狄德金和皮亚诺  
    第八章 弗雷格的一般逻辑  
第一节 《概念文字》  
第二节 意义和所指：对象和函项  
第三节 《算术的基本规律》一书的逻辑  
第四节 弗雷格的成就  
    第九章 弗雷格以后的形式发展  
第一节 各种符号系统  
第二节 表述方法：公理和规则  
第三节 自然推演和展开  
第四节 模态逻辑  
第五节 非正统逻辑简述  
    第十章 弗雷格以后的逻辑哲学  
第一节 表达式、指示词和真值  
第二节 摹状词理论和各种指示词  
第三节 内涵性问题  
第四节 同一、函项和类  
第五节 必然性和语言  
    第十一章 弗雷格以后的数理哲学  
第一节 集合论的悖论  
第二节 逻辑素的逻辑类型论  
第三节 布劳维尔的直觉主义  
第四节 希尔伯特的元数学纲领  
    第十二章 演绎系统理论  
第一节 初等逻辑的元理论  
第二节 一般逻辑的元理论  
第三节 形式算术析不可完全性  
第四节 判定问题  
第五节 逻辑在科学中的地位