计量逻辑是研究逻辑理论程度化的一个重要研究方向。按照研究对象的不同,可以分为计量命题逻辑与计量一阶逻辑。其中关于计量命题逻辑的理论研究已有大量研究成果,而关于计量一阶逻辑的理论研究却只有凤毛麟角。本文在一阶逻辑系统中从整体与局部两个角度研究了一阶逻辑公式的真实程度,建立了相应的一阶逻辑公式的真度度量方式,并在此基础上提出了一阶逻辑系统中一阶逻辑公式间的相似度以及相应的伪距离,进而相应开展了一阶逻辑公式集上近似推理的研究。本文主要取得了以下五个方面的研究成果：1.基于一阶逻辑系统中一阶逻辑公式相对于有限解释的相对真度的测度形式,提出了其算式定义形式,简化了对一阶逻辑公式相对真度的计算过程与证明过程。并且给出了非闭一阶逻辑公式在有限解释下相对真度的算式定义的进一步简化形式。然后证明了一类特殊一阶逻辑公式集中两一阶逻辑公式合取的关于有限解释的相对真度正是两一阶逻辑公式关于有限解释相对真度的乘积。最后讨论了一阶逻辑公式在逻辑推理过程中经过推广规则后准真度的变化情况,证明了某一类特殊一阶逻辑公式的准真度都是1/2。2.基于一阶逻辑公式的准真度,提出了一阶逻辑公式间准相似度概念,并提出了一种一阶逻辑公式间的伪距离ρ,建立了一阶逻辑公式集上的伪度量空间(F,ρ)。证明了基于一阶逻辑公式间的相似度所定义的相似关系是一种等价关系,研究了一阶逻辑公式间的伪距离与一阶逻辑公式准真度的关系,证明了伪度量空间(F,ρ)上逻辑算子“(?)”,“∨”, “∧”与“→”的连续性,以及在伪度量空间(F.ρ)内不存在孤立点的性质。最后,基于一阶逻辑公式间的伪距离提出了三种不同形式的近似推理模式,并证明了在某种特定条件下三者等价。3.按照一阶语言有限解释解释域的势分层,取所有解释域势为n的有限解释下一阶逻辑公式相对真度的算术平均值为一阶逻辑公式的n-真度,以向量的形式给出一阶逻辑公式的真度向量概念。证明了无论n取何值,所有原子公式的n-真度都等于1/2,证明了n-真度与真度向量的对称性定理,指出将一阶逻辑公式中的个体常元替换为新的变元符号后不改变其n-真度。4.当一阶逻辑公式表达能力退化为一个命题逻辑公式时,证明了其所有,n-真度与相应的命题逻辑公式的真度值相等,从而使命题逻辑公式的真度与一阶逻辑公式的n-真度达到了和谐一致。5.基于一阶逻辑公式的n-真度,提出了一阶逻辑公式间的n-相似度概念,并进而定义了另一种一阶逻辑公式间的伪距离ρn,建立了一阶逻辑公式集上的逻辑度量空间(F,ρ,n),证明了其中不存在孤立点。最后提出了三种不同形式的逻辑度量空间(F,ρn)上的近似推理模式,并研究了他们之间的关系。