蕴涵命题真值表的应用及缺陷

在人类思维的逻辑领域 ,以数理逻辑为代表的现代逻辑 ,对以形式逻辑为代表的传统逻辑产生了十分深刻的影响。但在二者的整合过程中 ,却出现了不合谐的音符 ,尤其是数理逻辑蕴涵命题真值表在传统逻辑中的应用 ,使推理中出现了标准、形式的所谓合理性与结果之间的自身矛盾性 ,成为困扰逻辑界的一大难题。本文从数理逻辑命题的构成、蕴涵命题的取值特征、数理逻辑与形式逻辑的同一性、反差异性等几个方面 ,力图说明作为自我完备的一个符号体系的数理逻辑 ,其蕴涵命题的真值取值有着自身的值域性的缺陷 ,而形式逻辑在借用的过程中 ,却没有注意到这一点 ,只注重了二者的同一性却忽视了二者的差异性 。