但是,逻辑证明的作用再重要,也不能代替实践的作用,因为逻辑证明所使用的前提、概念、原理和逻辑规则等是否完全符合客观实际,既要不断在实践中加以检验,又要在实践中不断丰富和发展。欧几里得几何学中有一些长期以来被人们认为是不证明自明的公理,被当作逻辑推理的前提,实际上,这些公理正是通过人们无数次实践活动总结出来并加以证明的。随着实践的不断发展,这些公理也会变化和发展。同时逻辑证明的思维过程及其结论是否正确,还必须回到实践中去,由实践来做最后的检验。尊重逻辑不但同尊重实践不相抵触,而且恰恰是尊重实践的必然要求。
亚里士多德
|