序 1
第一章 直言命题诸成分的逻辑意义 1
一、词项的逻辑意义 1
二、系词“是”的逻辑意义 11
三、量词的逻辑意义 19
四、否定词的逻辑意义 19
第二章 从关系逻辑的观点论传统逻辑的直言命题及其推理 22
一、从关系逻辑的观点论传统逻辑的A、E、I、O之间的对当关系 22
二、从关系逻辑的观点论传统逻辑的换位法 28
三、从关系逻辑的观点论传统逻辑的换质法 31
四、从关系逻辑的观点论传统逻辑的周延理论 37
五、从关系逻辑的观点论传统逻辑的直言三段论 48
六、从关系逻辑的观点论传统逻辑的三个基本规律 55
第三章 传统与现代：两种不同的使用符号语言方式 59
一、几个重要概念的区分 59
二、传统逻辑与现代逻辑的差异及关系 71
一、命题演算 89
第四章 直言逻辑的自然语言形式系统 89
二、量词演算 124
三、系词演算 148
第五章 直言逻辑的哲学问题 172
一、“是”与“同一”的关系问题 172
二、“是”与“存在”的关系问题 194
三、“是”与“真”的关系问题 216
四、“是”与“性质”的关系问题 222
五、个别与一般及其关系问题 230
六、几点结论 238
第六章 几种直言逻辑解释系统 242
一、卢卡西维茨的解释及其扩充 242
二、类逻辑的解释 261
三、一元谓词逻辑的解释 273
前期成果 295
主要参考文献 297