梅祥

（华东政法大学人文学院，上海201620）

逻辑系统外的“真”

梅祥

（华东政法大学人文学院，上海201620）

非形式论证有广义与狭义之分，在一个形式逻辑系统外非形式论证应做狭义理解，即不可能前提真并且结论假。而在一个形式逻辑内的可靠性证明中就蕴涵了这种狭义的非形式论证。因此，一个逻辑系统只要证明它是可靠的，那么它就能保证不可能前提真并且结论假的出现。

系统外的有效性； 非形式论证； 可靠性证明

逻辑系统外的“真”是什么呢？说到逻辑系统外，人们都会想到非形式论证，而非形式论证我们不能简单地讲述它，而是应该将其作广义与狭义之分。一个形式逻辑系统只与狭义的非形式论证发生密切联系，而广义的非形式论证更多应用于修辞学与论辩学。这里讲的逻辑系统外便指的是狭义的非形式论证，而它的“真”便正是系统外的有效性，即不可能前提真并且结论假。那么如何来保证这种逻辑系统外的“真”呢？本文将着力分析。

一、形式逻辑与非形式逻辑

形式逻辑与非形式逻辑之间的主要区别表现在以下三个方面：首先，形式逻辑和非形式逻辑研究的论证类型不同。语言是描述世界的一种载体，论证是确定对世界认知的一种方式。语言和论证相辅相成，论证的展开离不开语言，通过语言带给我们交流和沟通的价值来自于论证。没有语言，论证失去了它存在的基础；没有论证，语言失去了它应有的可信度。而语言又往往被划分为自然语言和形式语言。……