 the
&gt; &gt; same referential meaning, at least.
&gt; 
&gt; Perhaps, but that does not imply that they are the same
&gt; proposition, nor that they "have the same meaning" in
&gt; any other than that one very narrow sense.

I do not think that you want to admit connotations of arbitrary sorts
into a matter of logical semiotics, and short of sorting them out by
interpretive type, say the way that 1 : B, 1 : B -&gt; B, 1 : B^2 -&gt; B,
and so on are distinguished, I just do not see a way to do this that
mak