Square brackets and subscripts

In Parsons's proposal, as Grice notes,

"normal parentheses are retained"

but "the scope of an individual constant

OR bound variable" is

indicated by an occurrence of the

constant or variable in square brackets.

----

This is "followed by parentheses which

mark the scope boundaries."

----

As Grice notes, perspicuous as it may seem, Parsons's notation fails to mirror 'the obvious "link between subscripts and formation-rules."

---

These are Parsons's rewrites:

~[a[(Fa)

vs

[a](~Fa)

-----

Also:

(Ex)(~[x](Fx))

vs.

(Ex)([x](~Fx))