第五章 推理、后承关系和蕴涵

逻辑是关于推理的有效性的学科，推理中前提和结论之间的关系叫做“后承关系”。由于任何一个推理都可以化归为一个“前提蕴涵结论”的蕴涵式，推理有效性的判定最后被归结为相应蕴涵式的永真性的判定。于是，蕴涵就成为逻辑学中的一个关键性概念：对于它的意义的不同理解和把握，会导致对后承关系的不同说明和刻画，并最终导致许多性质和功能有别的不同逻辑系统的构建。本章将讨论后承关系的一些特点，并从逻辑史和自然语言的实际两个方面，去区分、澄清、阐明各种不同意义的蕴涵及其相互关系，以及它们对后承关系的刻画是否适当和合理等问题，本章最后对实质蕴涵作出了辩护。它尽管不具有内容相关性和独立性，但它具有保真性，概括了“如果……则……”这类联结词的各种用法的共性，在日常语言中有经验的根据或基础；并且它是关于“如果……则……”的各种解释中最弱的，因而是最简单、适用范围最广的一种。它所特有的许多反直观的“怪论”并不会对推理过程造成实际的伤害，不会造成“推出过多”和“推出过少”的毛病，至多是无用的。在目前已提出的各种蕴涵中，实质蕴涵是最好的，用作推理理论也是最成功的。