4 ms·
In math, don't proofs only show whether something is consistent, not that something is 'better?' I'd wager the credit you are assigning math is based more on i
by pjmorris 8y ago
In math, don't proofs only show whether something is consistent, not that something is 'better?' I'd wager the credit you are assigning math is based more on its utility when applied rather than to anything inherent to proofs. So, maybe the question to ask is 'Have there been changes in how philosophy is usefully applied?' Seems like there could be. For example, I'm wagering that there's plenty of applied philosophical work to be done in the ethics of automated machinery like, say, automobile braking systems.
- avip 8y agoThe point is there's no disagreement among mathematicians wrt the mechanism of (dis)proving claims. It has nothing to do with usefulness, consistency, or the set of axioms assumed.
- foldr 8y agoThere's plenty of disagreement among people who actually think about what it means to prove or disprove a mathematical claim (which is a tiny, tiny minority of mathematicians). See finitism, intuitionism, etc. There is unlikely to be an agreed-upon mechanism for determining progress in philosophy for the obvious reason that what constitutes philosophical progress is itself a difficult and rather important philosophical question.
- avip 8y agoThe groups you've mentioned set forth their axioms and accepted logic and construct their math accordingly. There's no disagreement here, as there's no "disagreement" between Euclid and Lobachevsky.
- foldr 8y agoThere is disagreement about what constitutes an acceptable mathematical proof. E.g., is proof by contradiction a proof?
- theamk 8y agoYes, it is certainly a proof (in a most commonly-used logic systems) There may be some logic systems where proof by contradiction is not a proof. The existence of such logic systems does not mean there is any disagreement between mathematicians.
- foldr 8y agoNo, it doesn't, but as a matter of fact there has been disagreement among mathematicians on those issues. See e.g. https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_controversy https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_contro....
- goatlover 8y agoHow about the philosophy of math? Do numbers exist outside the human mind/culture? Is the universe mathematical, or is it just a map? Does math say anything fundamental about existence?
- majewsky 8y ago> Does math say anything fundamental about existence? I'd say yes. Using the tools of math, we can construct and study (within our mind) infinitely large and infinitely detailed structures that transcend the finite bounds and finite fidelity of our observable reality. This is what makes math beautiful and meaningful to me.
- branx 8y agoWhat exactly does that say about existence?