Originally Posted by wphamilton

Sorry, he seemed to imply that you needed syllogism, or deductive reasoning basically, and a binary (yes/no) answer for there to be any useful prediction from mathematics. The insistence on absolute conclusions appeared to me to be a reliance on, or tunnel-vision of, boolean logic or what we used to call propositional calculus. Or more specifically, first order propositional logic because of his implicit use of quantifiers on variables such as "for every" and "only one" and so on. I'm running on here, but in a nutshell it means simple, every-day logic with enough formal rules added to make it useful.

I'm reading between the lines trying to envision where he is in his math studies and I tried to choose illustrations that would be clear. I probably failed there, so I apologize.