> Science isn't that. Science is what humanity has to resort to when a thing is not knowable by other means—the preferred from for modification is not at hand.
Science is description and explanation on top of empiricism. It is the first means by which people understand things, not the last, as formal methods came way late.
This drive to properly name things also gets into the somewhat similar debate of whether math is discovered or invented. And somewhere someone is trying to determine whether it's appropriate to call math as science, art, or engineering.
> Science is description and explanation on top of empiricism. It is the first means by which people understand things, not the last, as formal methods came way late.
I don't think that's at odds with what the parent comment said; the reason we use empiricism and description for analyzing reality is because we didn't create it and we don't know the rules beforehand. When designing a software system, you _choose_ the rules of which things interact and which things don't, and how those interactions occur; there's no need for empiricism in order to discover these interactions. We don't necessarily need to use science to understand our software systems because we rule over them by fiat and can choose to design them in ways that make it easier for us to understand them.
Science is distinguished from religion, pure metaphysics, and other approaches to truth through a focus on empiricism and a formalization of explanatory methods.
Science is description and explanation on top of empiricism. It is the first means by which people understand things, not the last, as formal methods came way late.
This drive to properly name things also gets into the somewhat similar debate of whether math is discovered or invented. And somewhere someone is trying to determine whether it's appropriate to call math as science, art, or engineering.