不同层次的逻辑多元论

摘要

Beall与Restall提出了基于后承关系考虑的逻辑多元论.后承关系的一般模式含有参数x-情形.对x做不同解释,就获得不同的后承关系,也即不同的逻辑.这种观点基于"真"概念.如果对"真"概念的理解有分歧,那么,从"真"概念出发,将获得一种更为基本的逻辑观.由此区别出经典逻辑与直觉主义逻辑.这是第一层次的区分.这种区分源自对何为正确推理的解答不同.其差别是哲学观的不同.而对正确推理该如何采用当代逻辑研究范式去刻画,亦有不同理解.这造成第二层次的多元.其他众多非经典逻辑即属此层次.第二层次的多元是不争的事实,多元论与一元论的争论可以消解.真正争议是指第一层次上的,它是形而上学之争,难以消解甚至不可消解.