为一谈。首先，他论证道，某些后验命题被视为必然的。例如，启明星是长庚星。（虽然各自叫法不同，但它们都是金星的名称）。它们必然是同一事物，但这一同一性却由后验得知。同样而类似地，存在偶然先验命题。例如，巴黎的米原器过去作为一米的标准。这就伴随着下述命题，“米原器长一米”，该命题是偶然的，因为我们本可能以其他长度定义一米。然而，它却是先验的，因为一米即由该米原器长度来定义，所以米原器肯定长一米（在它还作为一米的标准的时候）。这是一种重言式，有时也称其为循环定义
伯特兰·罗素对此的