公理
(希腊语axioma——通用的原理) 某一科学理论据以为出发点的一种立论(命题)，它可充当该理论中无需论证的命题。 可从这一立论(或诸立论之总和)中按照这一理论通行的推导规则推导出该理论的其他的一切命题(请比较公设)。从古希腊罗马时代到19世纪中叶，公理一直被看作是直觉上的显然命题，或先验性的真实命题。当时，公理对人们的实践——认识活动的依存性被忽视了。 列宁写道，人们的实践活动，由于经过亿万次的重复，也就被逻辑的格固定在意识之中，而这些逻辑的格又由于多次重复便获得公理的意义。对公理学方法的现代理解只要求公理具备一个条件：它必须是可借助通行的逻辑法则以推导出该理论的其他一切命题(定理)的出发原理。关于公理的真实性问题，要通过另一些科学理论的领域求得解决，或通过寻找这一系统的解释(参见解释和模式)求得解决：凡某种形式化的公理系统能够在某一具体范围内实现，这就可证明在该范围内所通用的公理是真实的。 |