In the paper Models and Reality, Hilary Putnam discusses one of these statements named for Skolem. While explaining one of these statements, Carl Gustav Hempel imagined melting ice with a colorless flame and argued for applying (10[1])Nicod’s criterion. The study of these statements led Ramsey to develop the Theory of Simple Types. Investigating these statements caused Graham Priest to develop the first-order logic LP with three values. An appendix (10[1])was hastily made for the (-5[1])Grundgesetze (“GROOND-guh-ZETTS-uh”) when one of these statements was derived (-5[1])from Frege’s Basic Law V, undermining logicism. One of these statements named for liars can be resolved with (10[1])the position of dialetheism (“die-uh-LEE-thee-ism”), while another attributed to Zeno involves an arrow flying in space. For 10 points, name these statements in the study of logic that appear to contradict themselves. ■END■ (10[2])