If I'm not mistaken

by JLS
for the GC

From A E Scott's brilliant review of Woody Allen's latest, "Midnight in Paris":

"Paul [Bates]’s habit of prefacing every
show-offy bit of data with

“if I’m not mistaken”

is a sign that, in the ways that count, he is.
He is another classic Woody Allen type, the
know-it-all pseudo-intellectual, and as
such the obvious foil for Mr. Wilson’s passionate,
self-deprecating schlemiel. If Paul ever met
T. S. Eliot, he would spout revised
footnotes for “The Waste Land.” For his
part, Gil cries out, “Prufrock is my mantra!”
Let’s not go there, you and I."

"Unless I’m mistaken, “Prufrock” is a
statement of the very ennui — the perception
of a diminished world unable to satisfy a
hungering sensibility — that afflicts Gil."

---

In symbols, it seems to amount to a tautology

~(I am mistaken) ⊃ p

But

"I am mistaken (about p)" iff ~p.

From which we get

~~p ⊃ p

which by (~,-) (DNE), becomes

p ⊃ p

---.

Another route:

~(I am mistaken) ⊃ p

is equivalent to

p v (I am mistaken)

p v ~p

--- another tautology.

Q. E. D.

Next: the 'implicature'.