Changes

Just as a sentence is a sign that denotes a proposition, which thereby serves to indicate a set, a propositional connective is a provision of syntax whose mediate effect is to denote an operation on propositions, which thereby manages to indicate the result of an operation on sets.  In order to see how these compound forms of indication can be defined, it is useful to go through the steps that are needed to construct them.  In general terms, the ingredients of the construction are as follows:

Just as a sentence is a sign that denotes a proposition, which thereby serves to indicate a set, a propositional connective is a provision of syntax whose mediate effect is to denote an operation on propositions, which thereby manages to indicate the result of an operation on sets.  In order to see how these compound forms of indication can be defined, it is useful to go through the steps that are needed to construct them.  In general terms, the ingredients of the construction are as follows:

# An imagination of degree k on U, in other words, a k-tuple of propositions fj : U -> B, for j = 1 to k, or an object of the form f = <f1, ..., fk> : (U -> B)k.

# An imagination of degree <math>k\!</math> on <math>X,\!</math> in other words, a <math>k\!</math>-tuple of propositions <math>f_j : X \to \underline\mathbb{B},</math> for <math>j = 1 ~\text{to}~ k,</math> or an object of the form <math>\underline{f} = (f_1, \ldots, f_k) : (X \to \underline\mathbb{B})^k.</math>

# A connection of degree k, in other words, a proposition about things in Bk, or a boolean function of the form F : Bk -> B.

# A connection of degree <math>k,\!</math> in other words, a proposition about things in <math>\underline\mathbb{B}^k,</math> or a boolean function of the form <math>F : \underline\mathbb{B}^k \to \underline\mathbb{B}.</math>

<pre>

<pre>