Horwich versus Tarski