From pycyn@aol.com Thu Nov 07 18:19:29 2002 Return-Path: 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> Date: Thu, 7 Nov 2002 21:19:21 EST Subject: Re: [lojban] Re: importing ro To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_7b.1b2a30d.2afc7929_boundary" X-Mailer: AOL 8.0 for Windows US sub 230 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --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.


--part1_7b.1b2a30d.2afc7929_boundary--