> But do you really believe that mastering e.g. basic predicate logic is going to make anyone smarter? Well, I think understanding the difference between thing

> But do you really believe that mastering e.g. basic predicate logic is going to make anyone smarter? Well, I think understanding the difference between things which are empirically true and logically true is valuable - experiment versus symbol manipulation. Apart from logic or math, I'm not sure where else you could really learn the distinction.