“[W]hat follows from a true premiss must be true” (The Problems of Philosophy, p. 60, link) Wrote Russell as an example of a principle of logic that is more self-evident than the inductive principle. If we were to formalize this we would perhaps write it like this: E1. □[([∀P][Q∧Q⇒P])→P]1 Or perhaps just just in propositional…