[FOM] Why inclusive disjunction?
Klaus Ebbe Grue
grue at diku.dk
Wed Jan 10 03:56:46 EST 2007
Hi John,
> I am preparing to teach a course in `proof'.
>
> Can anyone provide a principled reason for why logicians choose to
> interpret "or" as inclusive disjunction?
A guess: it seems that natural language develops in a 'Huffman coding'
direction such that concepts used frequently get short names. So if
'inclusive or' occurs more frequently than 'exclusive or' in papers
writting by logicians, then 'inclusive or' will get the valuable (short)
name 'or'.
Cheers,
Klaus
More information about the FOM
mailing list