[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 6:25 PM, Mike S. <maikxlx@gmail.com> wrote:
>
> I think the rules in summary are:
>
> hW B R P => B R hW P
> hW N F => N hW F
> hW J F1 F2 => J hW F1 hW F2
> BV RV P[hW]V => BV hW RV PV (definition of P)

ha re mlte xkre => re mlte ha xkre
A is a world in which every cat is black => For every cat, A is a
world in which it is black

It's clear that the domain of the quantifier for the first formula
contains only the cats in A. Can the domain of the quantifier for the
second formula include cats that are not in A? If it can, the
implication doesn't seem right.

ca'aka ma xrxe