Re: [bpfk] Uniqueness across quantification.

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

On Sat, Apr 9, 2011 at 8:37 PM, Pierre Abbat <phma@phma.optus.nu> wrote:
> On Monday 28 March 2011 08:03:05 Jorge Llambías wrote:
>
>> If you want to say that they each live in a different house, I would
>> suggest:
>>
>>   ro lo ci remna cu xabju lo frica zdani
>>
>> which is not logically rigorous, but it's clear enough. If you do need
>> logical rigour, I don't see any way other than multiple sentences.
>
> That should be "lo ficysi'u zdani", else it means that each of the three
> humans lives in a house that is different from something else.

They do each live in a house that is different from something else,
namely the houses the other two live in.

You can't use "lo ficysi'u zdani" with "ro lo ci remna" because it's
not the case that each of them lives in mutually different houses.
Each of them is supposed to live in a single house. "ro" says that you
can put each of the three humans in "... xabju lo ficysi'u zdani" and
get a true predication, but that's not the case. If one of the humans
is la djan, you don't really want to say that "la djan cu xabju lo
ficysi'u zdani".

If you eliminate "ro", then yes "the three of them live in mutually
different houses", which works but it's still non-rigorous, you still
have to work out for yourself that it's one house each.

mu'o mi'e xorxes

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