Yes, oh yes. Definitely. If you’re ever in charge of a system, it’s _especially_ a good way to learn logic intimately. You discover variables you NEVER saw before in a thought experiment and yet, you still have to piece it all together so it works properly… whatever the ‘it’ is.
I think it depends on what you plan to use it for.
Call me a pragmatist (Ken, you’re a pragmatist) but what you want to know ‘about’ can be led fruitfully by knowing the want/need/plan/purpose for it.
For example, logic that I’m familiar with, I learned through programming. A program can’t run if the logic is wrong.
Of course, programming logic is different from formal logic, analytical logic, etc.
I’ve also learned the logic of analogies. I know it supposedly maps to various structured logics, but I never spoke the lingo. But I comprehend the ins and outs of metaphors and analogies, the pitfalls and strengths of drawing comparisons-between things via that method.
Yet, in neither case is it formal. But, call me a pragmatist, it’s effective.
So, it depends. I spent a few years learning Russian before one day I realized, “Wait, if I have nothing to say to most people in English, why would I suddenly have something to say to them in Russian?” and realized the silliness of my endeavor.
[the linguistics I learned in the meantime was useful but the Russian? Outside of being able to read Russian aloud and pronounce it ok, not much]