如上表所示,《形神逻辑》拥有全部可能的16个基本真值表的完备的命题真假系统。《形式逻辑》只有“属6式”,而欠缺了“归6式”和“归/属4式”共欠缺了10式。其中的p∈是简单命题p=a∈b的缩写;pЭ是简单命题p=aЭb的缩写。q∈和qЭ的意思雷同于p∈和pЭ。
按照《形神逻辑》推导的结果,全部的判断是16个,全部的真值表是16个。只是由于《形式逻辑》中没有了8个内归判断,所以6个内连内真值表(16真值表中红字所示的6个)不需要了,而且联系内外两阕的4个真值表(16真值表中蓝字所示的4个)也不需要了。譬如哺乳类真兽亚纲的大脑分左右两半球,也有联系左右两半球的胼胝体。大脑如果只有半球的话,则也不需要胼胝体了。
通过范畴推理,本人发现了其实共有16个判断,如上表中红字所示与物性范畴个数完全偶合,不多也不少。后来更发现16个判断与所有可能的16个命题的基本真值表也刚好偶合。原来对形式逻辑有意义的基本真值表只有6个,而其余的大部份共有10个,必须在16判断系统之下才全部有其独立意义。用真值表制表的推理模式是由弗雷格、查尔斯·皮尔士斯特·施罗德于1880年代所发明的。现在到了电脑到处飞的21世纪了,这10个基本命题真值表位置依然空着,也不见有逻辑界的泰斗式人物提出过疑问,甚至好像没有任何人在乎过还有这10个空位的存在。就好像在此之前,康德以后似乎没有人质疑过先验12判断的完备性一样。
虽然现在16判断和16个与其偶合的基本真值表都全部被发现了。但是因为形式逻辑只论事之真假而不论物之对错,所以是没有对错表的。不过在实际推理时,因为“事有真假,物有对错”,所以单有真值表还是不够的,还必须有“概念对错表”以确认命题对象的对错。例如:“鬼是吃泥的”这个命题,不但要确认有没有吃泥这件事,还要确认究竟有没有“鬼”,才能够完全确定这个命题是否正确。于是本书也从认识范畴推导出了完备的概念对错表。终于,形神逻辑诞生了。