[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >

[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [engelang] intensions & extensions (Xorban)


On Sat, Sep 15, 2012 at 9:27 PM, Jorge Llambías <jjllambias@hidden.email> wrote:
 

On Sat, Sep 15, 2012 at 8:58 PM, Mike S. <maikxlx@gmail.com> wrote:
> On Sat, Sep 15, 2012 at 6:58 PM, Jorge Llambías <jjllambias@hidden.email>
> wrote:
>> On Sat, Sep 15, 2012 at 6:25 PM, Mike S. <maikxlx@gmail.com> wrote:
>> >
>> > hW B R P => B R hW P
>>
>> ha re mlte xkre => re mlte ha xkre
>
> sa sma ha re mlte xkre
> => sa sma ha re mlte xkr[h^]e
> => sa sma re mlte ha xkr[h^]e
> => sa sma re mlte ha xkr[ha]e
> => sa sma re ha mlte ha xkre

Hmm... Then the rule as stated can be misleading.

Here's another way of looking at it without screwing with the restriction.  Let's say that "sm-" had two places and meant "x1 is an entity in world x2".  When x2 is elided then we get the one-place "sm-" meaning "x1 is an entity [in some world]" that we already have & use.  Then we can say for every predicate e.g. xkre with an "extensional" argument, there is another predicate e.g. xkr`e without the extensionality such that

ha xkre <=> jana smeka xkr`e
"if E exists in world A then E is a black".


sa sma ha re mlte xkre
sa sma re mlte ha xkre
"There is some A such that for all E, if E is a cat then if E exists in world A then E is a black."
Or simply, "In world A, every cat is black."

The exact h-transformation is lexically determined, but predictable from the meaning.  So (again ignoring x1 which *is* extensional) intensional places just ignore the "ha":

ha pxro'eke <=> pxro'eke

sa sma ha re mlte pxro'eke
sa sma re mlte ha pxro'eke
"There is some A such that for all E, if E is a cat then E is depicted."