公理化方法的哲学分析

一九七八年在西德召开了第十六届世界哲学会议。大会以现代自然科学哲学问题为主题,分八个方面进行讨论,其中一个议题是关于科学数学化的成就和范围问题。经过讨论,会议认为,科学数学化包括科学的算术化、形式化和公理化。这个讨论反映了现代科学数学化这一特点已经引起国外哲学工作者的关注和研究。本文拟就公理化方法的作用和意义作些探讨。