真值表方法的功能

摘要

早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定这类推理有效性的强有力的工具。考虑到真值表方法正在被愈来愈多的逻辑工作者重视,大部分新出版的普通逻辑教材已经移用了一部分真值表方法的材料,所以对真值表方法及其功能作进一步探讨、研究似很必要。