Programming is applied philosophy. That is, through inquiry we explore a previously unknown field (to us) and reduce common concerns to a formally-testable set

Programming is applied philosophy. That is, through inquiry we explore a previously unknown field (to us) and reduce common concerns to a formally-testable set of axioms (our tests) When programmers walk into a new field, it might as well be magic and noise -- things happen for reasons we can't understand and conversations occur in which we don't understand the context. When we leave a field, at least for the part we've coded, we're able to describe both the "fuzziness" of the area and the parts that work in a more predictable format. We turn mystery into science. Looking at it this way, and as a layperson outsider, modern philosophy went off-the-rails sometime after formal logic theory. We've forgotten the skill and benefits of general inquiry and instead tried to formalize philosophy itself as if it were already a science. (or as if there were some underlying science waiting for us to discover it)