Statutory reasoning is not best understood as merely deductive, and thus standard formal logic is not the best approach for modeling statutory reasoning. Rather, as examples from the Internal Revenue Code illustrate, at least some statutory reasoning is best characterized as defeasible reasoning—reasoning that may result in conclusions that can be defeated by subsequent information—and is best modeled using default logic. 

 

© UC Irvine School of Social Sciences - 3151 Social Sciences Plaza, Irvine, CA 92697-5100 - 949.824.2766