我们只考虑了在数学中的全称、存在和唯一量化。它们都不能用来量化如下 尽管在本文中我们没有考虑自然语言的语义，我们将尝试用如下类型的自然语言为断言提供语义一种可能的解释机制可以获得如下：假设除了语义域"X"之外，我们还给出在"X"上定义一个概率测度P和截断数0 < "a" ≤ "b" ≤ 1。如果"A"是带有自由变量"x"...,"x"的公式，它的释义是变量"v"...,"v"the的函数"F"，则的释义是"v"...,"v"的函数，它是T当且仅当，否则是F。类似的，的释义是"v"...,