John, List:
JAS: how would you scribe the graph for "A thinks that B is *possibly *
true"?
JFS: For my recommended version of metalevel EGs, I would first replace the
dotted line of your EG with a solid line. That would express the sentence
"A is thinking the proposition that there exists a B."
Jon,
Every statement about a thought expresses a possibility. Every statement about
a claim, a wish, a fear, etc, expresses a possibility. That is why
metalanguage is a more explicit method for expressing and reasoning about
possibility. Quine said that in the 1960s, and other logicians