图式逻辑

本书以图形的表达能力为主题研究了逻辑图从欧拉开始经文恩、皮尔士、巴威斯等传承的历史发展脉络以及“图式逻辑”概念的提出进程，然后以现代逻辑的方法和技术分别详细研究了欧拉图、文恩图、皮尔士图等经典逻辑图以及在它们基础上发展起来的现代图式系统的形式推理系统及其元理论性质。