克里普克首次提出存在先天偶然性的命题。在此之前，人们认为，一个命题是必然（necessary）真的当且仅当它是先天（a priori）真的，一个命题是偶然（contingent）真的当且仅当它是后天（a posteriori）真的。但在克里普克看来，“先天的”（a priori）是认识论概念，强调人可以不依赖经验而知道某个命题为真；“必然的”（necessary）是形而上学概念，强调命题所陈述的事实不仅为真，而且必然为真，偶然性则是与必然性相对应的概念，强调命题所陈述的事实虽然为真，但也有可能不为真。因此先天命题不等于是必然的，必然命题不等于是先天的。