|
It's not as much a matter of determining whether "x is 'just' a subset of y", as it is a matter of finding the most fundamental truth about something. For instance, if you state that (paraphrasing) racism is wrapped up in 'in-group bias' and it turns out that people are actually racist because of something in our DNA (similar to being afraid of spiders) or something like that (NB: completely contrived, to provide context related to your comment), the you would have lost the truth in a higher abstraction layer, by hiding the underlying principle. Now, abstraction is a helpful tool, but it should be used to abstract things to the level necessary to convey an exact message. Einstein might have said, "Abstract things as high and low as necessary, while preserving the truth, but no higher or lower."... but in the meantime, I made that quote up. Take, for instance, my "Anchoring" example. There are more fundamental things that are going on beneath the "Anchoring" abstraction. Perhaps a specific part of the human psyche, which is also responsible for recognizing patterns (e.g., Reticular Activating System) is also responsible for the mental constructs that lead to such a cognitive bias. But, once that science is understood sufficiently enough to be trusted, a concept like "Anchoring" is a helpful delineation. In the aforementioned case of racism that I contrived, the abstraction layer of "racism" and the perceived lower level abstraction "in-group bias" hides the truth, and this fallacious abstraction actually becomes, as Noam Chomsky might suggest, a part of our mental grammar, which prevents us from ever learning the truth, unless the abstraction is broken in our minds. |
Could it be that on societal level creating a separate category like 'racist' is important and valuable, even if it's technically a 'fallacious' abstraction? We don't always have the time to properly get to the bottom of things, assuming all of us are even capable of doing so, so we're going to grasp for salient categories anyways.
It vaguely reminds me of the discussions here about functional programming versus object-oriented programming. Alongside the heated debate for and against either approach (and the definitions of the 'true' version of each), there's always someone who points out something like 'closures are just a poor man's objects', and 'objects are just a poor man's closures'.
Even if, for the sake of argument, the differences between FP and OP are not as fundamental or clear-cut as they seem, I'd argue that for me and many others these discussions are very useful. I'd never get out of my 'OOP box' to explore FP if it wasn't contrasted and put in a whole separate category and given a bunch of tantalizing pros that pull me to investigate.
Isn't 'truth' really just another abstraction, but one we cannot (yet) dive into to find the underlying 'truth'? What I mean is, we stop at a certain point not only because it's where we end up at for the time being, but also because it's a useful abstraction.
And to be clear, I'm arguing this primarily in the context of the already very murky and messy field of the social sciences / psychology, where definitions are a lot less definitive than in physics or mathematics, and where they have a much more immediate effect on society.
(honestly, I'm not sure I'm disagreeing with you, and I'm sorry if I'm perhaps not making much sense. I'm not usually this openly... explorative in my comments here. Your comment(s) just tickled my brain in a good way.)