Re: Quantification of quoted text (was Re: BPFK Section: gadri)

Jordan:
> I also don't understand why {bu} can't just be handled before {zo}.
> I think jbofi'e actually does it...

This is one of the things we will be arguing about when we get to
the "magic words" checkpoint.

> Now, as far as quantification is concerned, a string of lojban is
> a string of lojban.  {mi porpi} is always {mi porpi}.  There's only
> one such string.

How do you say "I saw seven {mi porpi}s on that page"?
That's not necessarily the same as seeing {mi porpi} seven times,
you could see the seven sentences at once.

> It's also the same as predicate logic.  A formula *is* the sequence
> of symbols.  It is always the same formula if it is the same sequence
> of symbols (and therefore there is only one of each formula).
> 
> Does this make any sense?

What do we gain by being so restrictive? What do we lose if we allow
quantification over instances?

mu'o mi'e xorxes


__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 


------------------------ Yahoo! Groups Sponsor --------------------~--> 
Yahoo! Domains - Claim yours for only $14.70
http://us.click.yahoo.com/Z1wmxD/DREIAA/yQLSAA/GP4qlB/TM
--------------------------------------------------------------------~-> 

 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
     http://groups.yahoo.com/group/jboske/

<*> To unsubscribe from this group, send an email to:
     [email protected]

<*> Your use of Yahoo! Groups is subject to:
     http://docs.yahoo.com/info/terms/