克里普克对此的贡献.克里普克在《命名与必然性》中批评康德道，先验性是与认识论相关的性质，而必然性与形而上学相关，两者不应混为一谈。首先，他论证道，某些后验命题被视为必然的。例如，启明星是长庚星。（虽然各自叫法不同，但它们都是金星的名称）。它们必然是同一事物，但这一同一性却由后验得知。同样而类似地，存在偶然先验命题。例如，巴黎的米原器过去作为一米的标准。这就伴随着下述命题，“米原器长一米”，该命题是偶然的，因为我们本可能以其他长度定义一米。然而，它却是先验的，因为一米即由该米