Abstract

本书收录了张家龙先生有关西方逻辑史论,数理逻辑史论以及中国逻辑史论的相关文章,是作者多年研究的精华集.他用现代逻辑的技术重新构建了亚里士多德的直言三段论和模态三段论系统,用现代逻辑观点对亚里士多德的模态命题逻辑,关系理论和偏好理论作了解释,将欧洲中世纪逻辑的成果构建成类似模态逻辑S3的系统.全面系统地研究了从莱布尼茨到哥德尔的数理逻辑发展史.他在中国逻辑史研究方面,从数理逻辑观点构造了"周易"的形式公理系统,用现代逻辑方法将'侔'式推理概括为两类共6种有效式.他研究了艾耶尔,布拉德雷和罗素的哲学思想,提出一些新见解.在逻辑哲学研究方面,他分析了国内外已有的悖论定义,提出了不同定义;提出了关于可能世界的'模态结构论';对本质主义的观点作了新的辩护.