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

From: "Jordan DeLong" <fracture@hidden.email>
Date: Fri, 11 Jun 2004 16:44:16 -0500
Subject: Re: [jboske] Quantification of quoted text (was Re: BPFK Section: gadri)
To: jboske@yahoogroups.com

On Thu, Jun 10, 2004 at 08:20:25PM -0700, Jorge Llambías wrote:
> Jordan:
[...]
> > 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?

I think we lose a little bit of rigor.  There aren't really instances
of lojban formulas, so quantifying over them makes no sense.

-- 
Jordan DeLong
fracture@hidden.email

Attachment: binNa3w6An01B.bin
Description: application/ygp-stripped

References:
- Quantification of quoted text (was Re: BPFK Section: gadri)
  - From: "Jordan DeLong" <fracture@hidden.email>
- Re: [jboske] Quantification of quoted text (was Re: BPFK Section: gadri)
  - From: Jorge "Llamb�as" <jjllambias2000@hidden.email>

Prev by Date: Re: [jboske] Quantification of quoted text (was Re: BPFK Section: gadri)
Next by Date: Considering creating a link grammar for Lojban
Previous by thread: Re: [jboske] Quantification of quoted text (was Re: BPFK Section: gadri)
Next by thread: Considering creating a link grammar for Lojban
Index(es):
- Date
- Thread