I love this argument. I am going to post my favorite link about it, but I don't fully agree with it.
SOLVED: The Mystery of Sherlock Holmes ~ THE MBTI BLOG
The only thing I can not be argued out of is the N/S and F/T labeling of Holmes. I believe that he can't be N only because how detailed oriented he is. I know that he can then draw 'grand deductions' from the details, but I feel like you are missing the point entirely if you ignore the details... and I thought S was more detailed oriented... if not then something is wrong with my personality label. T- I thought that was just obvious, but that is just me.
My other comment is that I have found most individuals who label Holmes as INTJ are INTJs themselves (there is nothing wrong with that, my best friend and brother are INTJs). I think it is better to let the matter rest is an inconclusive label, but I can see adequate arguments in almost all of the above replies.
LAST THING- The link says he is ISTP and yes, so am I, but I don't view myself as Holmes... EVER. I just like the description of the S and T arguments. The other two letters I feel can be either.