Re: [lojban] Lions and levels and the like

[Jorge Llambías <jjllambias@gmail.com>]

On Sun, Nov 13, 2011 at 12:34 PM, Martin Bays <mbays@sdf.org> wrote:
> * Sunday, 2011-11-13 at 10:10 -0300 - Jorge Llambías <jjllambias@gmail.com>:
>>
>> You have some hidden assumptions there, for example that there are
>> actual teachers of the kind that talks to every student.
>
> Could there not be, assuming the kind does talk to every student?

Probably not. I was just pointing out that B's trans-domain deduction
relies on more than the mere form "su'o broda cu brode ro le brodi".
It's also relying on particularities of broda, brode and brodi.

> I don't know the semantics of kinds talking to people; I was assuming
> they'd just be straightforwardly disjunctive.

Sounds reasonable to me as a first stab.

>> And B can deduce more: that there is some kind of teacher such that
>> every student was talked to by some teacher of that kind.
>
> Right, except that the kind could (at least in theory) be the kind
> Teacher.

It could, yes. It would be pragmatically unlikely because of the
"su'o", but from a strictly logical point of view it could. For B to
be able get no more than your deduction, B would have to make that
unlikely assumption.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.