In the modern academic practice, the question of where a particular idea came from, or whether an axiom is ontologically correct, is considered vacuous and out of scope. For the most part, you’re just handed a rulebook to play someone else’s game.
I very much had the opposite problem with Munkres's Topology or Dummit and Foote's Abstract Algebra: those authors hand you the ontological / scientific justifications for "everyday" ZFC without actually telling you the precise rules. I had to read a formal book on mathematical logic before I really understood point-set topology (at which point my misconceptions were clearly trivial confusion).
To be clear I think the standard intuitive semi-naive set theory is the correct approach for most math students. But it didn't work for me. I needed to see the axioms and formal language.
show comments
Jtsummers
> Formal logic usually isn’t taught in high school
Have things changed? Last century, this was a key part of (in the US) high school geometry courses. I won't argue that it was as in depth as you'd get in a college course (like you'd be exposed to in a math or philosophy degree program), but it was formal logic and it was taught.
show comments
Joker_vD
> "If you don't finish house chores, you can't play Minecraft"
is equivalent to "Do finish the house chores, or you can't play Minecraft".
This doesn't seem quite right to me:
I very much had the opposite problem with Munkres's Topology or Dummit and Foote's Abstract Algebra: those authors hand you the ontological / scientific justifications for "everyday" ZFC without actually telling you the precise rules. I had to read a formal book on mathematical logic before I really understood point-set topology (at which point my misconceptions were clearly trivial confusion).To be clear I think the standard intuitive semi-naive set theory is the correct approach for most math students. But it didn't work for me. I needed to see the axioms and formal language.
> Formal logic usually isn’t taught in high school
Have things changed? Last century, this was a key part of (in the US) high school geometry courses. I won't argue that it was as in depth as you'd get in a college course (like you'd be exposed to in a math or philosophy degree program), but it was formal logic and it was taught.
> "If you don't finish house chores, you can't play Minecraft"
is equivalent to "Do finish the house chores, or you can't play Minecraft".