（壹）古典逻辑 4
（一）略论理则学的基本重要性——从它的涵蓋性、系统性以及应用性来看 4
（二）一个几乎最简单的古典量化逻辑的公理系统 55
（三）从逻辑的观点略论孟子的「人禽之辨」——兼论中国哲学史研究之瓶颈的突破 75
（贰）检证逻辑 83
（四）从西方的二值真理观到中西合璧的三值真理观：一个三值「检证逻辑」与「检证理论」之创立 83
后记（1996） 121
（五）检证逻辑以及一些相关的问题 123
（六）从K3到L3到C3 148
（七）对于古德曼的检证理论的介绍、批评与改进 158
后记（1996）：对于陈氏〈评论〉之回应 202
（八）论检证吊诡与所谓「亚理斯多德式的解答」 217
（九）尼可判准之再检讨 222
（十） 略论罕普把「中立」视同「不相干」之不当 233
（叁）结语 239
参考书目 244