1、Ge n e r a l In f o r m a t i o n 书名=1983.07 现代逻辑学问题作者=（日）末木刚博等页数=216SS号=10257535出版日期=1983年07月第1版封面页书名页版权页前言页目录页出版说明前言逻辑学的历史&末木刚博 (一)中国逻辑学 1墨翟 2别墨(墨者) 3名家 4苟卿 5韩非 (二)印度逻辑学 1数论派的“遍充”的思想 2恰拉卡本集的五支作法 3正理经的逻辑 4新因明的逻辑 (三)西方逻辑学 1希腊的逻辑学 2亚里士多德以后的逻辑学 3近代以后现代逻辑学&吉田夏彦 (一)逻辑主义的体系 (二)仨符号 逻辑符号 元素符号 (三)命题式 (四)命题式
2、的意思 (五)省略的命题式 (六)列与式，字典顺序，闭式 (七)推论图 (八)论证图 (九)论证图的例子 (十)的定义 (十一)外延性公理 (十二)抽象公理 (十三)用定义导入演算子 (十四)再论逻辑主义的体系 (十五)素朴集合论的悖论 (十六)对逻辑的重新考虑 (十七)类型理论 (十八)无限公理 (十九)一阶谓词逻辑 (二十)完全性定理 (二十一)应用谓词逻辑及其模型 (二十二)公理的集合论 (二十三)形式主义数学基础论 (二十四)哥德尔的不完全性定理 (二十五)无矛盾性问题 (二十六)证明论和模型论哲学和逻辑学&泽田允茂 (一)逻辑思维 (二)语法、逻辑和存在的并行 (三)方法论与逻辑学 (四)先验逻辑和形式逻辑 (五)辩证逻辑的形式 (六)对逻辑学的哲学的一瞥语言、逻辑和计算机&扳本百大 (一序：逻辑的边缘 (二)可计算性与电子计算机 1递归函数和可计算性 2电子计算机原理与逻辑 (三) 自动机理论与人的思维 1信息处理与自动机 2逻辑思维的功能和起源 (四)文法与逻辑，机器翻译 (五)语义 1同义性 2对象指示和实在论 3个人的语义和浯义的公共化附录 一、波尔罗亚尔逻辑学在西方逻辑学史上的意义&山下正男 二、波尔罗亚尔的语义学&内井?七附录页
