Deductive reason

ENACTMENT: The act of arguing against modus tollens and PNC. Doing this must use modus tollens and PNC.

Rationality in matters of deduction is infallible. There is no arguing against modus tollens or PNC. (If there were, it would end the possibility of argument as such.) But rationality in matters of induction is empirical and statistical. Facts outside of logic and math are always learned through observation and controlled experiment. And matters of concern—of duty, morals, and goods—is learned through conversation. Essences are the strongest valid universals. If it is true that all xs are F, then it is certain that most, many, and some xs are F. Deductive inference, or reason proper, makes certainty transitive.