推理形式有效性判定

逻辑学研究的中心问题。确定一推理是否形式有效。传统逻辑中的判定方法，是确定若干规则，一推理形式有效，当且仅当不违反这些规则；数理逻辑中的判定方法，包括真值表方法，归谬赋值法，范式方法，公理化推理方法等。