> Taking the statement completely out of context, it states : if A implies B, then not A implies not B. This is a logical flaw.
The statement in TFA is not that though. Instead, it is "if A implies B, then not A implies not C."
A: writing about thoughts
B: thoughts become more complete
C: thoughts are most complete
If "A implies B" is true, then it also doesn't matter if other methods also make your ideas more complete, because "A implies B" means that writing would make them even more complete, therefore "not C."
+1, pg is using a pretty typical argument you see in analysis/topology.
If you want to get to real analysis/topology the typical sequence is
1. Logic and Set theory (recommendation: How to Prove It, Velleman)
2. Linear Algebra (don't have a good recommendation)
3a. Real analysis (recommendation: PMA, Rudin)
3b. Topology (recommendation: Topology, Munkres)
I'm not sure I'd recommend learning math. It's an extremely expensive skill -- though pretty valuable in the software industry. People who go learn math are generally just drawn to it; you can't stop them even if you wanted to.
But be aware, (1) you'll have no one to talk about math with. And (2) you'll be joining a club of all the outcasts in society, including the Unabomber.
The statement in TFA is not that though. Instead, it is "if A implies B, then not A implies not C."
If "A implies B" is true, then it also doesn't matter if other methods also make your ideas more complete, because "A implies B" means that writing would make them even more complete, therefore "not C."