Changes

Directory talk:Jon Awbrey/Papers/Syntactic Transformations (view source)

Revision as of 01:18, 3 September 2010

855 bytes removed , 01:18, 3 September 2010

→‎1.3.12. Syntactic Transformations: del merged text

Line 4: Line 4:

====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 their roughly parallel arrays of conceptions and constructions. Facilitating this task requires in turn a number of auxiliary concepts and notations.

−

~~The diverse notions of indication presently under discussion are expressed in a variety of different notations, enumerated as follows:~~

−

~~# The functional language of propositions~~

−

~~# The logical language of sentences~~

−

~~# The geometric language of sets~~

−

~~Correspondingly, one way to explain the relationships that exist among the various notions of indication is to describe the translations that they induce among the associated families of notation.~~

=====1.3.12.1. Syntactic Transformation Rules=====

Jon Awbrey

12,080

edits