 See Quine 1951 &amp; 1960 for skepticism about analytic definitions; see also the entry on the  analytic/synthetic distinction.  Horty 2007 offers some ways of thinking about senses of defined expressions, especially within a Fregean semantic theory.