example of si'o?

[Logical Language Group <lojbab@access.digex.net>]

I saw the following on sci.lang, and suspect that it may be a useful
example of si'o, the concept abstract.

           jmc@cs.Stanford.EDU "John McCarthy" writes:
> I am surmising that the argument about flouting Leibniz's law (things
> with the same properties are the same) goes something like this.  If
> Pat knows Mike's telephone number, and Mary's telephone number is the
> same as Mike's, then we get a contradiction if we think that the
> knowledge predicate applies to the telephone number and add that Pat
> doesn't know Mary's telephone number.  There are lots of ways to
> weaken the formalism so it doesn't lead to contradiction.  The one in
> my 1979 paper "First Order Theories of Iondividual Concepts and
> Propositions", reprinted in my 1990 book _Formalizing Common Sense_
> goes as follows.
>
> Use different terms for telephone numbers and concepts of telephone
> numbers.  Mike's telephone number can be the same as Mary's without
> the concept of Mike's telephone number being the same as the concept
> of Mary's telephone number.  We make knowledge applicable to concepts.

lojbab