3 ms·
Trying to point the presuppositions of someone who considers themselves completely objective or rational is a lost cause, I've found. They quickly fall into cir
by prometheus76 4y ago
Trying to point the presuppositions of someone who considers themselves completely objective or rational is a lost cause, I've found. They quickly fall into circular logic, but fail to see the circularity.
- DoctorOetker 4y agoThe objectivity I claim does not reside in the dogmatic axioms, they are indeed unproven, the objectivity is in the fact that a some theorem provably follows from the axioms. I state nothing less myself when I describe "fundamentalism" as a better moniker: the quest for locally minimal sets of axioms that allow maximal sets of theorems to follow from them without generating mathematical inconsistency.
- RcouF1uZ4gsC 4y ago> the objectivity is in the fact that a some theorem provably follows from the axioms. Actually I don’t think the laws of inference are formally provable.
- DoctorOetker 4y agoThe laws of inference are axioms as well. You can see how its done in say MetaMath.