公理化方法

公理化方法,在逻辑,一个过程,整个系统(例如,生成一个科学)按照指定的规则逻辑扣除从某些基本命题(公理或假设),进而构造从几方面作为原始。这些条款和公理可以任意定义和构造或其他根据模型构思一些直观的保证的真理感觉存在。最古老的例子使公理化系统是亚里士多德用演绎推理的和欧几里德几何学的几何学。在20世纪早期英国哲学家伯特兰·罗素和怀德海尝试所有的形式化数学在一个公理的方式。学者们甚至受到了经验这个方法的科学,如J.H.Woodger已经完成在生物学的公理化方法(1937)和克拉克船体(心理学)原则的行为(1943)。另请参阅axiom。