4 ms·
And yet, proof in this domain isn't precise the way a mathematical proof is precise.
by sillysaurus3 9y ago
And yet, proof in this domain isn't precise the way a mathematical proof is precise.
- dvt 9y agoOf course it's precise (in fact, it's isomorphic to a mathematical proof).
- default-kramer 9y agoI suppose it depends on how narrowly you are defining philosophy. But the fact is that we can write computer programs to verify many more kinds of mathematical proofs than we can philosophical "proofs".
- Retric 9y agoEven mathematical proof is a relatively low standard in practice. Just look at all the retracted papers that have been published. Erratum are surprisingly widespread for such a formal system.
- sametmax 9y agoMaking a mistake has nothing to do with using an accurate system. You can have the most precise ruler in the world and yet use it incorrectly.
- Retric 9y agoMy point is that perfection is not required. So, calling something a proof does not mean it must be accurate.
- sametmax 9y agoOf course it is. When you see a mistake in a reasoning, it's not called a proof anymore. It's kinda the definition.
- Retric 9y agoThe problem is it was called a proof beforehand. So, their is cases of demonstrated lag between publishing and problems showing up. Therefore in the strictest possible terms, every published result is in some way suspects as they simply have yet to be disproved. I am in no way suggesting this is some kind of reasonable standard. Just that math is slightly more subjective than often portrayed. PS: This line of reasoning was simply in response to the suggesting that proof somehow inherently implied accuracy.
- sametmax 9y agoFair enough :)
- sametmax 9y agoIf you read universally accepted classical philosophers most of their work are not precise at all, yet they are widely recognized. Actually, a lot of philosophy is "arguable". I don't think you can argue a lot with a mathematical proof. And I'm sorry, but when Lacan compare the penis to square root of -1, it's hard to come back to scientists and sell the rigor of philosophy. Same when philosophers use and abuse Gödel's incompleteness theorems or the quantum observer effect to justify ludicrous claims.
- throwawayknecht 9y ago> Same when philosophers use and abuse Gödel's incompleteness theorems... Except the most popular abuser of Gödel's conclusions by far is a physicist and mathematician.
- sametmax 9y agoNobody said scientists couldn't be wrong. I'm just against the idea that philosophy is as rigorous as maths in most of the forms it has taken until today.