> But I think it would be helpful for many people to first learn logic and deduction "the precise way", and then do actual mathematical proof where you can jump over more obvious parts.
Absolutely. And I can not imagine a mathematics degree which doesn't place formal logic front and center in the first semester.
When you are starting out you absolutely need to suffer through the rigourous formal arguments.
>Ironically, the one subject which often teaches formal logic as an early introductory class for undergraduates isn't mathematics, computer science, or physics, it's philosophy.
I can not believe that this is the case. Even engineering undergrads have to learn formal logic in their first semester.
Absolutely. And I can not imagine a mathematics degree which doesn't place formal logic front and center in the first semester. When you are starting out you absolutely need to suffer through the rigourous formal arguments.
>Ironically, the one subject which often teaches formal logic as an early introductory class for undergraduates isn't mathematics, computer science, or physics, it's philosophy.
I can not believe that this is the case. Even engineering undergrads have to learn formal logic in their first semester.