Jay Rosenberg wrote a 1994 work subtitled "[This work] for Human Beings" entitled Beyond Formalism, while Scott Soames discussed this work's "Unfinished Semantic Agenda" in a 2002 work.  
Jay Rosenberg wrote a 1994 work subtitled "[This work] for Human Beings" entitled Beyond Formalism, while Scott Soames discussed this work's "Unfinished Semantic Agenda" in a 2002 work.  This work proposes the phrase "I exist" as a counterexample to "P is a posteriori iff P is contingent" by showing that "I exist" is both contingent and a priori.  This work posits an "initial baptism" whereby the title action occurs, and it uses the example of "Hesperus equals Phosphorus" in formulating the "rigid designator." It refutes the Frege-Russell theory of definite descriptions in such sections as "A Puzzle about Belief" and "Speaker's Reference and Semantic Reference." For 10 points, name this book consisting of three Princeton lectures that provide the basis for the causal theory of reference, by Saul Kripke.
Jay Rosenberg wrote a 1994 work subtitled "[This work] for Human Beings" entitled Beyond Formalism, while Scott Soames discussed this work's "Unfinished Semantic Agenda" in a 2002 work.  
{Naming and Necessity}