On Page 33, The Liar: an Essay on Truth and Circularity, (Barwise and Etchemendy, 1987)
Exercise 6 Explain how the claims made by the following sentences differ.$\lnot\downarrow\mathbf{True(this)}$$\downarrow\lnot\mathbf{True(this)}$Is either claim paradoxical? Are both?
Some explanations on notations: $\mathbf{True(this)}$ could be interpreted as the formula inside the parenthesis, which is, $\mathbf{this}$, viz this proposition, is true. However, what this proposition refers to depends on the position $\downarrow$. The first $\mathbf{this}$ refers to the proposition "$\mathbf{True(this)}$", while the second refers to "$\lnot\mathbf{True(this)}$"
Here's how far I understand: The sentence $\downarrow\mathbf{True(this)}$ can be either true or false, which is contrary to the Lair's paradox. Its negation must be neither true nor false. So the first sentence is paradoxical.
The second sentence, in my view, is identical to lair's paradox, thus it's not true or false, either.
I just can't see the difference between these two claims.
EDIT: some explanation on the scope symbol "$\downarrow$" in Barwise et al(1987)
A word of explanation is in order about the scope symbol "$\downarrow$". When we provide semantics for L, we will ensure that this automatically refers to the proposition expressed by the sentence in which it occurs. Thus it will be our formal analogue of the English expression "this proposition," when that phrase is used reflexively. But even in its reflexive use, this expression is ambiguous. The ambiguity emerges in cases like the following.
(2.1) Max has the three of clubs or this proposition is true.
We think the most natural reading here is one in which "this proposition" refers to the proposition expressed by the whole of 2.1. However, we can also imagine it being used to refer to the proposition expressed by the second disjunct alone, in which case it would refer to the ordinary Truth-teller proposition. The two readings give quite different propositions, with different truth-conditions. In the first case, we will say that the scope of "this" is the entire sentence; in the second case, its scope is just the second disjunct. In our formal language, the two would be disambiguated as follows. $(\text{Max has three clubs})\lor \mathbf{True(this)}$ $(\text{Max has three clubs})\lor \downarrow\mathbf{True(this)}$