真值函项理论与怪论

摘要

真值函项理论对复合命题的解释和刻画与复合命题的直观含义存在着不一致，这种不一致导致的“怪论”既存在于实质蕴涵，也存在于合取和析取。合取和析取仅存在“语法怪论”，这种“怪论”是由形式语言和自然语言在语法上的不一致造成的，其表现是将不合法的、无意义的语句当作合法的、有意义的。实质蕴涵则不仅存在“语法怪论”，而且存在“语义怪论”；后者是由实质蕴涵和“如果……那么……”在语义上的不一致造成的，其表现是将假的充分条件假言命题判定为真的，以及把直观上能确定真假的充分条件假言命题当成无法确定真假的。“语义怪论”的存在表明，用真值函项解释来确定假言命题的真假是不可行的。