I think I agree with this in one sense and disagree in another. In particular, in regard to “giving it a name just made it easier to explicitly think about” :
I agree that this makes it easier to reason about, and therefore you might come to conclusions faster and so on, even correctly.
I don’t agree that we really made it easier to think about. What we actually did is make it less necessary to think about it at all, in order to come to conclusions. You can see how this works in mathematics, for example. One of the main purpose of the symbols is to abbreviate complicated concepts so that you don’t have to think through them every time they come up.
I think the second point here is also related to my objection in the previous comment. However, overall, the first point might be overall more important, so that the benefit outweighs the costs, especially in terms of benefit to a community.
I think I agree with this in one sense and disagree in another. In particular, in regard to “giving it a name just made it easier to explicitly think about” :
I agree that this makes it easier to reason about, and therefore you might come to conclusions faster and so on, even correctly.
I don’t agree that we really made it easier to think about. What we actually did is make it less necessary to think about it at all, in order to come to conclusions. You can see how this works in mathematics, for example. One of the main purpose of the symbols is to abbreviate complicated concepts so that you don’t have to think through them every time they come up.
I think the second point here is also related to my objection in the previous comment. However, overall, the first point might be overall more important, so that the benefit outweighs the costs, especially in terms of benefit to a community.