ions in my definition of
&gt; a "meaning-preserving translation", which determines
&gt; which sentences are to be considered as expressions
&gt; of "the same proposition":
&gt; 
&gt; <A  HREF="http://www.bestweb.net/~sowa/logic/meaning.htm">http://www.bestweb.net/~sowa/logic/meaning.htm</A>
&gt; 
&gt; A grouping of sentences by their denotations would
&gt; collapse them into just two equivalence classes.

Oh no, not one bit!
Never again, I say,
once we get past B.
|{B^k-&gt;B}|=2^(2^k).

&gt; A grouping by 