逻辑系统外的“真”

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

论逻辑系统的多样性

如何看待各式各样的逻辑系统?一元论、多元论和工具论提出了各自的观点。在分析和批判哈克的整体多元论的基础上,笔者尝试提出了"逻辑基础论",拟从不同的角度重新审视这个问题,以期做出更合理的解答。