《金匮要略》临床诊疗“实质公理”集

公理,具有古典的涵义和现代的涵义。公理的古代涵义要求作为公理的命题比理论中的其它命题更具有明显的真实性,以致可以被接受为不证自明。这里诉诸的是人们的经验和直觉。人们通常所说的逻辑是经过人们千百次的实践而具有公理的意义,指的是公理的古典涵义。公理的现代涵义不再诉诸人们的直觉和经验,而只考虑公理集满足某些特定的性质。这些性质主要是一致性、独立性、完全性等。一致性有关公理的采用是否合法;独立性有关公理的采用是否经济;完全性有关公理的效用,即推演能力。一个理论的公理集最好能同时满足这三条性质,也可以不满足独立性或完全性,但不能不满足一致性。公理系统分两种,形式化的和非形式化的。非形式化的公理系统,也称实质公理系统,典型的如欧几里得几何;形式化的公理系统,即是形式系统。如此,我们可以按中医理论体系结构,构建关于《金匮要略》临床诊疗"实质公理"集。