A philosophical analysis of the meaning of generics