From lojban-out@lojban.org Thu Apr 07 12:24:01 2005 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 14098 invoked from network); 7 Apr 2005 19:24:00 -0000 Received: from unknown (66.218.66.218) by m29.grp.scd.yahoo.com with QMQP; 7 Apr 2005 19:24:00 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta3.grp.scd.yahoo.com with SMTP; 7 Apr 2005 19:24:00 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.44) id 1DJcbe-0005Xl-7T for lojban@yahoogroups.com; Thu, 07 Apr 2005 12:23:58 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.44) id 1DJcan-0005X3-NE; Thu, 07 Apr 2005 12:23:08 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 07 Apr 2005 12:23:02 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.44) id 1DJcac-0005Wf-Gp for lojban-list-real@lojban.org; Thu, 07 Apr 2005 12:22:54 -0700 Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.44) id 1DJcab-0005WY-S8 for lojban-list@lojban.org; Thu, 07 Apr 2005 12:22:54 -0700 Date: Thu, 7 Apr 2005 12:22:53 -0700 Message-ID: <20050407192253.GI26545@chain.digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <425444C8.9080601@thestonecutters.net> <20050406234811.GC2746@chain.digitalkingdom.org> <925d175605040706332a4edfbc@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <925d175605040706332a4edfbc@mail.gmail.com> User-Agent: Mutt/1.5.6+20040907i X-archive-position: 9782 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org X-list: lojban-list X-Spam-Score: -5.4 (-----) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:12:0 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org Subject: [lojban] Re: Hintikka on Quantifier Scope X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 24138 On Thu, Apr 07, 2005 at 10:33:06AM -0300, Jorge Llamb?as wrote: > On Apr 6, 2005 8:48 PM, Robin Lee Powell > wrote: > > > http://www.hf.uio.no/filosofi/njpl/vol1no2/revolution/revolution.pdf > > > > I don't suppose there's a gentler version? He completely lost > > me at "It is intuitively obvious what is meant by such formulas > > as" on the second page. (in particular, I have no idea what the > > "V-like-thing slash for-all x" construction means). > > "V" is the symbol for the logical conective "or". Yeah, that I knew. > "V / Ax" means that the quantifier is within the scope of the > disjunction: [snip] OK, that helps a bit. Thanks. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ Reason #237 To Learn Lojban: "Homonyms: Their Grate!" Proud Supporter of the Singularity Institute - http://singinst.org/