《从古典逻辑到检证逻辑》

（壹）古典逻辑4

（一）略论理则学的基本重要性——从它的涵蓋性、系统性以及应用性来看4

（二）一个几乎最简单的古典量化逻辑的公理系统55

（三）从逻辑的观点略论孟子的「人禽之辨」——兼论中国哲学史研究之瓶颈的突破75

（贰）检证逻辑83

（四）从西方的二值真理观到中西合璧的三值真理观：一个三值「检证逻辑」与「检证理论」之创立83

后记（1996）121

（五）检证逻辑以及一些相关的问题123

（六）从K3到L3到C3148

（七）对于古德曼的检证理论的介绍、批评与改进158

后记（1996）：对于陈氏〈评论〉之回应202

（八）论检证吊诡与所谓「亚理斯多德式的解答」217

（九）尼可判准之再检讨222

（十） 略论罕普把「中立」视同「不相干」之不当233

（叁）结语239

参考书目244