Changes

At this point, I cannot tell whether the distinction between these two domains is slight or significant, and so this question must evolve its own answer, while I pursue a larger inquiry by means of its hypothesis.  The weight of the matter appears to increase as the investigation moves from abstract, algebraic, and formal settings to contexts where logical semantics, natural language syntax, and concrete categories of grammar are compelling considerations.  Speaking roughly or abstractly enough, it is often acceptable to identify these two domains, and up until this point there has rarely appeared to be a sufficient reason to keep their concepts separately in mind.  The boolean domain <math>\underline\mathbb{B}</math> comes with at least two operations, though often under different names and always included in a number of others, that are analogous to the field operations of the binary domain <math>\mathbb{B},</math> and operations that are isomorphic to the rest of the boolean operations in <math>\underline\mathbb{B}</math> can always be built on the binary basis of <math>\mathbb{B}.</math>  Of course, as sets of the same cardinality, the domains <math>\mathbb{B}</math> and <math>\underline\mathbb{B}</math> and all of the structures that can be built on them become isomorphic at a high enough level of abstraction.  Consequently, the main reason for making this distinction in the present context appears to be a matter more of grammar than an issue of logical or mathematical substance, namely, so that the signs <math>^{\backprime\backprime} \underline{0} ^{\prime\prime}</math> and <math>^{\backprime\backprime} \underline{1} ^{\prime\prime}</math> can appear with some semblance of syntactic legitimacy in linguistic contexts that call for a grammatical sentence or a sentence surrogate to represent the classes of sentences that are ''always false'' and ''always true'', respectively.  The signs <math>^{\backprime\backprime} 0 ^{\prime\prime}</math> and <math>^{\backprime\backprime} 1 ^{\prime\prime},</math> customarily read as nouns but not as sentences, fail to be suitable for this purpose.  Whether these scruples, that are needed to conform to a particular choice of natural language context, are ultimately important, is another thing that remains to be determined.

At this point, I cannot tell whether the distinction between these two domains is slight or significant, and so this question must evolve its own answer, while I pursue a larger inquiry by means of its hypothesis.  The weight of the matter appears to increase as the investigation moves from abstract, algebraic, and formal settings to contexts where logical semantics, natural language syntax, and concrete categories of grammar are compelling considerations.  Speaking roughly or abstractly enough, it is often acceptable to identify these two domains, and up until this point there has rarely appeared to be a sufficient reason to keep their concepts separately in mind.  The boolean domain <math>\underline\mathbb{B}</math> comes with at least two operations, though often under different names and always included in a number of others, that are analogous to the field operations of the binary domain <math>\mathbb{B},</math> and operations that are isomorphic to the rest of the boolean operations in <math>\underline\mathbb{B}</math> can always be built on the binary basis of <math>\mathbb{B}.</math>  Of course, as sets of the same cardinality, the domains <math>\mathbb{B}</math> and <math>\underline\mathbb{B}</math> and all of the structures that can be built on them become isomorphic at a high enough level of abstraction.  Consequently, the main reason for making this distinction in the present context appears to be a matter more of grammar than an issue of logical or mathematical substance, namely, so that the signs <math>^{\backprime\backprime} \underline{0} ^{\prime\prime}</math> and <math>^{\backprime\backprime} \underline{1} ^{\prime\prime}</math> can appear with some semblance of syntactic legitimacy in linguistic contexts that call for a grammatical sentence or a sentence surrogate to represent the classes of sentences that are ''always false'' and ''always true'', respectively.  The signs <math>^{\backprime\backprime} 0 ^{\prime\prime}</math> and <math>^{\backprime\backprime} 1 ^{\prime\prime},</math> customarily read as nouns but not as sentences, fail to be suitable for this purpose.  Whether these scruples, that are needed to conform to a particular choice of natural language context, are ultimately important, is another thing that remains to be determined.

<pre>

<pre>

It is convenient to transport the product and the sum operations of B into the logical setting of B, where they can be symbolized by signs of the same character, doubly underlined as necessary to avoid confusion.  This yields the following definitions of a "product" and a "sum" in B and leads to the following forms of multiplication and addition tables.

It is convenient to transport the product and the sum operations of B into the logical setting of B, where they can be symbolized by signs of the same character, doubly underlined as necessary to avoid confusion.  This yields the following definitions of a "product" and a "sum" in B and leads to the following forms of multiplication and addition tables.