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


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

RE: [jboske] Re: big rethink on Unique and other gadri



xorxes:
> la nitcion cusku di'e
> >Another solution (which I think preferable) is to leave the gadcolumns
> >alone, and go propositionalist 
> 
> I don't think that is a solution. We already have the
> propositionalist method at our disposal: if the predicate
> in question does not accept propositions, make a lujvo 
> That's not a solution if we want to be able to use any
> predicate and not just selected predicates 

But do we want to be able to use any predicate? The propositionalist
alternative is not automatically derivable from the "intensional
gadri" version, so if the logical meaning is that expressed by the
propositionalist version, then an intensional gadri can mean no
more "hang on, when I say 'broda intensional-gadri brode', I don't
really mean 'broda', I actually mean a different proposition that
contains 'nonintensional-gadri brode'" -- and that is undesirably
vague. To give a concrete example, if {sisku lo'ei broda} really
means {troci LEdu'u facki lo broda}, then all {lo'ei} is doing
is saying "I don't mean 'mi sisku lo broda', but I am trying to
communicate a similar proposition in which 'lo broda' is within
the scope of a world-straddling predicate (troci).
 
> >Another solution, which I think easiest, is to do what we did with
> >{kau}: just stick a UI on, and say "wherever that UI is, we quantify
> >the referent right here, not in the prenex."
> >
> >So,
> >{mi skicu loi xodiumu} presupposes that xodium exists
> >{mi skicu loi XVV xodiumu}: I describe xodium [which is in a world
> >where xodium exists]
> 
> Maybe 

That is the only propositionalist solution I can find for predicates
of depiction.
 
> >(... is XVV da'i?)
> 
> What does {mi nitcu re da'i tanxe} mean?

Ignoring whether the right cmavo and selmaho has been chosen,
it should mean two things that, not necessarily in this world,
are boxes. Which I think is about right.

--And.