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

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
[email protected]

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (FreeBSD)

iD8DBQFAyiewDrrilS51AZ8RAjHoAJ9DKcb3F/ZF30n2+VS1GDKvPqfxwQCgu/2R
FITpXrf8WYHXtroKjBI+7Ic=
=AkGV
-----END PGP SIGNATURE-----