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.
