This is true, but when you look at geometric proofs all you are doing in HS geometry is deductive logic using an abstraction which is a general approximation of the real world. That's why I could see getting rid of HS geometry and just having a deductive logic class too, perhaps with a unit of Euclidean Geometry included in it.

Algebra and calculus are different though. They are tools for finding unknown information and thinking about changing values.