Kerim Aydin wrote: > On Sat, 29 Aug 2009, Kerim Aydin wrote: >> On Fri, 28 Aug 2009, Elliott Hird wrote: >>> 2009/8/28 Roger Hicks <pidge...@gmail.com>: >>>> (If X then Y) implies (if X then Y else (not Y)) >>> >>> Jesus >>> flippin' >>> Christ >>> on >>> a >>> pogo >>> stick >>> Please tell me this was a typo. >> >> It's true for CANs on regulated things because the default state is not Y. > > And it's also true under the related legal maxim (not mathematical logic) > of exceptio probat regulam (de rebus non exceptis). Overuse of > mathematical symbolic constructs in the courts and in law makes us forget > that legal logic may differ substantially. -G.
It occurs to me that R754(3) fails to establish a precedence relation between legal and mathematical definitions.
signature.asc
Description: OpenPGP digital signature
