Re: DIS: Re: BUS: An Uncertain Set of Actions

2009-08-29 Thread Geoffrey Spear
On Sat, Aug 29, 2009 at 11:38 PM, Aaron Goldfein wrote: > (including having the IADoP track reports) I'd like to point out that I earned Twelve Months Long Service as IADoP before you held the title, and continued my predecessor's custom of tracking all of the reports. I believe the rule defining

DIS: Re: BUS: An Uncertain Set of Actions

2009-08-29 Thread comex
On Sat, Aug 29, 2009 at 8:59 AM, Geoffrey Spear wrote: > On Sat, Aug 29, 2009 at 3:09 AM, Sean Hunt wrote: >> If BobTHJ is owed the title Three Months Long Service, I award it to em. >> If BobTHJ is owed the title Six Months Long Service, I award it to em. >> If BobTHJ is owed the title Nine Months

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-29 Thread Kerim Aydin
On Sat, 29 Aug 2009, Pavitra wrote: > Kerim Aydin wrote: >> 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

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-29 Thread Pavitra
comex wrote: > On Sat, Aug 29, 2009 at 4:47 PM, Pavitra wrote: >> It occurs to me that R754(3) fails to establish a precedence relation >> between legal and mathematical definitions. > > I've never seen "if A, then B" used as iff as an _expression_-- to > answer "is it true that if A, then B?". I

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-29 Thread comex
On Sat, Aug 29, 2009 at 4:47 PM, Pavitra wrote: > It occurs to me that R754(3) fails to establish a precedence relation > between legal and mathematical definitions. I've never seen "if A, then B" used as iff as an _expression_-- to answer "is it true that if A, then B?". -- -c.

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-29 Thread Pavitra
Kerim Aydin wrote: > On Sat, 29 Aug 2009, Kerim Aydin wrote: >> On Fri, 28 Aug 2009, Elliott Hird wrote: >>> 2009/8/28 Roger Hicks : (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. >> >>

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-29 Thread Kerim Aydin
On Sat, 29 Aug 2009, Kerim Aydin wrote: > On Fri, 28 Aug 2009, Elliott Hird wrote: >> 2009/8/28 Roger Hicks : >>> (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 th

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-29 Thread Kerim Aydin
On Fri, 28 Aug 2009, Elliott Hird wrote: > 2009/8/28 Roger Hicks : >> (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.

DIS: Re: BUS: An Uncertain Set of Actions

2009-08-29 Thread Pavitra
Sean Hunt wrote: > If BobTHJ is owed the title Three Months Long Service, I award it to em. > If BobTHJ is owed the title Six Months Long Service, I award it to em. > If BobTHJ is owed the title Nine Months Long Service, I award it to em. > If BobTHJ is owed the title Twelve Months Long Service, I