【摘要】：数理逻辑的本质是形式推理而不是数值计算,非此即彼式的严谨性是其特征,因而在一定意义下它是“两极化”的。比如,(1)一个逻辑理论或者是相容的,或者是不相容的,不存在“半相容的”理论。(2)“逻辑公式A是假设集T的推论”或者成立,或者不成立,说它近似成立是无意义的。(3)逻辑公式中有重言式和矛盾式,但没有0.8重言式。本文的目的在于为上述基本概念提供程度化的版本,并从而建立一种近似推理理论。