[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
Jordan:
> On Sun, Nov 10, 2002 at 12:15:15AM -0000, And Rosta wrote:
> > Jordan:
> [...]
> > > Ax((Fx & ~Fx) -> Gx)
> > > is true for any universe, and any predicates F and G. (A false
> [...]
> > Sorry if I'm being obtuse, but I don't understand the connection
> > between what you say here and the text it is responding to
>
> Well:
>
> > > > > If not there's nothing to prevent you from claiming {lu'a pi PA
> > > > > lo'i pavyseljirna cu broda} for any PA or any broda, and being
> > > > > perfectly correct
> > > > Not by any sensical epistemology I can think of. Every claim is
> > > > true or false of a given world. Give me a set of truth conditions
>
> If we have a nonimporting ro, it's very sensical to have that claim
> And even with a importing ro, similar such claims can be made
If ro is importing or nonimporting and you are making the claim about a
world where unicorns exist, then the truth of the claim depends upon
the state of the unicorns in that world.
If ro is importing or nonimporting and you are making the claim about
a world where unicorns do not exist, then I will be baffled as to
what information you are trying to communicate. It will be so uninformative
that its truth or falsity is an irrelevance to me.
--And.