Received: from VMS.DC.LSOFT.COM (vms.dc.lsoft.com [205.186.43.2]) by locke.ccil.org (8.6.9/8.6.10) with ESMTP id OAA13203 for <cowan@LOCKE.CCIL.ORG>; Wed, 22 Nov 1995 14:03:28 -0500
Message-Id: <199511221903.OAA13203@locke.ccil.org>
Received: from PEACH.EASE.LSOFT.COM (205.186.43.4) by VMS.DC.LSOFT.COM (LSMTP for OpenVMS v1.0a) with SMTP id 9916C8A8 ; Wed, 22 Nov 1995 14:52:25 -0400
Date:         Wed, 22 Nov 1995 12:34:23 -0600
Reply-To: Steve Hazel <hazel@TURING.CS.STEDWARDS.EDU>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: Steve Hazel <hazel@TURING.CS.STEDWARDS.EDU>
Subject:      universal quantifiers
X-To:         lojban@cuvmb.columbia.edu
To: John Cowan <cowan@LOCKE.CCIL.ORG>
Status: OR
X-From-Space-Date: Wed Nov 22 14:03:30 1995
X-From-Space-Address: LOJBAN%CUVMB.BITNET@UBVM.CC.BUFFALO.EDU

Hmm...in nearly every natural language, universal quantifiers require referents.
I personally would like to see lojban not require referents, since such notation
would allow for easier expression of mathematical ideas.
*shrug*

.ui mi blanu badna zu'i
fynyorda

=Steven Hazel - hazel@turing.cs.stedwards.edu=