From lojban-out@lojban.org Thu Apr 07 06:35:39 2005 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 2739 invoked from network); 7 Apr 2005 13:35:38 -0000 Received: from unknown (66.218.66.172) by m26.grp.scd.yahoo.com with QMQP; 7 Apr 2005 13:35:38 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta4.grp.scd.yahoo.com with SMTP; 7 Apr 2005 13:35:38 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.44) id 1DJXAV-0006yL-VR for lojban@yahoogroups.com; Thu, 07 Apr 2005 06:35:36 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.44) id 1DJX9Z-0006xU-MP; Thu, 07 Apr 2005 06:34:48 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 07 Apr 2005 06:34:33 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.44) id 1DJX8t-0006x0-5p for lojban-list-real@lojban.org; Thu, 07 Apr 2005 06:33:55 -0700 Received: from wproxy.gmail.com ([64.233.184.206]) by chain.digitalkingdom.org with esmtp (Exim 4.44) id 1DJX8c-0006wB-FP for lojban-list@lojban.org; Thu, 07 Apr 2005 06:33:54 -0700 Received: by wproxy.gmail.com with SMTP id 68so602935wri for ; Thu, 07 Apr 2005 06:33:07 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:references; b=PUHv4qo/zLuMK/wKDHyCxof/+IwGGX6/cxbRhWr55NlYIlCV1wJ/iyHEGkHwe+6NJ5DOZULi5SD/G38dhT/g39jMXLf0mI/mwZLXvOl4/zCqud5whKH6cc9WUSRIHk8t2Erhip2hnQteYUpnv9DwBj/CgYTVATvdGAUg5DHCjbQ= Received: by 10.54.13.63 with SMTP id 63mr470180wrm; Thu, 07 Apr 2005 06:33:06 -0700 (PDT) Received: by 10.54.69.3 with HTTP; Thu, 7 Apr 2005 06:33:06 -0700 (PDT) Message-ID: <925d175605040706332a4edfbc@mail.gmail.com> Date: Thu, 7 Apr 2005 10:33:06 -0300 In-Reply-To: <20050406234811.GC2746@chain.digitalkingdom.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 References: <425444C8.9080601@thestonecutters.net> <20050406234811.GC2746@chain.digitalkingdom.org> X-Spam-Score: -2.5 (--) X-archive-position: 9777 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com X-list: lojban-list X-Spam-Score: -2.5 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:12:0 X-eGroups-From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= Reply-To: jjllambias@gmail.com Subject: [lojban] Re: Hintikka on Quantifier Scope X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 24133 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". "V / Ax" means that the quantifier is within the scope of the disjunction: Ax: F(x) V G(x) For each x it is the case that F(x) or that G(x) Ax: F(x) (V/Ax) G(x) = Ax: F(x) V Ax: G(x) For each x it is the case that F(x), or for each x it is the case that G(x). In this case the slash notation can also be expressed with standard notation, but in more complicated cases apparently not. mu'o mi'e xorxes