Is geometry mathematical or empirical? - Philosophy Stack Exchange most recent 30 from philosophy.stackexchange.com 2019-10-20T11:41:07Z https://philosophy.stackexchange.com/feeds/question/30041 https://creativecommons.org/licenses/by-sa/4.0/rdf https://philosophy.stackexchange.com/q/30041 14 Is geometry mathematical or empirical? L.M. Student https://philosophy.stackexchange.com/users/18134 2015-11-28T03:40:46Z 2017-05-19T23:01:27Z <p>Is Euclidean geometry a mathematical theory, or is it a theory of empirical science? </p> <p>If taking it to be a mathematical theory would it be due to having alternative geometries? If so, is it in some way related to underdetermination? Alternatively, if we consider it to be an empirical theory would it mean that we assume something about the space? </p> https://philosophy.stackexchange.com/questions/30041/-/30044#30044 9 Answer by Conifold for Is geometry mathematical or empirical? Conifold https://philosophy.stackexchange.com/users/9148 2015-11-28T04:35:03Z 2016-10-26T01:29:29Z <p>It is both, or rather it has aspects that are mathematical, and aspects that are empirical (the same is true of Newtonian mechanics or special relativity, but more obviously so). If we take Euclidean geometry as the science of space, as Greeks understood it, it is an empirical theory that may or may not match observations, and is subject to revision based on them. On the other hand, if we take it as the collection of theorems derivable from Hilbert's axioms (which complete those of Euclid) then it is a purely mathematical theory. This is related to existence of alternative geometries only in the sense that we can not conclude a priori that empirical geometry is Euclidean, because alternatives do exist.</p> <p>Underdetermination enters in that observations allow us to test empirical geometry only to some precision for example, so small curvature may not be detectable. More subtly, as Poincare pointed out observations only depend on the pair geometry + physics, not each one separately. So we could keep Euclidean geometry of space by altering the physical part of the theory, and still get a theory equivalent to general relativity, but with rather unattractive physics. As a simpler example, Einstein's special relativity and Lorentz's theory of ether are empirically equivalent, but one is set in Minkowski 4D spacetime, whereas the other in the Newtonian 3D space times 1D time, but with physics that compensates for the absence of ether wind with specialized dynamical effects, like the length contraction and time dilation.</p> <p>See <a href="https://philosophy.stackexchange.com/questions/37768/is-logic-empirical/37787#37787">Is Logic Empirical?</a> for a related discussion.</p> https://philosophy.stackexchange.com/questions/30041/-/30045#30045 4 Answer by Jo Wehler for Is geometry mathematical or empirical? Jo Wehler https://philosophy.stackexchange.com/users/9174 2015-11-28T06:57:10Z 2016-12-03T19:12:19Z <p>Euclidean geometry is a <strong>mathematical</strong> theory, not a scientific theory. </p> <p>It starts from definitions and axioms and makes deductions from the axioms. It is not necessary to go out, to draw lines and angles and to measure real geometric figures.</p> <p>On the other hand, Euclid like everybody until the 19th century thought that Euclidean geometry also describes our world.</p> <p>Prompted by the question whether the parallel postulate can be deduced from the other axioms, mathematicians in the 19th century (Gauss, Bolyai, Lobachevski) detected non-Euclidean geometries. This shows that the parallel postulate is independent from the other axioms. </p> <p>The proof goes by showing that models exists which satisfy all axioms but not the parallel postulate. Hence the question came up whether Euclidean geometry is the only geometry to be used in natural science. As we know today thanks to the General Theory of Relativity, near large mass distribution spacetime is curved and not Euclidean. Here Euclidean geometry does not apply. A nice example is gravitation lensing, see </p> <p><a href="https://en.wikipedia.org/wiki/Gravitational_lens#/media/File:A_Horseshoe_Einstein_Ring_from_Hubble.JPG" rel="nofollow noreferrer">https://en.wikipedia.org/wiki/Gravitational_lens#/media/File:A_Horseshoe_Einstein_Ring_from_Hubble.JPG</a></p> https://philosophy.stackexchange.com/questions/30041/-/30050#30050 1 Answer by gnasher729 for Is geometry mathematical or empirical? gnasher729 https://philosophy.stackexchange.com/users/8375 2015-11-28T14:17:56Z 2015-11-28T14:17:56Z <p>Geometry is a part of mathematics. It starts with axioms, draws conclusions from them, and so on. "Alternative geometries" has nothing much to do with it being part of mathematics; people had used a set of axioms that they believed to be sufficient and it turned out not to be, and it turned out that adding any one of three possible additional axioms would produce one distinct mathematical geometry out of three possible ones. </p> <p>On the other hand, practical geometry can be seen as either engineering or as science. There are many aspects that have nothing to do with mathematical geometry. For example, building precise instruments, how these instruments are affected by temperature, atmosphere pressure and humidity along a line that is measured, effects of the earth's curvature and of relativity. </p> <p>For example, when you determine the location of points precisely using measurements in geometry, it all starts working fine just in agreement with mathematical geometry, but then you measure more precisely and the results disagree because (1) the earth is not flat but a ball, (2) because it is not a ball but a rotational ellipsoid, (3) because it is not a rotational ellipsoid but a flattened rotational ellipsoid, (4) because it is not a flattened rotational ellipsoid but a deformed flattened rotational ellipsoid. And then you take into account relativity...</p> <p>So practical geometry is very much a science. </p> https://philosophy.stackexchange.com/questions/30041/-/30054#30054 3 Answer by joseph f. johnson for Is geometry mathematical or empirical? joseph f. johnson https://philosophy.stackexchange.com/users/18141 2015-11-28T17:04:18Z 2015-11-28T17:04:18Z <p>We now regard geometry as a mathematical theory: one makes assumptions and deduces, strictly logicall, the consequences of those assumptions, with only passing interest in the accuracy of those assumptions. </p> <p>But when Hilbert was growing up, mathematicians and scientists almost all took the opposite point of view. As late as 1880, nearly everybody considered Geometry as an empirical science, a branch of Physics treated with mathematical tools. (They also thought of Probability in the same way: a branch of Physics.) Some Italians around Peano, I forget who, and Pasch, were pioneers of the new approach, which is now universal. Hilbert learned from them and in the 1880's recast their work, which for the first time produced completely rigorous axioms even for Euclidean geometry. He was also partly inspired by work on non-Euclidean geometry, which at the the time was still completely controversial since it didn't seem physical. Now we know that it is physical, but people like Klein and Hilbert championed the view that Geometry was a purely abstract, deductive, logical part of Mathematics, which is now the dominant view among mathematicians.</p>