论文部分内容阅读
【正】在科学发现史上,从古希腊的亚里士多德开始,为获得真知而应用的形式逻辑方法,系统阐述的主要有两种:演绎逻辑和归纳逻辑。唯理派论者根据演绎推理方法在公理化体系内、逻辑结构中的各结论具有真的可靠性这一特点,强调在理论重建中,演绎推理是确认理论正确度的有效证明逻辑。现今数学和理论物理学建立起来的庞大的形式化理论体系,可谓是这种逻辑方法在科学研究中取得成功的最好证明。