Re: [lojban] Re: Hintikka on Quantifier Scope

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Thu, Apr 07, 2005 at 10:33:06AM -0300, Jorge Llamb?as wrote:
> On Apr 6, 2005 8:48 PM, Robin Lee Powell
> <rlpowell@digitalkingdom.org> 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/