You forgot the precision of language usage and precision and clarity of definitions, which has been the foundation of math - the way to deal with meaningful abstractions, and then so called computer science, where naming, clarity and reduced to the essence (to an optimum) abstractions (ADTs) are the most important aspects.

Classification (ontology) and labeling of a human language gives us meaningful type systems (Java has nothing to do with it). Logic gave us control structures and ultimately algorithms.

The philosophy of science and epistemology gave us the absolute necessity of tests and reality checks (otherwise one ends up with Hegelian abstract nonsense or what we call theoretical physics).

And metaphysics is just nonsense for weak minded to boost their self-esteem, which gave us "everything must be Object Oriented, statically typed, absurdly verbose" crap.