>>7280175>>7296373logic is already imagination: you manufacture rules which you hope that are tied to the empirical world, but the plurality of logics and the universal disagreement on which logic is appropriate without a context shows that logic is not about objectivity.
I used to be a constructivist, but now I am a classical, if I must be.
Math is just pure imagination, which is blatant from the formal logics. since imagination is disconnected from the empirical world, if you truly want to use your imagination, do it full-on and be a classical guy. to be a constructivist in math is to claim that there is a link imagination -> sensations, just like the mathematician believes that there is a link, which we call abstraction, sensations -> imagination permitting to categorize our sensations. Of course, the mathematician cannot prove that the concepts that he produces tie back to the sensations, are relevant wrt the sensations. the rationalist takes the reason seriously as relevant in life, he thinks that the reason/rationality is not a subset of the imagination, but given the diversity of logics, he is not able so far to defend his thesis since de facto, there are several logics.
the classical guy acknowledges that classical math through classical logic is disconnected from the sensations -- which can be seen with the contrived notion of truth taken as validity of statements in classical logic, instead of the justification of constructivist math -- so he has the right to do anything that he wants, within the framework of the classical logic that he imagined.
of course, his notion of truth is really dubious.
The problem of the mathematician/logician is in one word why does he do math/logic ? Why does he think that math/logic is relevant, is worth doing ?
He has no clue, beyond some vague fantasy of ''explaining the world''. of course, he has no idea what ''explaining'' means
To be a constructivist is really to be a rationalist and to claim to be an empiricist at the same time in order to to avoid the criticism that the work of the constructivist is pure speculation/metaphysics/non-sense, just like in philosophy.
