The (standard) definition I use is that induction studies probabilistic inference, and deduction studies necessary entailments. Then inductive logic is more or less exhaused by probability theory. I was claiming that one cannot apply those laws without deductive rules. How would one apply Bayes' theorem without instantiating variables, etc.? This has nothing to do with brains.

But if you're using a different definition, we may just be talking past each other.

@sireebob@cybre.space It does! https://f-droid.org/en/packages/com.termux.widget/