Changes

====1.3.12.  Syntactic Transformations====

====1.3.12.  Syntactic Transformations====

We have been examining several distinct but closely related notions of ''indication''.  To discuss the import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among this array of conceptions and constructions.  Facilitating this task requires in turn a number of auxiliary concepts and notations.  The notions of indication in question are expressed in a variety of different notations, enumerated as follows:

We have been examining several distinct but closely related notions of ''indication''.  To discuss the import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among their roughly parallel arrays of conceptions and constructions.  Facilitating this task requires in turn a number of auxiliary concepts and notations.  The notions of indication in question are expressed in a variety of different notations, enumerated as follows:

# The functional language of propositions

# The functional language of propositions