With the basic theories of possible-world semantics and rigid designators, Saul Kripke proposes revolutionary insights of “a Priori contingent proposition” and “a Posteriori necessary proposition” which have drawn much attention. Chen Bo, a distinguished Chinese scholar, puts forward a series of systematic criticisms against Kripkes arguments about the two kinds of propositions, and concludes that there are no such propositions. Through a careful analysis of Chens arguments, we can see that his refutation is based on the disagreements on the basic premises and their goals. The most fundamental difference between Chen and Kripke lies in whether or not to pursue for the strict demarcation between ontology and epistemology.