From sentto-44114-17045-1036721970-lojban-in=lojban.org@returns.groups.yahoo.com Thu Nov 07 18:21:47 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 07 Nov 2002 18:21:47 -0800 (PST) Received: from n2.grp.scd.yahoo.com ([66.218.66.75]) by digitalkingdom.org with smtp (Exim 4.05) id 189ym9-0004DE-00 for lojban-in@lojban.org; Thu, 07 Nov 2002 18:21:37 -0800 X-eGroups-Return: sentto-44114-17045-1036721970-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.193] by n2.grp.scd.yahoo.com with NNFMP; 08 Nov 2002 02:19:30 -0000 X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 8 Nov 2002 02:19:29 -0000 Received: (qmail 75588 invoked from network); 8 Nov 2002 02:19:28 -0000 Received: from unknown (66.218.66.218) by m11.grp.scd.yahoo.com with QMQP; 8 Nov 2002 02:19:28 -0000 Received: from unknown (HELO imo-m09.mx.aol.com) (64.12.136.164) by mta3.grp.scd.yahoo.com with SMTP; 8 Nov 2002 02:19:28 -0000 Received: from Pycyn@aol.com by imo-m09.mx.aol.com (mail_out_v34.13.) id r.7b.1b2a30d (26116) for ; Thu, 7 Nov 2002 21:19:21 -0500 (EST) Message-ID: <7b.1b2a30d.2afc7929@aol.com> To: lojban@yahoogroups.com X-Mailer: AOL 8.0 for Windows US sub 230 From: pycyn@aol.com X-Yahoo-Profile: kaliputra MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Thu, 7 Nov 2002 21:19:21 EST Subject: [lojban] Re: importing ro Content-Type: multipart/alternative; boundary="part1_7b.1b2a30d.2afc7929_boundary" X-archive-position: 2520 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: pycyn@aol.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --part1_7b.1b2a30d.2afc7929_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 11/7/2002 6:44:31 PM Central Standard Time, lojban-out@lojban.org writes: << > All As > > is equivalent to > > All Xs such that X is an A > > > Debating that equivalence seems amazingly non-sensical to me. In fact, > that is exactly how I was tought to convert natural-language sentences > with 'all' in them into predicate logic, IIRC > >> Hey, maybe I have read this set of lecture notes. As I recall, itmintroduced restricted quantifier notation and then blew it by dropping it in midstream for unrestricted quantifiers -- I thought a pedagogically idiotic move. --part1_7b.1b2a30d.2afc7929_boundary Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: 7bit In a message dated 11/7/2002 6:44:31 PM Central Standard Time, lojban-out@lojban.org writes:
<<

All As

is equivalent to

All Xs such that X is an A

Debating that equivalence seems amazingly non-sensical to me. In fact,
that is exactly how I was tought to convert natural-language sentences
with 'all' in them into predicate logic, IIRC
>>

Hey, maybe I have read this set of lecture notes. As I recall, itmintroduced restricted quantifier notation and then blew it by dropping it in midstream for unrestricted quantifiers -- I thought a pedagogically idiotic move.

To unsubscribe, send mail to lojban-unsubscribe@onelist.com

Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.
--part1_7b.1b2a30d.2afc7929_boundary--