【现代逻辑的发展】郑毓信辽宁教育渖阳.pdf
现代逻辑的发展 郑毓信编著 1989年沈阳
2前言 就没前按照严格的形式逐步地建立数理逻辑的理论,也并不意 在提供关于数理逻辑历史发展的详细年表,或某个数理逻辑学 家研完工作的介绍及评价。与此相反,第一部分主要是围绕数 学础的研究进行论述的。笔者希望,这不仅能有助于人们正 确地认识数理逻辑的性质、内容和方法,而且也使较为抽象的 内容具有较大的可读性.除去数学的方向以外,现代逻辑还包括了其它方向上的发 展,这些研究与前述意义下的数理逻辑的研究是相反相成的,它 取代了与数学的直接联系,这些研究主要建立在哲学的分析之 上或是直接为哲学的研究服务的.
目 帐 前 第一部分数理逻辑的形成和发展 第一章 数理逻辑的早期发展 莱布尼兹的贡献 二、布尔的逻辑代数 三、其他逻辑学家的贡献第二章 决定数理逻辑现代发展的主要因素一、非欧几何的建立.