Re: [lojban] Re: Hintikka on Quantifier Scope

[Jorge Llambías <jjllambias@gmail.com>]

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". 

"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