By contending nothing (YOU) imply anything. You need to type class your variable, otherwise it's assumed to be of type Any.
>That is indeed my point when claiming that you contradict yourself. I believe your criticism would benefit from nuance.
The nuance is just missed by you. I did address this. Multiple times. My initial post did mention that science and logic arose out of philosophy (and by implication is a part of it). The failure in this case is technically not on me, it's on your usage of the argument.
>I agree. I think the misunderstanding lies in your belief that X can be anything on the face of the universe. Not everything is equally worth asking the question what we mean when we talk about it. By popular convention, religion, science, aesthetics and logic are worth it. Philosophy therefore turns to them rather than rocks.
And my claim, which you don't agree with, is that aesthetics is just like the rock when compared to philosophy of science. That is the category error. If you can lump science with religion then you can lump it with rocks too.
If you claim X is not anything that can possibly exist. Then type class X for me. What is it? Formalize your claim. Because by not type classing X you've basically said anything goes or you have not said anything meaningful at all. It's equivalent to saying "My argument is X" and then not defining it.
This is the essence of the argument. My claim is basically X is typed really poorly and arbitrarily with little formalism let alone sense.