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.
Joker_vD · 2026-06-30 13:42:22 UTC
> "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".
bryanrasmussen · 2026-06-30 13:52:30 UTC
you sure?
I think "if you don't you can't" does not preclude other don'ts leading to you can'ts, but "Do or you can't" means that if you Do you can, although in normal vernacular usage you are right that they are interchangeable.
Diogenesian · 2026-06-30 14:00:02 UTC
"xor you can't play Minecraft" is correct :)
playorizaya · 2026-06-30 14:10:29 UTC
And “If you don’t play Minecraft, you don’t have to finish house chores.”
jasperry · 2026-06-30 14:26:35 UTC
By the traditional translation of if/then sentences to classical logic, it is. If you want to go further down the rabbit hole, several things are debatable here: When people use if/then sentences, do they really mean material implication, where (A -> B) is equivalent to (~A OR B)? Also, people often use the word "or" in a sense that's closer to exclusive OR, as opposed to the inclusive OR that the logical operator indicates. Overall, can the meaning of a sentence with imperative intent be fully captured by a proposition that is just meant to indicate a state of affairs?
Comments
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.
is equivalent to "Do finish the house chores, or you can't play Minecraft".
I think "if you don't you can't" does not preclude other don'ts leading to you can'ts, but "Do or you can't" means that if you Do you can, although in normal vernacular usage you are right that they are interchangeable.