论文部分内容阅读
本文对公理化方法与公理系统进行了研究。文章指出,公理化方法是现代逻辑研究的重要方法。从古代希腊亚里士多德三段论和斯多葛学派的命题逻辑为标志的公理化方法的萌芽阶段,经过欧几里得建立的半形式化公理系统阶段,发展到现代弗雷格、希尔伯特、罗素等人建立的纯形式科学的数理逻辑,公理化研究的道路经历了两千多年。其间公理系统由实质公理学发展到形式公理学和证明论,概念、命题和推导完全抽象成了符号、公式和变形规则。形式公理系统在数学、逻辑学发展中起到重大推动作用,并广泛地应用于其它自然及社会科学领域。本文综述了两千年来公理学研究的整个过程,以发展的不同阶段为脉络讨论各个公理系统的初始符号、定义、公理及推理规则,详细探讨了各公理系统的不同特征,并指出这个发展过程具有其历史必然性,必要性和局限性。