[FOM] Disjunction: in or ex?

Martin Davis martin at eipye.com
Thu Jan 11 17:03:41 EST 2007


Two remarks that no one yet has made on this thread:

Historical: Boole only permitted union of two sets when they are 
disjoint, so the distinction didn't arise.

Legal: In contracts in the US, I have seen "and/or" used to indicate 
inclusive disjunction.

Martin


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com




More information about the FOM mailing list