Why do you think logic is taught as part of the philosophy department in US universities, not the math or comp sci department?
Personally, I think the means of abstraction and logical reasoning we take for granted today are the direct result of thousands of years of philosophy!