[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

Viewing source code

The following is the source code for post >>>/phi/46

>>45
Objective truth can be called a tool in the toolbox just the same. In no way does what you said violate the reasonability of viewing math as objective truth.
There is no reason why A=A has to 
be true in math. Instead one investigates the consequences of it being true and doesn't "believe" that A=A besides acknowledging that conventionally it is one of the formulae one investigates the consequences of.