Changes

The square brackets have been chosen to recall the rectangular frame of a venn diagram.  In thinking about a universe of discourse it is a good idea to keep this picture in mind, graphically illustrating the links among the elementary cells <math>\underline\mathbf{x},</math> the defining features <math>\underline{x}_i,</math> and the potential shadings <math>f : \underline{X} \to \mathbb{B}</math> all at the same time, not to mention the arbitrariness of the way we choose to inscribe our distinctions in the medium of a continuous space.

The square brackets have been chosen to recall the rectangular frame of a venn diagram.  In thinking about a universe of discourse it is a good idea to keep this picture in mind, graphically illustrating the links among the elementary cells <math>\underline\mathbf{x},</math> the defining features <math>\underline{x}_i,</math> and the potential shadings <math>f : \underline{X} \to \mathbb{B}</math> all at the same time, not to mention the arbitrariness of the way we choose to inscribe our distinctions in the medium of a continuous space.

Finally, let ''X''* denote the space of linear functions, (hom&nbsp;:&nbsp;''X''&nbsp;&rarr;&nbsp;'''K'''), which in the finite case has the same dimensionality as ''X'', and let the same notation be extended across the table.

Finally, let <math>X^*\!</math> denote the space of linear functions, <math>(\ell : X \to \mathbb{K}),</math> having in the finite case the same dimensionality as <math>X,\!</math> and let the same notation be extended across the Table.

We have just gone through a lot of work, apparently doing nothing more substantial than spinning a complex spell of notational devices through a labyrinth of baffled spaces and baffling maps.  The reason for doing this was to bind together and to constitute the intuitive concept of a universe of discourse into a coherent categorical object, the kind of thing, once grasped, which can be turned over in the mind and considered in all its manifold changes and facets.  The effort invested in these preliminary measures is intended to pay off later, when we need to consider the state transformations and the time evolution of neural network systems.

We have just gone through a lot of work, apparently doing nothing more substantial than spinning a complex spell of notational devices through a labyrinth of baffled spaces and baffling maps.  The reason for doing this was to bind together and to constitute the intuitive concept of a universe of discourse into a coherent categorical object, the kind of thing, once grasped, that can be turned over in the mind and considered in all its manifold changes and facets.  The effort invested in these preliminary measures is intended to pay off later, when we need to consider the state transformations and the time evolution of neural network systems.

===Tables of Propositional Forms===

===Tables of Propositional Forms===